-
The Countable Reals
Authors:
Andrej Bauer,
James E. Hanson
Abstract:
We construct a topos in which the Dedekind reals are countable.
To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability…
▽ More
We construct a topos in which the Dedekind reals are countable.
To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability topos whose realizers are oracle-computable partial maps, with oracles serving as parameters and ranging over the representations of a non-diagonalizable sequence, discovered by Joseph Miller. It is a sequence of reals in $[0,1]$ that is non-diagonalizable in the sense that any real in $[0,1]$ that is oracle-computable, uniformly in oracles representing the sequence, must already appear in the sequence. The Dedekind reals are countable in the topos because the non-diagonalizable sequence appears in it as an epimorphism.
The topos is intuitionistic, as it invalidates both the law of excluded middle and the axiom of countable choice. The Cauchy reals are uncountable. The Hilbert cube is countable, from which Brouwer's fixed-point theorem follows as an easy corollary of Lawvere's fixed-point theorem. From the 1-dimensional Brouwer's fixed-point theorem we obtain the intermediate value theorem and the lesser limited principle of omniscience. The Kreisel-Lacombe-Shoenfield-Tseitin theorem stating that all real-valued maps are continuous is valid, because the usual proof is uniform with respect to oracles. Lastly, the closed interval $[0,1]$, being countable, can trivially be covered by a sequence of open intervals whose lengths add up to any prescribed $0 < ε< 1$, and such a cover has no finite subcover. However, we show that any sequence of open intervals with rational endpoints covering $[0,1]$ must has a finite subcover.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Model theoretic events
Authors:
Kyle Gannon,
James E. Hanson
Abstract:
How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena.
The central object of this paper is…
▽ More
How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena.
The central object of this paper is a probability space. The underlying set of our space is a standard model theoretic object, i.e. the space of types in countably many variables over a monster model. Our probability measure is the iterated Morley product of a fixed Borel-definable Keisler measure. Choosing a point randomly in this space with respect to our distribution yields a "random generic type" in countably many variables. We are interested in which events hold for almost all random generic types. We consider two different flavors of model theoretic events: (1) When is the induced structure on almost all random generic types isomorphic to a fixed structure? (2) For a fixed formula which is unstable, IP, sOP, etc., what is the probability that a random generic type witnesses this dividing line?
For (1), we show that if our measure satisfies a particular extension axiom, then there exists a structure $N$ such that the induced structure on almost all random generic types is isomorphic to $N$. The proof echos a celebrated result of Glebskii et al. and Fagin concerning the existence of almost sure theories. We also provide examples where no such model exists. For (2), we show that if our initial distribution is fim, then almost no random generic types witness instability, IP, or sOP. In the local NIP context, we use results from combinatorics to prove that for any Borel-definable measure, the "average value of witnessing k-instability" across all permutations converges to 0. Some examples are provided.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Generic stability, randomizations, and NIP formulas
Authors:
Gabriel Conant,
Kyle Gannon,
James E. Hanson
Abstract:
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula…
▽ More
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula $\varphi(x,b)$, $\lim_{i \to \infty} λ(\varphi(x_i,b)) = μ(\varphi(x,b))$. We also show that any measure satisfying this conclusion must be fam. (2) We study the map, defined by Ben Yaacov, taking a definable measure $μ$ to a type $r_μ$ in the randomization. We prove that this map commutes with Morley products, and that if $μ$ is fim then $r_μ$ is generically stable. (3) We characterize when generically stable types are closed under Morley products by means of a variation of ict-patterns. Moreover, we show that NTP$_2$ theories satisfy this property. (4) We prove that if a local measure admits a suitably tame global extension, then it has finite packing numbers with respect to any definable family. We also characterize NIP formulas via the existence of tame extensions for local measures.
△ Less
Submitted 1 September, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Bi-invariant types, reliably invariant types, and the comb tree property
Authors:
James E. Hanson
Abstract:
We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties.
We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types a…
▽ More
We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties.
We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types and is implied by the failure of Kim's lemma for reliably invariant types over invariance bases. We show that every type over an invariance base extends to a reliably invariant type$\unicode{x2014}$generalizing an unpublished result of Kruckman and Ramsey$\unicode{x2014}$and use this to show that, under a reasonable definition of Kim-dividing, Kim-forking coincides with Kim-dividing over invariance bases in theories without the comb tree property. Assuming a measurable cardinal, we characterize the comb tree property in terms of a form of dual local character.
We also show that the antichain tree property (introduced by Ahn and Kim) seems to have a somewhat similar relationship to strong bi-invariance. In particular, we show that NATP theories satisfy Kim's lemma for strongly bi-invariant types and (assuming a measurable cardinal) satisfy a different form of dual local character. Furthermore, we examine a mutual generalization of the local character properties satisfied by NTP$_2$ and NSOP$_1$ theories and show that it is satisfied by all NATP theories.
Finally, we give some related minor results$\unicode{x2014}$a strengthened local character characterization of NSOP$_1$ and a characterization of coheirs in terms of invariant extensions in expansions$\unicode{x2014}$as well as a pathological example of Kim-dividing.
△ Less
Submitted 17 August, 2023; v1 submitted 14 June, 2023;
originally announced June 2023.