Ordinal-definable families in Cohen, random, and collapse extensions
Abstract
We study ordinal-definable families of sets of arbitrary rank in Cohen, random, and collapse extensions. Over , countable OD families have OD enumerations after adding one Cohen or one random real. A single generalized Cohen subset gives the corresponding sharp theorem at every regular uncountable cardinal. When is singular strong limit and has uncountable cofinality, adding Cohen reals makes every member of a short-parameter definable family of size at most definable from a short parameter. Adding random reals gives a single short-parameter definable enumeration for every such family of size strictly below . The random bound is sharp. The proofs use coordinate amalgamation and small-index arguments. We also obtain arbitrary-rank descent for countable families after collapsing any infinite cardinal, with applications to choice in the relative Feferman–Levy model. In the full Solovay collapse extension of an arbitrary ZFC ground, every family definable from a real and ordinals that represents fewer than classes modulo null sets consists of measurable sets; the corresponding category assertion also holds. In the extensions of by Cohen or random reals, no model of of size at most , definable from ordinals and a real, has full binary-coded standard system. proves a finite-fragment Borel obstruction to a full binary standard system for . For regular uncountable , the generalized Cohen extension by \Add(\kappa,\Lambda)^L, , has no ambiently -saturated model in , regardless of its size. Consequently every infinite regular of admits a cofinality-preserving GCH extension with no saturated arithmetic presentation of size . ZFC also proves that every singular strong limit admits an OD -saturated elementary extension of of size , hence of size under GCH.
Introduction
An ordinal-definable set need not have ordinal-definable elements. Kanovei and Lyubetsky proved that countable OD sets of reals in several one-real extensions lie in the ground model, and asked about families of sets of reals [ref-18]. At higher rank, the forcing matters. A Sacks extension of can contain an OD pair of non-OD sets of reals [ref-8]. We prove arbitrary-rank small-family theorems for Cohen, random, and collapse forcing, and apply them to arithmetic and choice in inner models of ZF.
Definability and cardinality are computed in the ambient extension. The notation permits the parameter in addition to ordinals, and permits one real. For ordinary Cohen and random forcing, permits fewer than reals or, equivalently, one subset of an ordinal of cardinality less than . For generalized Cohen forcing, permits one parameter of hereditary cardinality at most ; permits one subset of . Members of the families may have arbitrary rank unless stated otherwise.
Remark 1.1 (Ground models). Forcing lemmas are stated over arbitrary ZFC grounds, with their cardinal-arithmetic assumptions explicit. Every definability theorem stated over remains valid over an original ZFC ground satisfying . These are the only features of used. Here GA is the Ground Axiom. By Lemma 2.2, these assumptions give definitions of the ground and its objects that remain valid in further set-forcing extensions. Intermediate grounds need not satisfy or . Statements over similarly permit such a ground with a fixed ground parameter . Several theorems explicitly weaken or dispense with GCH.
Small definable families
If is Cohen over , every countable family in has an bijective enumeration, even for a new set of ordinals (Theorem 3.11). This also gives uniformization of countable sections with real first coordinates. One random real gives the corresponding enumeration theorem for ground parameters (Corollary 5.11). For regular uncountable in , one Cohen subset of gives OD enumerations of OD families of size at most (Theorem 4.2).
For every infinite , a -extension of makes every countable family pointwise . More precisely, it has an bijection from a ground cardinal (Corollary 6.13). There is no rank or cofinality restriction. The indexing ordinal may become countable; an OD enumeration indexed by need not exist.
The full Lévy collapse gives a different small-family theorem. Let , let be inaccessible in , and let be generic. In , every family representing fewer than classes modulo null sets consists of measurable sets; modulo meager sets, every member has the Baire property (Theorem 7.1). In particular, an class modulo either ideal has a Borel representative (Corollary 7.4). Friedman obtained these conclusions in a further extension and asked whether the single-class assertion already holds in the original Solovay extension [ref-11]. Our theorem gives both conclusions there, over an arbitrary ground with an inaccessible cardinal.
After adding ordinary Cohen reals to , for any uncountable ,
At singular , families of size less than have one bijective enumeration, without any cardinal-arithmetic hypothesis (Theorem 10.11). At countable cofinality, OD families of size at most have OD enumerations (Corollary 10.9). At uncountable cofinality, the assertion for individual members requires only strong limitness in place of GCH.
For random forcing of uncountable Maharam type , the bounds differ. At singular countable cofinality, OD families of size at most have OD enumerations (Theorem 9.1). At uncountable cofinality, every family of size strictly below has an enumeration if is singular strong limit, or regular with (Theorem 11.6 and Corollary 9.20). An OD family of size with no member proves sharpness over : its size is at countable cofinality and at uncountable cofinality (Theorem 9.2).
For regular uncountable , in the extension by , every family of size at most is pointwise . The uniform ultrafilters on form a counterexample of size ; this sharpness argument works over every ZFC+GCH ground. More general cardinal hypotheses for the positive result are given in section 8.
Arithmetic and inner models
In the extension of by Cohen or random reals, no model of of size at most has full binary standard system (Theorems 12.30 and 12.32). For , binary standard systems use residues modulo the standard numerals ; total exponentiation is not assumed. The forcing-theoretic proofs pass to canonical exponential cuts (section 12.2); EFA is a tool inside those proofs, while the metatheory is ZF. A direct Borel argument applies to a fixed finite subtheory such that proves that no Borel quotient -model realizes all traces for one fixed bounded binary-digit formula (Theorem 12.28). Because is fixed and finite, this is one sentence of second-order arithmetic; it uses no finite axiomatizability assumption for .
Let be regular uncountable and , where is generic and is any ground cardinal. Then is a ZF inner model, closed under ambient sequences of length at most , containing , and containing no uniform ultrafilter on . It has no ambiently -saturated model, of any size (Theorem 15.2). Every completion of nevertheless has a -saturated model of size in the smaller inner model. At , the small-family theorem rules out definable presentations of -saturated models of size at most .
Consequently, for every infinite regular of there is a cardinal- and cofinality-preserving GCH extension in which saturated arithmetic models of size exist but have no copies (Corollary 15.9). ZFC proves that every singular strong limit admits an OD -saturated elementary extension of of size (Theorem 12.41). Under GCH its size is , so the regularity restriction is exact.
The collapse theorem also applies to the relative Feferman–Levy model , where lists the finite-stage real sets and is their union. It equals the corresponding ambient hereditary-definability model (Theorem 13.3). Its reals are exactly , a countable union of countable sets internally; it satisfies , and every infinite set in it has a countably infinite subset.
Proof structure
To prove the small-family theorems, we first find minimal nonempty invariant subfamilies and then show that each has one member. For one Cohen real, this uses Kuratowski–Ulam and generic orbit comparison [ref-30, ref-32]. For generalized Cohen forcing, we conjugate small automorphism groups into piecewise translations. For random forcing, we also compare equivalent probability measures. At singular countable cofinality, commuting coordinate automorphisms give invariant enumerations. At higher cofinality, we preserve the maps already constructed and use a fixed chain of proper factors to eliminate constant comparisons. At singular strong limits, the same small-index construction on the forcing coordinates works for Cohen and random forcing. The collapse proof compares three factors and uses variable-depth prefix codes. For the full Lévy collapse, relative homogeneity lets us extend isomorphisms onto whole bounded initial algebras. Random or Cohen witnesses then give a binary tree of automorphisms whose branches produce inequivalent members of any definable family containing a member without the relevant regularity property.
Definition-code lemmas transfer the arithmetic problems to hereditary inner models. Category or probability traces and uniformization then produce small coinitial families above arithmetic cuts, contradicting full standard systems or saturation. The positive saturation theorem uses all codes for small ultrafilter constructions in iterated finite-support ultrapowers. It does not require a definable choice of one such code. For Borel quotient presentations, analytic separation makes the remainder decoder Borel, while the Harrington–Marker–Shelah representation and a coded lexicographic argument supply the required countable coinitial family.
Preliminaries
All Boolean algebras used for forcing are complete, and their embeddings preserve arbitrary joins. Computations involving names, automorphisms, and Boolean products take place in the ground model . Write for a Boolean truth value and , with unit . For Boolean-valued forcing and the intermediate model theorem see [ref-17]; our category conventions are those of [ref-21].
Definition 2.1. A -name is invariant if for every . More generally, it is fixed by a subgroup if these equalities hold for that subgroup. Invariance always means forced equality, not literal equality of names.
Two elementary observations will be used repeatedly. First, if is the identity on , induction on names gives for every name . Indeed for every coefficient , and the induction applies to the names attached to those coefficients. Second, if an invariant name is forced finite or countable and the full automorphism group has fixed algebra , its cardinality is decided by . The Boolean values of its possible cardinalities are fixed elements.
We use the same-extension theorem of Vopěnka–Hájek and Grigorieff: if are -generic filters on a complete Boolean algebra and , then for some [ref-16]; see also [ref-26]. Recall the covariance identity .
Lemma 2.2 (Stable ground codes). Suppose . In every set-forcing extension of , the class is parameter-free definable and every member of is OD. If is an intermediate model generated by a set of ordinals , then and a set-like well-order of its universe are definable in from and ordinals.
Proof. Usuba’s downward-directed grounds theorem [ref-31] implies that is the mantle of . Indeed, any other ground of has a common ground below it and ; the intermediate model theorem makes this a ground of , and GA makes it equal to . The mantle has a uniform parameter-free definition. Relativizing the canonical HOD well-order to this class gives ordinal codes for all members of , including forcing notions and names.
For the intermediate model, fix a -name for and use the complete subalgebra generated by its Boolean membership values. Its generic trace is recoverable from and the ground name; the intermediate model theorem identifies its extension with . Order its names by the ground order and give each value its least name code. This defines the asserted well-order from and ordinals. The same argument applies in every further set-forcing extension. No Ground Axiom or HOD assumption on is required.
Lemma 2.3 (Invariant names give ordinal definitions). Let , let be a complete Boolean algebra, and let . Suppose that is a set of ordinals, is definable in from and ordinals, and are in . If is invariant, then is in .
Proof. In , use the given definitions to form the set of values
This definition is first-order: genericity quantifies over dense sets in the definable class , and the last condition says that every set is the value of a ground-model name under . The displayed collection is a set, by Separation on followed by Replacement. The same-extension theorem gives , and invariance gives . Thus its unique member is .
The hypotheses hold for by its canonical well-order. They also hold for the intermediate grounds of Lemma 2.2, with the indicated parameter.
We obtain invariant names from definitions as follows. Suppose the full automorphism group of has fixed algebra , and in a formula with fixed ground parameters and ordinals defines a unique nonempty countable set. The Boolean value of this assertion is fixed and belongs to , so it is . Choose a name forced to satisfy the definition. Uniqueness makes that name invariant. The same argument applies to a finite family or to any other property expressed using fixed parameters.
Lemma 2.4 (Quotient invariance). Let be complete in a ground , let be -generic, and put . If a ground -name is invariant under the pointwise stabilizer , its quotient interpretation over is invariant under all automorphisms of the quotient completion computed in .
Proof. Use the two-step presentation of as followed by its quotient, and let name that quotient completion. Given a quotient automorphism , choose a -name and a condition in forcing it to be an automorphism. Mix the name with the identity outside that condition, so and its actual value is . On the dense iteration presentation, the map
is an automorphism, with inverse defined by . Complete it and identify the iteration with . This gives a ground whose quotient action is . The equality therefore yields the corresponding forced equality in the quotient. This covers every automorphism in ; it does not assume that an old completion remains complete there.
Countable families in a Cohen extension
Theorem 3.1 (Invariant enumeration for Cohen forcing). In any ground model of , let . Every invariant name forced to be a nonempty countable set has an invariant bijective enumeration by some . The ranks of its members are unrestricted.
The proof has two steps. We first find minimal nonempty invariant subfamilies. We then show that each such subfamily has exactly one member. The first step uses Kuratowski–Ulam; the second uses the generic orbit-equivalence theorem of Sullivan–Weiss–Wright.
Category and orbit comparison
Lemma 3.2. If a group acts on a complete Boolean algebra with a countable order-dense subset, then has a countable order-dense subset. Moreover for some countable subgroup .
Proof. Let be order-dense in and put . If and , then , so the are order-dense in . The algebra is ccc. For each choose countably many whose images of have join , and let be the subgroup they generate. If , then , so .
Lemma 3.3 (A countable collection of membership patterns). Let be nonempty and countable, let be Borel, and put . If on a comeager set for each , then has a fixed countable value on a comeager set.
Proof. The relation asserting is Borel. By Kuratowski–Ulam, holds on a comeager subset of the product. The map is a homeomorphism, so itself is comeager. Another application of Kuratowski–Ulam gives such that for comeager many .
An isomorphism between principal ideals is piecewise given by a group of automorphisms if it agrees with members of on the pieces of a countable Boolean partition of its domain. Its inverse has the same property, and compositions do too: refine the first partition by inverse images of the second.
Lemma 3.4 (Generic orbit comparison). Let be atomless complete Boolean algebras with countable order-dense subsets. Let and be countable, with and . There is an isomorphism such that every is piecewise given by .
Proof. Choose countable invariant order-dense Boolean subalgebras. Their Stone spaces are Cantor spaces. The induced actions are by homeomorphisms and are generically ergodic: an invariant Borel set has a fixed class in the category algebra, hence is meager or comeager. Sullivan–Weiss–Wright [ref-30] (Theorem 1.8) gives an orbit equivalence through a homeomorphism between invariant dense subspaces. To obtain this two-space formulation, compare each action to the canonical finite-bit-flip action and intersect the two invariant comeager subspaces there.
Direct image induces a complete Boolean isomorphism . Enumerate . For each , partition the target subspace according to the least for which its conjugate under the orbit equivalence agrees pointwise with . These sets are Borel. Their nonzero category classes give the required partition.
The Boolean algebra of subfamilies
We first work with Boolean algebras alone. Put and , the complete Boolean direct product. This is a lottery of copies of , not forcing with independent Cohen generics. Write and let be the unit of its th slice. For put
The map is a complete embedding. It is onto exactly when the coordinates of are pairwise disjoint; in that case its inverse is . For the converse, if , then and for .
Suppose is an action satisfying
Lemma 3.5 (Full quotient actions). Let be complete Boolean algebras in a ZFC ground, and let be any ground set. After forcing with , a full local diagonal-equivariant action on induces such an action on , where is the quotient completion computed in the intermediate extension. It includes every automorphism of that completion. For a product probability algebra and a coordinate factor , the assertion also holds for the measure-preserving groups.
Proof. Use . Every -name for a -value has a representative in ; coordinatewise the same holds for and . For their relative equality has -value
for tuples take the meet over . Diagonal equivariance makes the lifted maps respect this equality.
The lifting in Lemma 2.4 represents every named quotient automorphism by a ground automorphism fixing , mixing with the identity where necessary. If two operator names agree below , their lifts agree on ; locality makes their cover actions agree below . Thus these actions define one full relative group action. The same argument on a relative principal algebra proves its locality, and diagonal equivariance descends directly. For product probability algebras, a conditionally measure-preserving quotient map has a globally measure-preserving lift by integration. No bound on or restriction to ground-model quotient operators was used.
The least diagonal element above is . Therefore
In particular, the action preserves the property of having disjoint coordinates. Put . Every nonzero has , since . To see the latter assertion, finite bit flips can carry a basic cylinder below any to a cylinder below its complement.
Proposition 3.6. The algebra is atomic.
Proof. By Lemma 3.2, choose an order-dense sequence in . Represent by a Borel set and define exactly when . For the translation write . Each row partitions by the disjoint-coordinate observation, and each column partitions because the partition . Since is fixed,
Taking all shows that equals on a comeager set. By Lemma 3.3 there is a countable set of patterns such that this collection equals for comeager many .
For let , where and . Coordinatewise this is the category class of . Hence the are disjoint and have join . If belongs to , choose . The element decides , so it must lie below . Thus , and every nonzero is an atom.
Atomicity uses only diagonal equivariance. We next use locality to show that each minimal invariant subfamily is a singleton.
Lemma 3.7. If and is an isomorphism, there are , whose coordinates partition , and an isomorphism , piecewise given by , such that .
Proof. Split each nonzero into two positive pieces and enumerate the resulting partition as . Let be the slice containing . The map is an isomorphism between principal ideals of . Both units are proper and nonzero, because of the splitting. Both complementary ideals are Cohen algebras, so the map extends to . Thus, for ,
Put and . Each has disjoint coordinates and support . Consequently the coordinates of partition . Also , since is fixed. The formula gives the required isomorphism. The displayed identity shows on each , hence everywhere.
Theorem 3.8. Every atom of has coordinates partitioning . There are exactly atoms, and their matrix has every row and every column a partition of .
Proof. Choose a countable with . The diagonal embedding shows . For an atom , the action on also has trivial fixed algebra. Both algebras are atomless and countably order-dense. Apply Lemma 3.4 to obtain such that is piecewise given by . By Lemma 3.7, write . Then
is piecewise given by .
On a piece where agrees with , take . Taking supports in gives . Locality implies that and agree below , hence below . On all the pieces together, , so . Thus ; since and is an atom, .
There are countably many atoms because is ccc. Their join is , so every column partitions , and the preceding argument gives the row partitions. These partitions imply the number of rows is . If there are columns, rows are impossible: expand the meet of their row joins, and every term has two disjoint entries in one column. Transposing the matrix gives the reverse inequality when the number of rows is finite. The countably infinite case follows as well.
Applying the calculation to names
Proof of Theorem 3.1. Choose names forced to enumerate the given family bijectively. Set
The matrix has partition rows and columns, and
Thus is an action by complete automorphisms and satisfies (1). The rank induction on names from section 2 gives (2).
For a name forced to belong to , the element has coordinates partitioning , and . Enumerate the atoms of as . Mix the names along the th row: . Then . Since this atom is fixed, is invariant. Disjointness of the columns gives pairwise distinctness of the , and the column joins show that every member of the family occurs. The enumeration name is itself invariant.
In this calculation, codes the subfamily in which is present with Boolean value . An atom of is a minimal nonempty invariant subfamily. Its disjoint coordinates say that exactly one member is selected.
Corollary 3.9. If is a set of ordinals and is Cohen over , every countable set in has an bijective enumeration by a finite ordinal or by .
Proof. More generally, use any ground with the definability and ordinal codes of Lemma 2.3; these are supplied by Lemma 2.2 in the grounds of the introduction. The definition gives an invariant name, to which we apply Theorem 3.1 and Lemma 2.3. The empty enumeration handles the empty set.
Lemma 3.10. Let , let be Cohen over , and let be a set of ordinals. Then either or is a Cohen-real extension of .
Proof. By the intermediate model theorem, for the generic trace on a complete subalgebra of the Cohen algebra in . Let take an element to its least upper bound in , and fix a countable order-dense in . The quotient is represented by . For ,
Genericity for this ground-model join supplies in . Thus the quotient completion is countably order-dense. If its generic meets an atom it adds nothing. Otherwise the generic lies below the complement of the join of its atoms, a Cohen algebra. See also [ref-19].
Theorem 3.11. In , for Cohen over and every set of ordinals , every countable set has an bijective enumeration. In particular all its members are .
Proof. Work more generally with , where satisfies the hypotheses of Lemma 2.2. Put . If , its well-order chooses an enumeration. Otherwise is a Cohen extension of by Lemma 3.10. The definition gives an invariant name for the family. Apply Theorem 3.1 to obtain an invariant enumeration. The ordinal-and- codes in , followed by Lemma 2.3, make that enumeration in . The empty set has its empty enumeration.
Corollary 3.12 (Uniformization). In , let be a set of ordinals and let be a set of ordered pairs with real first coordinates and countable vertical sections. There is an sequence of functions on with . In particular has an uniformization.
Proof. Each nonempty is , and is coded by a set of ordinals. Choose the least surjection in the canonical definable well-order of , repeating entries for finite sections. This selection is uniform in . Replacement gives .
Remark 3.13. For families of reals, the invariant enumeration has an invariant real code. Each bit has Boolean value 0 or 1, so the code belongs to the ground. This recovers the rank-one Cohen theorem. At arbitrary rank, invariant values need not lie in the ground; the conclusion is ordinal definability, supplied by Lemma 2.3.
One generalized Cohen subset
Throughout this section, is regular uncountable and in the ZFC ground . Fix a set of cardinality , and write
We identify each condition with its nonzero Boolean value, which we call basic. All constructions in this section take place in . The group consists of translations for , and acts by permuting coordinates. The group has cardinality and acts weakly homogeneously on . Write for the group of automorphisms which agree with members of on the pieces of a Boolean partition of . Such partitions have size at most , since has order density .
Theorem 4.1 (Invariant enumeration). Every invariant -name forced to be a nonempty set of cardinality at most has an invariant bijective enumeration by a ground cardinal . The ranks of its members are unrestricted.
Theorem 4.2. Let be regular uncountable in and let be -generic. In , every OD family of cardinality at most has an OD bijective enumeration by an ordinal at most . In particular, every member of the family is OD.
We prove the invariant-name theorem first. For , put . Use the diagonal embedding , support , and maps from section 3. A selector is whose coordinates partition ; equivalently, and is an isomorphism. A frame is a partition of into selectors. Suppose satisfies diagonal equivariance and locality, as in (1) and (2). For a subgroup , write for its fixed algebra under . We will prove that the atoms of form a frame.
Coordinate permutations and short translations first give a frame in . We then compare small groups of Boolean automorphisms to show that all of fixes this frame.
Atomicity of the fixed algebra
The following permutation-kernel calculation will also be used at singular width.
Lemma 4.3. If a Boolean algebra has order density at most an infinite cardinal , then has at most pairwise elementwise-commuting nonabelian subgroups.
Proof. Fix an order-dense of size at most . For noncommuting , choose with , then choose successively
Thus , , , and . Assign such a quadruple to a noncommuting pair in each subgroup. If and receive the same quadruple, then whereas , so and do not commute. There are at most quadruples.
Lemma 4.4 (Branch permutation kernel). Let have at most pairwise elementwise-commuting nonabelian subgroups, where is infinite.
(i) If and , every homomorphism killing finitary permutations kills countably supported permutations.
If , every homomorphism killing finitary permutations is trivial.
If is regular uncountable, , and , every homomorphism killing permutations of support less than is trivial.
These conclusions apply to whenever has order density at most , and to when .
Proof. For the three cases use the trees , , and , respectively. Identify the coordinate set with five copies of the tree together with a reserve of the same cardinality. For each branch, repeat the same copy of on the five copies of every node. Distinct branch copies have commuting images: their commutators are supported on their common nodes, finitely many in (i)–(ii) and fewer than in (iii). The number of branches exceeds , by König’s theorem in (i) and Cantor’s theorem in the other cases. Simplicity of and the hypothesis on therefore put one branch copy in the kernel.
Its double transposition is an involution with pairs and as many fixed points as the coordinate set, where in (i)–(ii) and in (iii). The normal closure of any such involution contains every involution with at most pairs. For one with exactly pairs, divide the pairs into two equally large parts; both restrictions are conjugate to the given involution. For one with fewer pairs, multiply by a disjoint conjugate on its fixed region, leaving a reserve of fixed points; the product is another conjugate. Finally, every permutation is a product of two involutions, by reflections on its finite cyclic and bilateral infinite orbits. This proves all three assertions. For the final assertion use Lemma 4.3, taking in the permutation case. □
Lemma 4.5. Let be regular uncountable with , let , and let , where . Let be the translations with support less than and let act by coordinate permutations. Suppose is a local diagonal-equivariant action of on . Then is atomic with at most atoms, and fixes it pointwise.
Proof. Identify the coordinate set with . Write and . The scalar action is weakly homogeneous, since a bounded translation makes any two basic conditions compatible. Thus every nonzero -fixed element of has support .
Put . Choose a dense sequence in and put
These elements are order-dense in , since implies . Hence has order density at most . The group normalizes , and therefore acts on . If has short support, it is the identity on the positive cone assigning zero to its support. For , locality makes vanish on this cone. That difference is -fixed, so its support cannot be unless the difference is zero. Every such therefore fixes pointwise. Lemma 4.4 makes the entire action on trivial.
To prove atomicity, we use only the fact that fixes pointwise. Set with its bounded topology. Here a -meager set is a union of at most nowhere-dense sets, and -Borel means generated from open sets by complements and unions of at most sets. These sets have the -Baire property. Their quotient modulo -meager sets is , respecting joins and meets of at most elements.
Represent the th coordinate of by its regular-open set , and define
For each fixed , diagonal equivariance means that acts by a Boolean-valued permutation of the sheets over the scalar action of . Its rows and columns partition . Since all are fixed, these partitions identify the patterns in eq:** at and off a -meager set. Only partition and coordinate identities are involved for this fixed . Consequently
This argument does not assert uniform regularity of the coefficients as a function of .
We show that (3), for all , makes constant on a -comeager set. Give its topology of short partial-bijection neighborhoods. This space, , and their finite products have bases of size and are -Baire. A recursion of length meets dense open requirements. For a permutation, include requirements that put every coordinate in its domain and range. The union at each proper stage still has size less than .
The Kuratowski–Ulam argument applies with these bases. For a closed nowhere-dense subset of a product and each basic open set in the second factor, the first coordinates admitting a smaller rectangle disjoint from it form a dense open set. Intersecting these sets shows that its sections are nowhere dense off a -meager set. Taking unions gives the assertion for meager sets. In particular, if every section of a relation with the -Baire property is comeager, then the relation is comeager. Otherwise its complement is comeager on a nonempty rectangle, contradicting the section assertion.
Let consist of the points having zeros and ones. It is dense and -comeager. The map
is a continuous open surjection. In fact the image of , for a short partial bijection , consists exactly of the balanced pairs such that
This set is open. Match the remaining zero and one coordinates to extend to the required permutation. This proves both the description of the image and surjectivity.
The relation is -Borel: each inclusion has the form of equality tests from eq:**. Independently of the lift coefficients, define . It is -Borel by continuity of the coordinate action. By (3) and the section argument, is comeager. On it is . An open continuous surjection pulls back meager sets to meager sets. Thus, if the complement of were comeager on a nonempty open set, its inverse image would contradict comeagerness of . Hence is comeager on , and therefore on . Applying the section argument once more, choose with comeager -section. Then on a comeager set, and .
For put
These elements belong to . Their coordinate representatives are modulo -meager sets, so they are disjoint and join to . Every nonzero is an atom: if in , choose . Since decides , this decision must be positive. Hence . This proves atomicity and the stated bound.
The initial frame
We retain the notation . A partial selector has pairwise disjoint coordinates and is a selector if its scalar support is . Below a partial selector , the support map is a complete isomorphism
A frame is a partition of into selectors. We will show that the atoms supplied by Lemma 4.5 form a frame, also when .
We use the topology on generated by restrictions of permutations to fewer than coordinates. Inverse restrictions give the same topology. Its basis has size , and intersections of fewer than open sets are open. We use the -Borel and -meager conventions of the preceding proof; in particular -Borel sets have the -Baire property.
Lemma 4.6 (Uniform permutation factorization). Allow also , with the usual Borel structure and finite-restriction topology. Fix an involution having transposed pairs and fixed points. There are -Borel maps , , such that
with composition from right to left.
Proof. Identify with . On each -orbit, choose its least element and write the orbit as , with indices in for a finite orbit and in otherwise. The two reflections
are involutions with . For uncountable , both depend continuously on : the value at a coordinate is determined by its countable orbit, and fewer than such orbits still have size less than . For they are Borel, since orbit membership and the choice of its least element use only countably many iterate tests.
Call an involution balanced if it has pairs and fixed points. We next factor every involution into two balanced involutions, uniformly -Borel. Put
The condition is -Borel, since it says that is unbounded (infinite when ). When this holds, enumerate in increasing order and divide its index set into two fixed -sized parts. Restrict to the pairs in each part, fixing all other points. These restrictions are balanced, have disjoint supports, and multiply to .
In the other case . Using its increasing enumeration, divide into three indexed sets of size , pair the first two sets, and leave the third fixed. Let exchange those pairs and fix the moved points of . Then and are balanced and . These constructions are continuous on their respective domains. Indeed, the -th member of either increasing enumeration, and the rank of a specified member, are determined by a restriction of to a bounded initial segment. Thus both factor maps are -Borel.
Finally, for a balanced involution , match in increasing order the smaller pair members of with those of , their partners with their partners, and the fixed points with the fixed points. The resulting permutation satisfies . This choice is continuous on the balanced subspace, by the same enumeration argument. Apply the two-factor construction to and , then apply to the resulting four balanced involutions. This gives (4). For uncountable , the coordinatewise continuity assertions give continuity in the stated topology by combining fewer than output requirements into one short input restriction. At , all the choices just described are ordinary Borel; continuity of the orbit reflections is not needed.
Lemma 4.7 (Borel permutation lifts). Let , or let be regular uncountable with . Put , , , acting by bit translations, and . Suppose a local diagonal action of on , , is -ergodic. Assume also that every set action of on at most points which kills short-support permutations is trivial. Then the actual map is -Borel in Boolean-matrix coordinates. For , “-Borel” means ordinary Borel.
Proof. Write for the coordinate selectors and for the diagonal and support maps. The four-conjugates factorization above applies in both cases.
The fiber centralizer. Let be the group of complete automorphisms of that fix the scalar diagonal pointwise and commute with every , . For , the part of the cover where their Boolean permutations of the fiber labels agree is -invariant. It is therefore unless . Consequently, for any selector , the selectors , , are pairwise disjoint. Since has order density at most , this proves
The same argument shows that two members of which agree on any nonzero part of the cover agree everywhere.
Conjugation by gives an ordinary homomorphism . If is supported on a short set , it is the identity on the entire principal scalar algebra below the basic condition assigning zero on . Locality makes its lift the identity there as well. Every member of preserves this principal cover algebra, so conjugation by agrees with the identity on , by the preceding agreement argument. The assumed set-action property makes the whole homomorphism trivial. Thus
Call a scalar- intertwiner if it covers on the diagonal and for every . Every such map has the form for a unique . Hence, for every ,
Thus the conjugation does not depend on the choice of intertwiner. We do not assume that is commutative.
Closed charts for intertwiners. Fix . A seed is a pair with and . For this seed put
The two families and consist of partial selectors and each has join , by ergodicity. Their supports satisfy . Declare the seed valid at if
On the validity set there is a unique scalar- intertwiner taking to , namely
To verify this, identify each principal algebra below or with its scalar support. (6) says precisely that the canonical scalar- maps on these principal algebras agree on overlaps, and that their inverses agree on overlaps. As both families cover , they paste to a complete isomorphism given by (7). Translating the index proves the intertwining identity. Because the families cover , the specified seed determines the intertwiner uniquely.
Each validity set is closed. For fixed , the right side of (6) is locally constant: it depends only on on . For fixed and basic , the condition is clopen, since it is equivalent to and is locally constant. Equality in (6) is therefore a closed condition, tested by all basic . There are at most seeds, and their validity sets cover . To see this, the actual lift takes some positive portion of into an . A basic restriction of its source then supplies a valid seed. A valid seed need not be realized by the actual lift.
Recovering the actual action. Well-order the seeds and choose the first valid one for each . The choice pieces are -Borel. Formula (7) gives a -Borel choice in Boolean-matrix coordinates. For the coding, represent by and an automorphism of the cover lying over a coordinate permutation by its scalar map and the coordinates of the images of the . The maps are locally constant, and applying to a fixed Boolean element is coordinatewise continuous by the preceding inclusion test. Boolean meets and complements are -Borel on these codes. Joins of at most elements are -Borel as well, using
All quantifiers here range over sets of size at most . The joint scalar action is also -Borel, since has at most possible, locally specified values. Matrix composition uses joins of meets and this scalar action; inversion uses the scalar inverse and transposed coefficients. They are consequently -Borel, and so is the choice of intertwiners. No regularity of has been assumed.
Fix the actual lift of the involution in Lemma 4.6. (5) and the factorization there give
Thus the actual map is -Borel in its Boolean-matrix code.
Theorem 4.8 (Initial frame). Let be regular uncountable with , and let . For every local diagonal-equivariant action of on , the atoms of form a frame. Every member of this frame is fixed by .
Proof. By Lemma 4.5, is atomic and fixes it pointwise. Fix an atom . Its scalar support is , because is weakly homogeneous on . Moreover, its fiber cardinality is forced to be a constant ground cardinal . Indeed, the Boolean values of the possible cardinalities are -invariant, and preserves cardinals at most . Choose a Boolean enumeration of its fibers and identify with . Write for the selectors of this chosen frame and for . This choice need not be invariant. The restricted -action is ergodic, meaning that its fixed algebra is . The restricted -action is defined because fixes .
By Lemma 4.4, the set-action hypothesis of Lemma 4.7 holds. Hence the actual permutation action on this ergodic cover is -Borel.
An open stabilizer. Fix . The -Borel sets
cover . To see that is -Baire, start in any basic open set and extend a short partial permutation through steps. At these steps avoid the prescribed nowhere dense sets and put every coordinate into its domain and range. At every proper stage the union is still a short partial permutation; the final union is a permutation. Hence some is nonmeager. Subdivide it by the at most possible values , and choose a nonmeager piece and in that piece. If , then
The subgroup is -Borel and nonmeager, so it is open. Indeed, its Baire property makes it comeager on some nonempty open set . For all in a sufficiently small identity neighborhood, contains a nonempty open set. The two translates of are comeager there, so they intersect; hence .
It follows that contains every permutation fixing some pointwise, where . Enlarge to contain and choose a full -pattern . The partial selector is fixed by all permutations of .
A selector fixed by all bounded translations. Let be a bounded translation with . Below any basic , choose a short set containing , with two disjoint fresh sets of a common infinite size at least as large as this required set. Extend to a full pattern on , assigning zeros to one fresh set and ones to the other. Both and then have exactly zeros and ones. There is a permutation supported on taking the first pattern to the second. The scalar maps and agree on the entire principal algebra below : they have the same output pattern and fix every undecided coordinate. Locality therefore makes their lifts agree below . Since fixes ,
Such are dense below , and . Hence .
For each full -pattern , let take to . The join
is a selector: its summands are partial selectors whose pairwise disjoint scalar supports cover . Tail translations fix every summand by commutation, and translations on permute the summands. Thus is -invariant. Ergodicity gives , showing that the original atom is itself a selector.
Every atom of is consequently a selector. These atoms form a frame, fixed also by by Lemma 4.5. Their ground set has cardinality at most , by the density of . Forcing with evaluates the atom partition to a bijection between that ground set and . Preservation of the relevant cardinals therefore makes its ground cardinality , so the frame can be indexed by .
Comparison of small automorphism groups
We continue to identify each condition of with its basic Boolean value in . The meet of a nonempty decreasing sequence of basic conditions of length less than is positive and basic, represented by the union of their partial functions. Every positive interval contains an antichain of size , obtained below a basic condition by specifying the position of the first on a fresh coordinate set of size .
Lemma 4.9. If and , then
is dense in , is -invariant, and is closed under nonempty decreasing meets of length less than .
Proof. Enumerate in order type and repeat this enumeration times. Start with a basic condition below any prescribed positive element. At a step assigned to , with current basic condition , choose basic conditions
and continue with . At each proper limit take the union of the source conditions. The recursion has length , so these unions and the final condition are positive and basic. For a fixed , the recorded target conditions decrease, and the steps assigned to are cofinal in the recursion. The inequalities at those steps and completeness give
This proves density. The group law gives -invariance. If decreases in , where , then is basic and, for every ,
is likewise a positive basic condition.
For , the positive satisfying
form a dense downward-open class. To see this, if is not the identity below , choose with . If , this difference is disjoint from its image. Otherwise , and the same is true of the positive element .
Call an admissible -root if and (10) holds for every . Its distinct translates form a disjoint family of basic conditions, of size less than . Moreover,
We call this orbit a tower, and its members its columns. Thus any group element that maps a column to itself fixes its whole principal algebra pointwise.
Lemma 4.10. Let have size less than . Admissible -roots are dense. In choosing one, we may require each of its -translates to lie below some member of each of fewer than specified Boolean partitions, and to decide fewer than specified Boolean elements.
Proof. For a partition, the positive elements below one of its members form a dense downward-open class; the same is true of the class deciding a Boolean element. Pull back these classes by all members of and add the requirements (10). There are fewer than requirements. Meet them by successive basic refinements, taking basic unions at proper limits, and then refine into using Lemma 4.9. All the earlier requirements persist under refinement.
Theorem 4.11. For every with , there is such that
Proof. Work with a source and a target copy of . Choose a continuous increasing sequence of subgroups of size less than , with and union . Enumerate the source and target basic conditions as and .
We construct refining basic partitions and of the source and target, together with compatible bijections . We also construct homomorphisms , each extending its predecessors. These maps satisfy:
(i) and permute the respective partitions, and is equivariant.
(ii) On either side, every return stabilizer fixes its whole column pointwise.
(iii) For and , the restriction of to is a translation whose mask is contained in .
In particular, all source cells belong to . Target columns in one orbit have the same domain. At a successor , all source cells will decide and all target cells will decide . At stage zero take the one-cell partitions and the trivial action. Each partition has at most cells, whereas each individual group orbit has fewer than columns.
Successor extension. Fix a stage, write , and , and refer to the stage- partitions and their -orbits as old cells and old towers. In each old source tower choose a root column and a reserve below it. Propagate the reserve to the other columns using . This is well-defined by the pointwise return condition, and all propagated reserves are basic. In each paired target tower choose a basic root reserve and propagate it using ; these reserves are basic by (iii).
An inner recursion of length will select disjoint paired new towers. The used source region will be -invariant and the used target region -invariant. Each old tower retains a positive coherent reserve in its unused region. On the source its root reserve is always in , and on the target it is always basic. Reserves only decrease. At an inner limit below , take their meets, separately for each old tower. These are positive basic conditions by Lemma 4.9; the old charts transport them coherently. We do not intersect reserves from different towers.
At each step we meet a request on the source or target side. A source-directed request is a positive basic condition in the unused source. Restrict it to an old source column. For a target-directed request, first restrict the unused target request to an old target column, and use the paired source column for the source choice; its reserve guarantees a positive unused part. By Lemma 4.10 choose an admissible -root there whose translates refine the old source partition and decide . All translates remain unused, since the unused source is -invariant.
We may choose this new source tower without exhausting any reserve. Take pairwise disjoint basic refinements of and refine each further into , obtaining . Their saturations
are pairwise disjoint: distinct translates of are disjoint, and coincident translates have identical charts by (11). All these towers visit the same fewer-than- old -towers. A given positive root reserve can be contained in at most one , so fewer than indices are forbidden. Choose another index and replace by that . Shrink each affected source root reserve inside its positive remainder, choosing it in . The selected saturation is -invariant, so the propagated reserves remain coherent.
Let be the set of columns of this selected -tower. Split into its -orbits, and choose a representative in each; in a target-directed step take itself as the representative of its orbit. If is the old source column containing , put . Choose a basic representative on the target and propagate it by . Choose these representatives successively so their orbits are unused, pairwise disjoint, and leave every old target reserve positive. There are fewer than choices, even when an old tower occurs repeatedly. In a target-directed step choose the representative corresponding to the column first, below the given target request.
For completeness, the reserve choice can be made inside any prescribed positive available region. Pull that region back to its old root column by the old translation chart. Split a basic subregion into two disjoint positive basic candidates. At most one contains the entire current root reserve. Choose the other and replace the reserve by a basic condition in its positive complement. Exclude previously selected new orbits when forming the available region. At a limit in this short recursion the decreasing basic reserves remain positive, so the next choice is still possible. Propagating through the old charts preserves these disjointness and reserve requirements.
The paired old columns have the same stabilizer. For an old source column and ,
An element moving sends it to a disjoint column. An element preserving fixes its whole principal algebra. The paired target column has precisely the same stabilizer, also pointwise. Thus the orbit of under has exactly the same indexing as the source orbit of .
Choose of size less than containing all domains of the representatives , all old translation masks used to propagate them, and . Masks between propagated columns are differences of these root masks and are therefore also contained in . Refine each to a full -pattern. Its propagated images are full -patterns as well. They remain disjoint and unused, and shrinking them preserves all reserves. Pair these patterns with equivariantly under , and denote the pattern paired with by . For define its action on this target tower by
Pattern differences add modulo two, so these maps satisfy all group identities. For the old mask on is contained in and equals the displayed pattern difference. Hence (13) agrees with the old on the whole principal algebra below . It therefore extends the old action and preserves its return stabilizers. All target columns decide , and (iii) holds.
Enumerate all basic source and target requests in the inner recursion. Skip a request only if its unused part is zero; otherwise refine its unused part to a basic condition in an old cell and perform the appropriate directed step above. Before every inner stage fewer than columns have been used, and the coherent reserves are positive. At the end the source and target joins are both . Any positive omitted part would contain a basic request that could not have been skipped. The selected columns thus form refining paired partitions. Pasting (13) over their target towers gives complete automorphisms , satisfying the group law and extending on all of . They belong to \[\Gamma\]. The source cells are in , all return stabilizers are pointwise identities, and the prescribed source and target tests have been decided. This completes the successor extension.
Proper limits. Let be a limit. Form the common refinement of the partitions below by taking the meet along every coherent descending lineage. On either side every such meet is a positive basic condition, represented by the union of its short patterns. Distinct lineages have disjoint meets, and there are at most lineages. They cover 1: below any positive basic condition, refine successively through the earlier partitions, using basic unions at proper limits. The final positive condition lies below a lineage meet. The compatible earlier bijections pair the lineages, so they pair their nonzero meets and extend all earlier partition bijections.
Take the union of the previously fixed homomorphisms on . For choose with . It and permute all later partitions equivariantly, and hence permute the limit partitions. If either returns a limit cell to itself, it returns every sufficiently late containing cell and was pointwise the identity there. On a target limit cell its chart is the translation assigned on a containing stage- cell; that mask is still contained in the enlarged domain of the limit condition. Completeness shows that each source image is the meet of the corresponding basic images. Thus all inductive properties hold at .
The complete isomorphism. Each basic partition generates the complete atomic subalgebra of all joins of its cells. Refinement and the compatible bijections give an isomorphism between the unions of these subalgebras on the two sides. Every source and target basic condition belongs to its respective union. At the successor stage assigned to it, all cells decided it, so it is the join of the cells below it. Both unions are therefore order-dense in their Boolean completions. Their isomorphism extends uniquely to a complete isomorphism .
For , equivariance holds on every sufficiently late partition algebra, so density and completeness give . The construction fixed when first entered a stage group and preserved it at every later stage. It belongs to , as required.
Full invariance and ordinal definitions
Theorem 4.12. Every local diagonal-equivariant action of on , , has a frame fixed pointwise by . The frame is exactly the atom set of and of .
Proof. Let be the frame supplied by Theorem 4.8. Let denote the automorphisms piecewise given by , as in Theorem 4.11. Every fixes pointwise. Indeed, on each piece where agrees with a translation , locality makes agree with below . The images of these pieces partition , and fixes each member of .
Every -fixed selector is a member of . Atomicity expresses as a nonempty join of atoms in . Two distinct atoms cannot lie below . Both have scalar support 1, and the support map is injective below the selector . Thus any -fixed frame is exactly , as a set.
Fix , and set . Since , Theorem 4.11 gives with . Hence
is a frame fixed pointwise by . It is therefore -fixed, so . In particular fixes every member of . As was arbitrary, is fixed pointwise by . Since and every atom of the latter is fixed, the two fixed algebras coincide.
Proof of Theorem 4.1. The Boolean truth values of the possible cardinalities of the invariant family name are invariant. Thus decides its cardinality. The forcing preserves cardinals at most , so choose a ground cardinal and names forced to enumerate bijectively. Exactly as in the proof of Theorem 3.1, the matrices
define a local diagonal-equivariant action on . The argument is an induction on names and imposes no rank bound. By Theorem 4.12, the fixed algebra has a frame. Its atoms can be indexed by , since their row and column partitions force a bijection with and preserves ground cardinals at most . Mixing the along each row gives pairwise distinct invariant names which exhaust . Their enumeration name is invariant as well.
Proof of Theorem 4.2. Work over a ground satisfying , as permitted by Remark 1.1. GCH gives . The empty family has its empty enumeration. For a nonempty OD family of size at most , weak homogeneity turns its defining formula and ordinal parameters into an invariant name forced to have that size bound. Apply Theorem 4.1. The enumeration name and the forcing have ordinal codes by Lemma 2.2; Lemma 2.3 makes the enumeration OD in the extension. Each of its values is then definable from the enumeration and its ordinal index. Taking proves the stated theorem.
Corollary 4.13 (Sharpness). In the extension of Theorem 4.2, there is an OD family of size with no OD member.
Proof. Take . Homogeneity makes every OD subset of belong to , so has no OD member. To see that its cardinality is , note that for each and that these subsets are distinct. Conversely, has size and is -cc, so the number of nice names for subsets of is at most in .
Countable families in a random extension
Automatic continuity gives an enumeration invariant under probability-preserving automorphisms. By comparing equivalent probability measures, we then show that all nonsingular automorphisms fix it.
Work in a ZFC ground on a standard atomless probability space , and let be its measure algebra. Put , , and , for nonempty finite or countably infinite . The first group consists of all nonsingular transformations modulo null sets. The topology on is pointwise convergence; has convergence in measure.
Suppose is a name for a bijective enumeration of an invariant family. For , define its comparison permutation by
Permutation names are identified with measurable -valued functions. Write . Then
Here is the largest Boolean region on which acts identically on every subregion. The first identity follows by comparing to in two steps; the second follows from induction on names. Replacing by changes the comparison to
It suffices to choose a relabeling that makes every comparison permutation the identity. We make all subsequent choices and measure calculations in .
The probability-preserving subgroup
The following lemma gives a relabeling fixed by every probability-preserving automorphism.
Lemma 5.1 (Probability-preserving frames). Let be a standard atomless probability algebra and . Every full local diagonal action of on has an invariant frame.
Proof. For selectors set
The action is isometric, and is a seminorm: , , and . Its orbit pseudometric has density at most . Indeed, every selector has countably many nonzero entries. Truncate to finitely many labels and approximate their partition in a countable dense algebra of . Locality gives
The standard probability-algebra group has ample metric generics, and its uniform metric is equivalent to this support metric [ref-2], Section 6.3. Thus is Baire measurable for that finer metric. The small-density seminorm theorem [ref-3], Theorem 3.6 makes continuous for the weak Polish topology. Every selector orbit is consequently weakly continuous.
We now use continuity to construct a frame. This argument also applies when is uncountable. The counting measure over the fibers is
The action preserves , since its Boolean permutation matrices have partition rows and columns. Also . Continuity supplies a finite Boolean partition such that its stabilizer moves by less than in norm. The minimum-norm vector in the closed convex hull of this orbit is nonnegative, -fixed, and within of . Its positive coordinates have countable support. Select the unique strictly positive maximum among its fiber coordinates wherever it exists. This defines an invariant partial selector . It is nonzero because, outside a set of measure at most , the coordinate chosen by exceeds and all others are below . The scalar support of is fixed by , hence is a union of cells of . Restricting to one such positive cell gives a partial selector of support fixed by every automorphism supported on .
Its translates agree on overlaps. For , put , and . The partial map extends to an automorphism supported on , by matching the equal-measure complements inside . Locality and the invariance of therefore identify and over . Their join over all is an invariant selector, since its scalar support is by ergodicity. A maximal disjoint family of invariant selectors covers . Indeed, a nonzero invariant complement would also have scalar support ; disjointifying its coordinates supplies a selector . Repeat the averaging and maximum selection within , then join the translates as above. This gives another invariant selector, a contradiction. This is an invariant frame, of cardinality by ccc and the corresponding bijection in a generic fiber.
Proposition 5.2. Let be the comparison permutations of an enumeration as above. There is a permutation name such that, after replacing by , the comparison permutations
satisfy for every .
Proof. Apply Lemma 5.1 to the local diagonal action on induced by the enumeration. Its invariant frame has cardinality and gives the required relabeling. Locality persists because on every identity region.
For the remaining comparison argument, may be any nonempty ground set. Let be the Boolean permutation matrix of a full local diagonal -action on relative to a fixed frame. Products use Boolean joins and meets; the identities (14)–(15) remain valid, with denoting the identity matrix. When is countable these are the preceding measurable permutation functions. Every row and column has only countably many positive entries, by ccc. Assume the frame is probability-preserving invariant, so
Equivalent probability measures
Let be the set of probability measures on equivalent to . For each , choose such that , with , and put
This does not depend on the choice of . If for , then (16) gives . Define
Lemma 5.3. For and ,
Proof. The first identity is immediate. Since carries to ,
The copies of cancel in , giving (18). Taking gives (19).
Let . We say that the ambient probability algebra is conditionally atomless over if almost every conditional measure in the disintegration over is atomless.
Lemma 5.4. Let be a Polish space. Suppose the probability algebra is conditionally atomless over . If a measurable -valued function is fixed by every -preserving automorphism which fixes , then it is -measurable.
Proof. The relative product theorem identifies the extension over with a product with an atomless probability space. The full group of the fiber acts ergodically on almost every fiber, so its fixed algebra is the base algebra. Apply this to the inverse images of a countable basis of open subsets of . Delbaen also characterizes conditional atomlessness by independent atomless subalgebras [ref-4].
Lemma 5.5 (Pexider rigidity). Let be nonempty and countable, and put . Let be a probability measure on which is not countably supported, and let be equivalent to Lebesgue measure. Suppose Borel maps satisfy
for -almost every . Then is constant -almost everywhere.
Proof. Replacing by Lebesgue measure does not change its null sets. By Fubini, there is a -conull set such that the equation holds for every and almost every . For , compare the equation at and to obtain
for almost every .
Let be the set of for which is almost everywhere constant. This is a subgroup of containing . The corresponding constants define a homomorphism with abelian range.
The group is dense. Otherwise its closure would be discrete, so would be countable. For any fixed , the countable coset would then contain . Translation is continuous on , hence is continuous.
Every neighborhood of the identity in contains an open subgroup. Its inverse image under is an open subgroup of , so it contains for some . Given , choose with and with . Both and lie in that interval, so belongs to the subgroup. Thus every such inverse image is all of , and is trivial. Equation (20) gives for all .
Proposition 5.6. Let . Suppose the law of is not countably supported and the probability algebra is conditionally atomless over . Then is almost everywhere constant.
Proof. An automorphism preserves both and exactly when it preserves and . By covariance and Lemma 5.4, each entry of is -measurable. Conditional atomlessness supplies two atomless coordinates independent of . On the first choose with law equivalent to Lebesgue measure and . Leave the second coordinate unused. Put . Independence makes a probability. The unused atomless coordinate gives conditional atomlessness over , , and for the relevant measures. Entrywise, therefore,
The composition identity gives .
To apply Lemma 5.5, close any label under the possible positive entries of rows and columns of these three matrices. The resulting ground component is countable and is preserved by all three matrices. On , choose simultaneous Borel representatives, replacing them by the identity on their exceptional null sets. They are -valued functions of the displayed variables. The laws of and are equivalent to Lebesgue measure. Changing between the three equivalent ambient probabilities preserves null sets, so we may use the natural laws of these variables. Independence of and Lemma 5.5 make constant. Varying the initial label makes every entry of constant. The partition rows and columns therefore determine one ground permutation. This does not require an uncountable intersection of conull sets.
Arbitrary likelihood ratios
Proposition 5.7. Let . If the law of is absolutely continuous with respect to Lebesgue measure, then is almost everywhere constant.
Proof. Write , where and , and use the nonterminating binary expansion
off the dyadic rationals. Put
Then , , and .
Under Lebesgue measure, the joint law of is a product of two atomless measures, with a counting factor in the first coordinate. The law of is absolutely continuous, so the actual joint law of is absolutely continuous with respect to this product. The conditional law of given is atomless, as is the conditional law of given . Thus the ambient algebra is conditionally atomless over both and , and both marginal laws are nonatomic.
Let
This is well-defined because . The log-likelihood from to is plus a constant, and the log-likelihood from to is plus a constant. Equivalent reweighting preserves conditional atomlessness. By Proposition 5.6, both and are constant. Equation (17) then makes constant.
Lemma 5.8 (Uniform perturbation). Let be a finite real-valued random variable on a standard atomless probability space. There is a uniform random variable such that has an absolutely continuous law.
Proof. Let be the at most countable set of atoms of the law of , and put . On each positive-measure , choose a conditionally uniform random variable . Then has a shifted uniform law on .
On the complement , the conditional law of is nonatomic. Let be its continuous distribution function and its quantile function. Put . Then is uniform and almost surely. The map
is strictly increasing and satisfies for . Its inverse on its range is 1-Lipschitz. Hence the pushforward of Lebesgue measure by is absolutely continuous, so has an absolutely continuous law.
Patch the and . Conditional on each member of the resulting countable partition, is uniform. Thus is uniform, and the law of is a countable mixture of absolutely continuous laws.
Theorem 5.9 (Nonsingular invariance). For any ground set , every probability-preserving invariant frame for a full local diagonal -action on is fixed by the whole group. No cardinality bound on is required.
Proof. With the preceding notation, we show that is constant for every .
Write . By Lemma 5.8, choose a uniform such that has an absolutely continuous law. Put and
The integral is finite because . The first log-likelihood is plus a constant, so Proposition 5.7 makes constant. The second log-likelihood is plus a constant. Its law under is absolutely continuous because and the law of under is uniform. Hence is constant, and (17) shows that is constant.
By (19), each is a constant permutation. Thus is an ordinary homomorphism to . Locality makes it trivial on any map with a positive identity region. Every member of is a product of two such maps. For , choose with , and . Let exchange by and fix their complement. Both and have positive identity regions, and . Hence every comparison permutation is the identity.
Theorem 5.10 (Invariant enumeration for random forcing). In any ground model of ZFC, let be its standard atomless probability algebra. Every invariant name forced to be a nonempty countable set has an invariant bijective enumeration by a finite ordinal or by .
Proof. Normalize a bijective enumeration by Proposition 5.2, then apply Theorem 5.9 to its fixed frame.
Corollary 5.11. If is a set of ordinals and is random over , then every countable set in has an bijective enumeration. In particular every countable set in consists of elements, without a rank restriction.
Proof. The argument also works over any ground satisfying , with a set of ordinals. The ground and its names then have stable ordinal codes by Lemma 2.2; for the stated ground , use its canonical -definable order instead. In either case the definition supplies an invariant name. Apply Theorem 5.10 and then Lemma 2.3 to the resulting enumeration name. No cardinal arithmetic is used in this argument.
Remark 5.12. This relative statement requires the parameter to belong to the ground . The conclusion for every set-of-ordinals parameter in used the Cohen intermediate-extension lemma. We need no such extension of the parameter assertion here.
Countable families in collapse extensions
We compare three coordinate factors to obtain an enumeration, then factor automorphisms into recodings of finite words to prove its invariance. The enumeration is indexed by a ground cardinal, which may become countable in the extension.
Throughout this section, we work in a fixed ground model . All algebras, names, groups, and choices belong to this model. Let be an infinite cardinal, put
and identify the individual component coordinates with . This is a presentation of , fixed before any enumeration is chosen. For , let be the complete subalgebra generated by the coordinates in . For any complete subalgebra , write
Theorem 6.1. Let be a -name invariant under . If forces that is nonempty and countable, there are a ground cardinal and invariant names which are forced to enumerate bijectively. If , then .
The members may have arbitrary rank. The theorem holds over any ZFC ground. We state the definability consequence after its proof. The fixed algebra of is , so homogeneity decides whether is infinite or has a particular finite size. For the proof, fix a nonempty finite ordinal or , denoted by , such that .
Relative enumerations and three-factor comparison
Lemma 6.2. Suppose is complete and forces that the quotient of is a Cohen algebra. Then has a bijective -indexed enumeration by ground -names invariant under . Moreover,
Proof. In a -generic extension , the quotient name for is invariant by Lemma 2.4. Theorem 3.1, applied in that intermediate model, gives an invariant enumeration by quotient names. The maximum principle chooses -names for such an enumeration. Flatten them to ground -names. A ground member of acts trivially on the intermediate model and descends to a quotient automorphism, so it fixes the flattened enumeration. This proves the first assertion.
For the second, an element of becomes, in every -generic extension, a Boolean element fixed by all automorphisms of the Cohen quotient. Its quotient value is therefore 0 or 1. The -Boolean value deciding which case holds is the original element of . Thus that element belongs to . The reverse inclusion is immediate.
We use regular forcing products below. These differ from direct products of Boolean algebras. Represent a name forced to belong to a ground set by the -indexed Boolean partition of its possible values.
Lemma 6.3. Let be forcing notions and a ground set. Suppose is a -name and a -name, both forced to belong to . If the threefold product forces , there is a -name such that the respective twofold products force and . The assertion remains true after restricting any unshared factor to a nonzero cone.
Proof. Force first with . In the intermediate extension the remaining forcing is the product of the old posets and . A condition forcing and one forcing are compatible in this product, and therefore . Conditions deciding a value are dense in each factor. Thus there is one value which both names are forced to take. The forcing theorem and maximum principle provide a -name for it. The argument also applies after restriction to a nonzero cone. When we use quotient completions, we take the new completions of the unchanged dense posets.
Lemma 6.4 (Effective descent). Let be a nonempty ground set. For , let be a -name for a permutation of in the extension. Suppose
There are a ground set , with , and -names for bijections such that
The bound may use any dense presentation of .
Proof. Call stable if there is a -name for an element of such that
The witness is unique modulo -forced equality, since we can remove the nonzero -cone from the equality of two witnesses. Represent names for elements of by Boolean partitions, and choose one witness for each stable pair.
For every fixed , stable conditions are dense in . Indeed, below any given condition choose , , and such that . The triangle identity gives on . Lemma 6.3, with shared factor , supplies a witness on the whole product . Only one value in has been decided.
If witnesses stability of , the unrestricted triangle identity, restricted only to , gives . These two names share only . Separation supplies a -name such that
For two such witnesses with counterparts , injectivity of gives
The Boolean values on the two sides belong to independent factors, so their common value is 0 or 1. Thus distinct forced-equality classes of stable witnesses are forced unequal. Let be their ground set of classes, and choose representatives for . There are at most classes. Put and . Both names are forced injective, and .
To prove that is onto, fix and . Choose a rectangle , with , deciding . Refine to a stable condition for this fixed , and let be its witness class. Then . Because is a -name, already . These conditions are dense for every , so is forced onto. The equation makes onto as well; a statement about its range can be read in alone.
Finally, for each , the triangle identity gives
Separation over the shared factor gives a -name for this value. Hence and . These equations make a bijection and prove every asserted comparison. All chosen arrays of names are sets in the ground model.
Lemma 6.5. There are a ground cardinal and a bijective enumeration of invariant under for every infinite coinfinite ground .
Proof. Partition into three infinite sets and denote their coordinate algebras by . Each makes countable, so the remaining coordinate forcing has a countable atomless dense poset. Its completion is a Cohen algebra. The same is true of the quotient over , where the join denotes the generated complete subalgebra.
Choose, by Lemma 6.2, enumerations invariant under . Let be the comparison permutation, so that
Every automorphism fixing fixes both enumerations. Thus every coefficient lies in . These are names over the genuine twofold coordinate products, and they satisfy . Apply Lemma 6.4. Each coordinate forcing has a dense presentation of size , so its ground index set has size at most . Relabel by its ground cardinal , and retain the notation for the resulting bijections . Mixing names, put
This does not depend on modulo forced equality, and it is invariant under all three groups .
A transposition of component coordinates fixes at least one of the three coordinate sets pointwise. Hence is invariant under all finitary coordinate permutations. For an arbitrary infinite coinfinite , choose a -invariant -indexed enumeration by Lemma 6.2. Compare it with . Both are invariant under finitary permutations supported on . The scalar fixed algebra of that group is : over , these finitary permutations act weakly homogeneously on the remaining finite-function forcing, since finite domains can be moved apart. The quotient truth values are therefore 0 or 1. Mixing them over shows that the original invariant Boolean elements belong to .
Apply this to each comparison coefficient , for and . Every coefficient lies in . Every member of fixes these coefficients and , and therefore fixes .
Fix this enumeration for the rest of the proof, and let
This subgroup contains all pointwise coordinate-factor stabilizers from Lemma 6.5. We will prove by factoring automorphisms into maps defined by finite words.
Prefix codes and whole-space factorizations
For a finite word , write for its cylinder and for concatenation. A front is a maximal prefix antichain of nonempty finite words. It is a bar if it meets every infinite branch. An internal node of a front is a proper prefix of one of its leaves. By maximality, every immediate child of an internal node is either a leaf or an internal node.
A history-dependent prefix code is a family of bijections
where the are fronts. Its map replaces the next input letter by its -word and concatenates the successive words. For each , the union of the cylinders obtained after complete input letters is dense open. The intersection of these sets is exactly the range of the map. Unique parsing gives the inverse, and the codewords are nonempty, so the output lengths tend to infinity. Thus the map is a homeomorphism onto a dense subset, and is onto the whole space if every is a bar. It induces a complete Boolean automorphism. We use forward images for these Boolean maps and compose from right to left. If the code is independent of , call it stationary.
Lemma 6.6. Every level-preserving tree automorphism of belongs to .
Proof. Write its point map as , where each permutes . Let keep the even paired positions unchanged and replace the odd paired positions by their -images. With the even positions fixed, this is an invertible triangular recoding of the odd positions. Recover the old odd symbols successively, using the symbols already reconstructed. Both directions are continuous. The map fixes every odd paired position. Thus , and each factor fixes an infinite coinfinite set of component coordinates pointwise. Both belong to .
Lemma 6.7 (Reservoirs for a bar). Let be a bar on . There is a coloring such that, for each , first-coordinate projection maps bijectively onto a bar of cardinality .
Proof. Assign reservoirs to the nodes of the front tree, starting with . Internal reservoirs have size and terminal reservoirs are singletons. At an internal node , for each first-coordinate symbol separately, partition
giving a child reservoir size 1 if that child is terminal and size if it is internal. The sum of these prescribed nonzero cardinalities is , so the partition exists. The partitions for different are independent partitions of the same reservoir. Recursion on finite node length defines all reservoirs. Color a leaf by the unique member of its reservoir.
Fix . At an internal node containing , each next first symbol determines exactly one second symbol whose child reservoir contains . Every infinite first-coordinate branch therefore determines a unique paired path until it reaches a leaf. It must reach a leaf, since otherwise it would avoid the bar . The resulting first-coordinate leaf words form a bar. Two leaves of color with comparable first projections must follow the same second-coordinate choices on the shorter word. Neither can properly extend the other, so they are equal. This proves both prefix-freeness and injectivity of projection. Finally the projected bar has size : it has a leaf above every possible first symbol, and there are at most finite words.
Lemma 6.8. Every history-dependent bar-front code map belongs to .
Proof. Apply Lemma 6.7 to each state front . Choose bijections . There is a unique bijection
whose value at has color and first projection . For an originally given labeling , the next-letter bijections define a level-preserving input tree map . Reindex the old states by the recursively recovered inverse of . The original code map is then , where uses the normalized labels . From now on the labels and their reservoirs are indexed by these transferred input histories. By Lemma 6.6, .
For an input , let . Write the two projections of as , and put
Thus . Define . For fixed , its inverse parses the next word in the bar of the remaining -stream, then uses to recover . The earlier reconstruction determines the state, and the unchanged second coordinate supplies the current . This procedure works on every . The codewords are nonempty, so the forward map is continuous. The inverse is jointly continuous because each finite reconstruction uses only finitely many letters of .
Define by first recovering through and then producing the second projection words. To invert on an arbitrary pair , reconstruct together. At the current state , pair the remaining tails of coordinatewise and parse their next leaf . Since the front is a bar, this takes finitely many steps. Recover
The normalized code of this pair is exactly . Continue after consuming its length in both streams. This constructs a unique inverse on the whole space. Both directions of are jointly continuous, since each finite stage reads finitely many symbols and determines its next state. No uniform bound on that reading is needed.
Now , the map fixes the second set of component coordinates pointwise, and fixes the first. Both belong to , so .
Lemma 6.9. Every individual prefix swap belongs to . If is a stationary prefix-code automorphism, then it permutes the names by one ground permutation, and .
Proof. For incompatible nonempty words , take a finite-height bar containing them by filling the complement of with words at a common depth at least . This bar has cardinality . Let expand the first input letter to a chosen enumeration of this bar and use identity letter codes thereafter. Let use the same enumeration with the leaves exchanged. Both maps belong to by Lemma 6.8. Their product is the desired prefix swap.
Let swap two input words of the same length. Its conjugate swaps their concatenated stationary codewords and preserves the tails. The two output prefixes are incompatible, though their lengths may differ. Thus both and belong to . For every , the name is consequently invariant under all such . Since is invariant under , these names form another enumeration of . Compare it with . Every comparison coefficient
is fixed by all equal-length prefix swaps. This group is weakly homogeneous: any two basic conditions have appropriate equal-length extensions interchanged by a prefix swap. Hence the comparison values are all 0 or 1. Each row and column of the comparison matrix is a partition of unity. Thus each has exactly one nonzero entry, even if is uncountable in the ground. The matrix defines a ground permutation of . Thus permutes modulo forced equality and normalizes its pointwise stabilizer .
If the stationary front is not a bar, the conjugacy holds on its dense parsing domain, which is invariant under the indicated prefix swap. It is therefore the asserted identity of complete Boolean automorphisms.
Truncation and alternating fronts
Lemma 6.10. For every history-dependent maximal prefix-code map , there are a bar-front code map , a stationary prefix-code map , and a level-preserving tree map such that
Proof. Let be the state codes of . We first partition into continuation and stopping sets so that every internal raw node has witnesses of each color in distinct immediate-child cones.
Enumerate the requests , where is an internal node of , , and , in order type . At a stage below , fewer than labels have been assigned. Discard every immediate child of whose cone contains for a previously assigned label . Fewer than children are discarded. Choose a leaf above a remaining child and assign its label to . Maximality supplies the leaf, and its label is fresh by the choice of child. Color all remaining labels arbitrarily.
Thus . For each we have disjoint sets of child symbols , both of size , and for a chosen label such that
All chosen child symbols for this fixed are distinct, including across the two colors. A previously chosen witness would have excluded that child at every later request.
Choose a stationary bijection and let be its concatenation map. The composite has maximal fronts obtained by encoding raw letters through until the first stopping letter has been encoded. They are maximal because an unfinished raw code can be completed and, if necessary, followed by a stopping letter.
At any internal node of a composite front, finite parsing determines a current raw state and an internal raw node , possibly empty. The suffix of after leads from to a composite terminal node. The suffix of leads to a composite internal node, since it finishes a continuation code. Denote these nonempty suffixes by . Their first symbols are the distinct chosen child symbols.
Choose a positive finite cutoff for each immediate-child cone:
Starting at , stop at the first composite terminal or at distance , whichever comes first, where is the first new symbol. The resulting relative front is a bar. Each branch has a first symbol, which determines a finite cutoff. Each selected witness survives, since no composite terminal properly precedes it. Consequently has exactly terminal pieces and exactly internal pieces. No bound uniform over its first-child cones is required.
At each state match bijectively to the internal pieces and bijectively to the terminal pieces of . Reading a letter emits its matched piece. An internal piece advances within the current composite front; a terminal piece finishes it, recovers its composite input label, and starts the next front with that recovered history. This defines a history-dependent bar-front code and hence a whole-space homeomorphism.
Each input -word produces exactly one composite terminal leaf. Conversely, parse any composite leaf into successive pieces. The terminal stopping rule stops parsing at the leaf. Since the pieces are nonempty, parsing terminates after finitely many steps. The corresponding input letters lie in until the final letter in , so form one unique -word. Thus the matching of composite input labels is bijective at every state. These bijections define a level-preserving tree map . For a source stream , the successive composite labels emitted by are ; therefore . This is also the asserted identity of Boolean automorphisms.
Corollary 6.11. Every history-dependent maximal prefix-code automorphism belongs to .
Proof. In (22), Lemmas 6.6 and 6.8 give , and Lemma 6.9 gives . Therefore .
Lemma 6.12. Every has a factorization
where are history-dependent maximal prefix-code automorphisms, replaces every input letter by two letters using one fixed bijection , and keeps the first input letter single and uses that bijection thereafter.
Proof. Let be the complete atomic algebra with atoms the length- cylinders, with . Construct increasing complete atomic algebras , starting at , such that every atom has exactly children at the next level. At even levels their atoms are ordinary cylinders; at odd levels they are -images of cylinders.
Both cylinder bases are order dense and have cardinality . Below a current atom choose a maximal antichain from the next required basis. Its join is that atom and its size is at most . Replace one member by its immediate successors in that same basis. The resulting antichain has exactly members. Repeating this below every atom gives the next level. Each refinement is strict. Between consecutive even levels, every cylinder is thus replaced by proper subcylinders, so the atoms of have lengths at least . Hence , and the union of the is order dense. Similarly the cylinders whose images are atoms of have lengths at least .
Choose bijections of corresponding sets of children. They define compatible atomic isomorphisms between and . The isomorphism on their unions extends uniquely to a complete Boolean automorphism , since both unions are order dense. Thus .
The stated reblockings satisfy
Put and . Each sends input cylinders to actual cylinders, and sends immediate successors to a maximal antichain of proper subcylinders of the parent image. Their nonempty relative suffixes give the required state fronts and labels. At the root the images for are proper as well. The resulting code maps induce the prescribed Boolean maps, since they agree on every cylinder. Finally,
Proof of Theorem 6.1. Choose by Lemma 6.5 and form as in (21). For an arbitrary , apply Lemma 6.12. Its maps belong to by Corollary 6.11. Both and are history-dependent bar-front code maps, so Lemma 6.8 gives . Every factor in the displayed factorization of therefore belongs to . Thus . If is forced to have finite size , the ground cardinal is also forced to have size and hence equals already in , since an infinite ground set cannot become finite.
Corollary 6.13. Let be a set of ordinals, , and let be a -extension. Every countable set in admits an bijection from some ground cardinal . In particular, all its members are , without a restriction on their ranks. For a finite set of size , one has .
Proof. The same proof works with any ground satisfying and any ground set of ordinals . For ground definability, we use only Lemma 2.2 or the canonical -definable order when . No GCH assumption is needed. For the empty family, use the empty bijection with . Fix a formula and ordinal parameters uniquely defining the given nonempty countable family. Weak homogeneity makes this assertion forced by the top condition. A name for the unique family is invariant under all ground Boolean automorphisms. Theorem 6.1 supplies a bijective enumeration by invariant names indexed by a ground cardinal . The name for the whole enumeration is invariant too, since its index ordinal is fixed. Lemma 2.3 makes this bijection in . Each of its values is then using its ordinal index. □
Remark 6.14. The theorem does not in general give an OD enumeration indexed by . If is uncountable in , the ground set is an OD countable set in the collapse extension, but an OD bijection would be a new OD set of ordinals, contrary to homogeneity over . The ground-cardinal index in the conclusion is therefore necessary. The truncation fronts need not have bounded height. The reservoir factorization requires only that parsing terminate on each branch.
Rank-one consequences and invariant parameters
Corollary 6.15. Let , where is a real, let be an infinite cardinal of , and let be a -extension. Every countable family of sets of ordinals consists of members. The same holds for a countable family of open subsets of an set of generic filters, with basic opens .
Proof. Both are instances of Corollary 6.13. Equivalently, an open set is recovered from the ordinal code by . The stable-ground generalization is the same as in that corollary. □
The following variant permits a parameter fixed only by a subgroup. For an infinite cardinal in a ZFC ground , use the dense presentation .
Lemma 6.16 (Generic graphs). For and a family of at most dense open subsets of , there is a ground tree automorphism fixing such that is dense below for every .
Proof. In steps meet every requirement with , and put every node into the domain and range. Start by fixing the initial segments of . For , extend the partial tree isomorphism to , choose unused successors , and find extending this pair. Extend one coordinate to make their lengths equal, then match their fresh finite paths. Domain and range requirements use the same back-and-forth extension. At stage the partial map is finite if , and otherwise has size at most . Fresh successors therefore remain, even when is singular. The union is the required total automorphism. □
Lemma 6.17 (Invariant parameters). Suppose every ground set is in every set-forcing extension of , and has the generic-graph property of Lemma 6.16 for every countable and every . If is fixed by , every countable family of sets of ordinals in a -extension is pointwise .
Proof. Otherwise its non- subfamily is nonempty. Below some choose names enumerating it. For each , forces . Otherwise a common value in two mutually generic extensions would belong to their intersection and hence be , a contradiction. Since these are sets of ordinals, pairs deciding an ordinal oppositely for form a dense open set below . Extend these dense sets outside that cone and apply the stipulated property to obtain fixing . For the actual generic containing , it gives for all . But and , so both enumerations describe the same nonempty definable family, a contradiction.
Definable families modulo null and meager sets
Let and denote the ideals of Lebesgue-null and meager subsets of , respectively. For either ideal , write when , and let denote the resulting class in . Friedman [ref-11] obtained the small-family conclusion below in a further extension of Solovay’s model, and asked whether its single-class case already holds in the original collapse extension. We prove the full conclusion there.
Theorem 7.1. Let , let be inaccessible in , and let be generic. In , an family containing a non-Lebesgue-measurable member represents exactly classes modulo . Consequently, if it represents fewer than classes, all its members are Lebesgue measurable. The same statements hold for the Baire property and .
The extension here is the full ZFC generic extension, rather than its inner Solovay model. No additional hypothesis on is required. The same proof applies to both ideals.
Bounded collapse algebras and local separation
Work in and use the finite-support presentation
The forcing is -cc, , and for . Every Boolean value and every name for a real is supported on some . To see this, represent them by maximal antichains of size less than and bound their coordinates. There are nice names for reals. In the full extension, the reals of each bounded intermediate model form a countable set. There are fewer than nice -names for reals in , and the full forcing makes this set of names countable.
We will repeatedly use two properties of the initial algebras. First, an automorphism of extends to every larger by acting identically on the independent tail. Second, if is increasing with limit , then is dense in , since it contains the initial forcing posets. Thus coherent automorphisms defined on whole initial algebras extend to their completion at a limit stage.
Lemma 7.2 (Bounded extension). If are complete subalgebras of and is a complete isomorphism, then extends to an automorphism of some , where may be required to exceed any prescribed bound.
Proof. Choose a regular uncountable cardinal above that bound and above , and put . In an -generic extension, remains regular and the quotient has density at most and collapses to countable. Its density is exactly , since a forcing of smaller density would preserve the regular cardinal . Its completion is therefore the collapse algebra . The same holds over . Identify these quotients through , then use the complete-subalgebra factorization to lift to . For the collapse characterization and relative factorization used here, see [ref-17, ref-22].
Fix . For a set failing the corresponding regularity property, there is a positive Borel region on which both and its complement meet every positive Borel set even after removal of any member of . In the measure case, first restrict to a bounded interval on which is nonmeasurable. Choose a Borel inner core and outer hull attaining its inner and outer measures. Then has positive finite measure, and and both have full outer measure in . In the category case, let be the union of the basic open sets on which is meager and the corresponding union for its complement. The sets are disjoint. If their union were dense, would have the Baire property. Otherwise choose a nonempty basic open disjoint from its closure. Both sides are nonmeager in every nonempty open subset of , which gives the stated property for positive Borel sets.
Now suppose a basic condition forces this property of names . Fix an initial stage supporting and the Borel code of . All our automorphisms fix this algebra pointwise. Dots on names are suppressed.
Lemma 7.3 (Persistent pair separation). Let fix pointwise. Suppose belongs to and is a -name for a Borel member of . There are extensions , for some , and such that every pair of full automorphisms extending them satisfies
The two full extensions may be chosen independently.
Proof. We first construct a one-sided separation for an automorphism of , a condition in , and a -name as above. Put . We will extend to and find conditions and real names supported there such that
In a -generic extension, let be the algebra of Borel subsets of modulo . This is the complete ccc random algebra in the measure case and the complete ccc Cohen algebra in the category case. In the full extension, the union of the Borel members of coded in this intermediate model belongs to , since its family of codes has become countable. Thus the reals generic for over the intermediate model form a conull, respectively comeager, subset of . The property of therefore allows us to choose a name such that forces that is generic over that model.
In a -generic extension containing , this name induces a unital complete homomorphism into the remaining forcing algebra:
Genericity makes the map well-defined, and Borel evaluation preserves countable joins. Since is ccc, each of its joins reduces to a countable join, so the map is complete. Its kernel is therefore a principal ideal. Let be the complement of the largest element of the kernel. Then , , and is injective on . Choose a -name for a positive Borel representative of .
On the range side, below , choose generic over the range intermediate model and belonging to . This is possible by the same property of the complement. Let be a -name representing the positive support of ; thus . Restrict the domain side to
Its Boolean projection onto is , because is positive below and is injective there. The restricted random or Cohen homomorphism has exactly this smaller positive support.
All these real names and Boolean values occur at a bounded initial stage. Since membership in each Borel set coded in the fixed intermediate model is absolute, genericity over that model is absolute to further forcing. Hence the homomorphisms above can already be computed in the completion of a bounded quotient containing their real names, with the same kernels and supports. Beyond this stage choose fresh binary splits , each of whose two values has projection onto that stage, and put
Both and project to in ; both and project to . Because the splits are fresh, these restrictions send no nonzero element of the respective support algebras to zero.
Form the complete subalgebra generated over by and the membership values of restricted to . Over a -generic filter containing , it is the lottery sum of and a trivial branch. The first branch is embedded by ; the second is represented by . Outside the quotient is trivial. Similarly, the range algebra has branches and the trivial branch below . These descriptions give complete embeddings into a common bounded initial collapse algebra. They also give a complete isomorphism extending , sending to , and matching the membership values of and on those branches. Every extension to an algebra supporting and therefore sends to below . After a fixed Borel coding of reals, the restricted values match each binary digit. Apply Lemma 7.2 to extend this isomorphism to .
Our choices give and . The genericity of over a model containing the code of also gives . This proves (23). No bound on the support of was used.
To separate the given pair, apply this construction to
Obtain satisfying (23) with in place of . Extend to by the identity on the tail, and set
These extend the required initial maps. For any independent full extensions , the equations for the bounded names give
Applying the full automorphisms to the two membership inequalities in (23), this common real belongs to below . It lies outside , since . The equations matching the real names involve only bounded-stage Boolean values and so persist under further extensions; the membership inequalities are preserved by every full automorphism. Thus the separation holds for every independent choice of the two full extensions.
The maximal family of inequivalent images
Proof of Theorem 7.1. Fix . Suppose a basic condition forces that is the family defined by a fixed formula from real and ordinal parameters and that fails the corresponding regularity property. Strengthen and choose as above. Take supporting , the real parameters, and the code of . We retain the original ; the region is used only to choose the witnesses in Lemma 7.3. Every full automorphism fixing pointwise preserves the definition of below . It therefore sends to a member of below that condition.
Enumerate in all pairs , , where is a basic condition below and is a name for a Borel member of . It suffices to use nice real names, replacing a name by the code of the empty set on the Boolean region where it fails to code a Borel member of . This list includes a name for every possible Borel -cover.
We build a binary tree of partial automorphisms. For each , assign to every node an automorphism of the same whole initial algebra . They fix pointwise and extend the maps at their predecessors. Require the stages to increase cofinally in . At a successor level initially give both children their parent’s map. At a limit level extend the coherent union along each node to the completion of the common initial algebra.
At level , first enlarge the common stage to support all with . For every pair of distinct nodes and every , apply Lemma 7.3 to these two maps and . Replace them by the resulting extensions and extend all other maps to the same larger initial stage by the identity on the tail. Earlier separations persist under these independent extensions. There are fewer than tasks at this level, since . At limits within the level take completions of the coherent maps on whole initial algebras. Regularity of keeps the common stage below . Finally enlarge it beyond . The recursion is now complete. At each limit step, the union of the initial algebras is dense in the next initial algebra, as required.
Each ground-model branch now gives a full automorphism of . If and , choose a level after their first split. The requirement for , , and supplies forcing a point of outside . Consequently,
Indeed, a condition forcing equivalence would force the symmetric difference into a Borel member of . Take a name for that cover and a basic condition below the proposed condition. The corresponding requirement gives a contradiction.
It remains to count these ground-model branches in the extension. There and
For the latter equality, , so subsets of have at most Boolean names. The -cc preserves this ground cardinal, and the ground subsets give the reverse inequality. Thus the branch set used in (24) has size in the extension. All images belong to , so represents at least that many classes, and it cannot represent more than .
Corollary 7.4. In the extension of Theorem 7.1, if is , then is Lebesgue measurable. If is , then has the Baire property. In either case the class has a Borel representative.
Proof. Apply the theorem to the family , which represents just one class. Every measurable set, respectively every set with the Baire property, agrees with a Borel set modulo the corresponding ideal.
Small families in Cohen extensions
We first prove a small-index theorem over any ZFC ground satisfying the cardinal-arithmetic assumptions below, then apply it to definable families. We distinguish the closure cardinal from the width . Ordinary Cohen forcing is the case . The construction follows the generic-automorphism and coset-tree method of [ref-23, ref-12, ref-33].
Work in an arbitrary . Let be regular infinite, let be regular uncountable, and assume
Here ranges over cardinals. Put
For , write and let be its specified complete coordinate subalgebra of . Write for the Boolean value that coordinate bit is 1. For a complete , put .
Theorem 8.1 (Cohen small index). Every subgroup of index at most contains for some . Equivalently, it contains the pointwise stabilizer of a complete subalgebra having an order-dense subset of size less than .
For the forward implication, has an order-dense Boolean subalgebra of size at most when , obtained by closing its conditions under finite Boolean operations. Conversely, the supports of fewer than Boolean elements have union of size less than by the counting lemma below. Thus a complete subalgebra with a small dense subset is contained in a small , and its pointwise stabilizer contains . For , the assumptions reduce to regular uncountable with . In particular the ordinary theorem holds over every ZFC+GCH ground. For uncountable , GCH implies the displayed assumptions when ; for other widths we retain all three assumptions.
Coordinate factors and relative amalgamation
For complete Boolean algebras , let denote the completion of the forcing product , not their Boolean direct product. Put , with . An isomorphism over fixes its specified copy of pointwise.
Definition 8.2. Let
For , write if some single and in satisfy and .
Both and are invariant under . The relation requires a simultaneous coordinate presentation, so it is stronger than inclusion of complete subalgebras.
Lemma 8.3. Every has a factorization over . Every complete isomorphism between members of extends to an element of .
Proof. For , the unused coordinates have cardinality . For an arbitrary member of , transport this product through its coordinate presentation. An isomorphism between two such factors combines with any isomorphism of their full Cohen complements to give an automorphism of the two product presentations of .
Lemma 8.4. For , one has exactly when, for some , there is an isomorphism over . In particular, is transitive.
Proof. A simultaneous presentation uses the coordinates in as the relative complement. Conversely, write and choose of cardinality . The relative product gives a complete isomorphism restricting to on . Lemma 8.3 extends it to a full automorphism, which witnesses the required simultaneous presentation. Two relative Cohen complements combine to a Cohen complement on fewer than coordinates, proving transitivity.
Lemma 8.5. Every Boolean element has a column support of size at most , and . There are at most members of , complete isomorphisms between them, and tuples of such isomorphisms of length less than .
Proof. The forcing has size and is -cc. Indeed, the generalized delta-system lemma, using regularity and , gives a delta system of domains from any such family of conditions. There are at most assignments on the common root, so two conditions agree there and are compatible. For this is the ordinary finite-set delta-system proof of ccc.
Every Boolean value is a join of a maximal antichain of conditions below it, of size at most . The union of their supports has size at most . Thus , and the coordinate bits give the reverse inequality. A factor has complete generators. An image factor and a complete isomorphism are determined by the images of these generators. The assumption gives the asserted bounds, including the bound for tuples.
Lemma 8.6 (Invariant coordinate enlargement). Suppose and have cardinality less than , and . There is containing such that
The factor may also contain any prescribed set of fewer than Boolean elements.
Proof. Choose presentations for . Adjoin these and all inverses to , obtaining a family of size less than . Let contain , all , and supports of size at most for the prescribed Boolean elements. From , form by adjoining supports of size at most for
There are fewer than maps and bits at every stage. By regularity, has size less than . The coordinate bits completely generate , so each maps it into itself; inverse closure gives equality. In particular and . The same therefore witnesses .
The closure under the presentations ensures the relative factor relation. Collecting only the supports of elements of would not establish it.
Lemma 8.7 (Relative amalgamation). Let belong to . For in an index set , suppose and preserve and agree there. There are , , and such that , , and extends both and on their respective domains. The placement and factor are the same for all .
Proof. Choose , , where . Write over , and choose of size . Set
An isomorphism fixing extends to . The three independent factors of are , the coordinates in , and those in .
For each , let and let be its common restriction with to . Extend independently to . Removing this extension from leaves maps fixing pointwise. Extend each independently over the other’s complementary factor. These extensions commute. One fixes and the entire third factor, and the other fixes and the entire second factor. Each therefore fixes the images of the other’s extra generators. Their product, followed by the independent extension of , is the required . The product factorizations make all these maps complete automorphisms. The placement and factor were chosen independently of .
Coherent limits through coordinate factors
For this subsection only, let be any set and any regular infinite cardinal. Put and , with the same notation for . No cardinal-arithmetic assumption is needed.
Write for the Boolean value of a condition. For a complete subalgebra , let be the least element of above . Thus, for ,
If are complete, then . A complete isomorphism commutes with these projections onto the subalgebras it carries to one another. On conditions,
The projection identities follow from the definition of , and the formula on conditions follows from the product on and its complement. For increasing sets , we also have
This meet is positive because all its prescribed bits belong to the domain of , which has size less than .
Suppose increasing complete subalgebras satisfy , where are literal coordinate factors. At a nonzero limit , the complete closure of is . This follows from complete generation by the individual coordinate bits. The interleaving inequalities between the projections, followed by (27), give
Lemma 8.8 (Extension through coordinate factors). Let be a nonzero limit ordinal. Suppose , , are coherent complete isomorphisms between increasing complete subalgebras of . Suppose there are literal coordinate factors and such that
Let be the complete closures of the respective unions. There is a unique complete isomorphism extending every .
Proof. If , each condition on the union of the source supports belongs to some coordinate stage, because it uses fewer than columns. The same holds on the target side. The unions are therefore order-dense in their completions, and the coherent isomorphism extends uniquely.
This proves the case , since every nonzero limit ordinal has infinite cofinality. Suppose instead that . Pass to a strictly increasing cofinal sequence of length . Between each pair of successive retained stages, keep an inserted coordinate factor on each side. Relabel so that (30) holds for . In particular, every nonzero limit prefix of either chain still has a literal coordinate complete closure.
For , define
The decrease. We prove that their meet is positive by constructing a decreasing sequence of target conditions.
Take preimages of the target coordinate factors at the next stage. Set
Then , the increase, and the are coherent. Moreover
Write . Construct conditions extending all their predecessors and satisfying . At stage , put
with the empty condition at . Regularity of and ensure that is a condition in .
Let be the complete closure of , taking . The map sends onto . We claim
At zero this is the empty meet. At a successor, the earlier have a largest member. At a nonzero limit, the chains and have cofinal coordinate factors between them. For example, . Thus is the corresponding coordinate factor, and (29) proves the claim. Commuting projections with the complete map now gives
By induction, lies below the last meet. Since this condition belongs to , equation (26) shows that . Choose below that meet. Since its Boolean value lies below , it extends as a partial function. This completes the recursion. The union is still a condition, and
Thus is positive.
Interchanging the two sides and applying the same argument to the inverse chain proves, for every ,
The map preserves order and incompatibility. For the latter, a conflicting bit of two conditions belongs to some source stage; their projections there are incompatible, as are their images. Conversely, compatible have the common extension , whose positive image lies below both and .
The image of is order-dense in . Given , choose with . For every ,
and consequently
The last equality is (29) on the full target coordinate union. Order preservation, incompatibility preservation in both directions, and density give an isomorphism of Boolean completions with .
If and , then . Taking the join of all conditions below gives . Apply the same argument to the complement of to obtain equality. Finally, the completely generate , so a complete extension is unique.
Generic families and conjugacy
We return to the assumptions on in (25).
Definition 8.9. A family in , with , is generic if the following holds for every . Whenever belong to , all for preserve , and extend , there is such that
A generic family of length less than is called a generic tuple.
Genericity is preserved by restriction to a subfamily, by bijective reindexing, and by simultaneous conjugation. For conjugation, transport the two factors and their prescribed automorphisms, and use the invariance of and .
Lemma 8.10 (Conjugacy of generic tuples). Suppose and are generic tuples, , and are invariant under the respective tuples. If is a complete isomorphism with
then extends to with for all .
Proof. Construct coherent intertwining isomorphisms , for , starting with . Domains and ranges belong to , are invariant under the appropriate tuples, and increase in . At each successor, extend first the domain and then the range so that both contain coordinate .
For the forth step, Lemma 8.6 gives a fixed coordinate factor with , invariant under all , and containing coordinate . Extend to . Then , and extends . Genericity of gives such that intertwines the tuples. It extends and has range with . Choose a fixed coordinate factor strongly extending , invariant under all , and containing coordinate . Apply the forth argument to , now using genericity of . Its extension maps onto a factor with . Invert it to obtain . Thus
where and are fixed coordinate factors.
At a nonzero limit , the inserted are cofinal coordinate factors on the source side; the successor ranges have the same property on the target side. Apply Lemma 8.8 to obtain coordinate closures and the unique complete extension . Regularity of ensures that both supports have size less than . Invariance and intertwining extend by complete generation. Every earlier factor remains a strong subfactor of the limit: pass through on the source side and on the target side. At stage , every coordinate has been included. The same lemma therefore gives a full automorphism of .
Simultaneous construction and the coset tree
Lemma 8.11 (Simultaneous multipliers). Let , let be a matrix in , and fix for each row. There are such that, for every , the selected family is generic.
Proof. For each row construct automorphisms of fixed coordinate factors , for . On a fixed row the domains increase and the maps extend one another. Start with the identity on a coordinate factor containing .
Schedule all requirements
where , , belong to , and preserve . Also schedule coordinate coverage for each . Lemma 8.5 and bound the total number of requirements by . Each is processed once in a recursion of length .
At a requirement (37), put for and extend the current row maps to . Choose a fixed coordinate factor containing the current for , with , invariant under every and . This follows from Lemma 8.6, since fewer than rows participate. Set .
If for some , replace the partial map on each participating row by and leave the other rows unchanged. The disagreement persists under later extensions. Since , every later extension satisfies
Thus the antecedent of this requirement fails for the eventual selected family. This argument also covers failure of to preserve .
Otherwise all preserve and agree there with . Apply Lemma 8.7 to . It supplies , a common factor with and , and extending both and . Extend to , and put . For , the invariance gives
Choose a fixed coordinate factor containing and invariant under all . Then is an automorphism of . Use it as the new partial map on row ; (38) proves coherence.
The witness also persists. Since , every subsequent row extension satisfies, for ,
Thus every later extension has the required restriction on .
A coordinate-coverage requirement is met by extending the current row map to , choosing a coordinate enlargement invariant under that extension and containing the requested coordinate, and restricting the extension to it. At a nonzero limit , handle each row separately. Its increasing supports have a union of size less than , and Lemma 8.8 completes the union map to an automorphism of that coordinate factor. No union of the supports of the different rows is taken.
At the end, each row includes every coordinate and hence defines a full . It fixes because all maps extend the initial identity. Fix any selector and any nonempty short with data to which Definition 8.9 applies. The requirement with was processed. Had it been rejected, disagreement on would persist. It was therefore accepted, and its witness in (39) is precisely (34). The empty-index case is immediate. Neither the construction nor the verification requires to be injective.
To prove the small-index theorem, suppose that but contains no with . It then contains no with , since invariant coordinate enlargement puts inside a small coordinate factor. For , its full extensions meet at least two left cosets of : if extends and , then both extend , while .
Lemma 8.12. Under this contrary assumption there is a generic family of length containing entries in and, for each and , entries outside extending . All entries are distinct.
Proof. Partition the row set into two sets of cardinality . Assign every pair to rows of . There are at most such pairs. On an assigned row choose matrix entries among the full extensions of , including two from different left cosets, and prescribe . On every row of include representatives of all left cosets and prescribe .
Apply Lemma 8.11. On a row in , left multiplication by preserves distinctness of left cosets, so some product is outside . It still extends , since and fixes . On a row in , choose an entry in ; its product with lies in . The selected family is generic.
No generic family has two equal entries. Otherwise use those two indices, base , and a nontrivial small coordinate factor , prescribing the identity for one index and a bit flip for the other. Definition 8.9 would make the same automorphism have two different restrictions on the same placed factor. Thus all the indicated multiplicities count distinct entries.
Proof of Theorem 8.1. Under the contrary assumption, fix the family of Lemma 8.12. We construct a tree indexed by . Since , it has only nodes before its final level. At each node , choose a fixed coordinate factor and . Along its path select source and target lists of family entries , each without repetition. Require that these entries preserve and
Factors and maps extend along branches, and contains all coordinates below the length of . The two outgoing edges satisfy
Choices on unrelated branches may reuse entries. Start with and its identity.
At a node of length , the earlier lists are generic tuples of length less than . By Lemma 8.10, extends to intertwining those lists globally. Choose a fresh family entry . Enlarge to a fixed coordinate factor containing and coordinate , invariant under and all earlier source and target entries. Then is an automorphism of . Choose a fresh agreeing with on , and a further fresh family entry extending
Lemma 8.12 supplies possibilities for each required extension, while fewer than entries have been excluded along the path. Give both children and put . The new entries preserve because their restrictions are automorphisms of it. The previous intertwining equations follow from , and the new ones from the chosen restrictions.
At a node of nonzero limit length , take the coordinate factor on the union of the preceding supports. Regularity keeps it small. Lemma 8.8 completes the coherent union map to its automorphism. For each earlier edge, invariance and (40) hold on a cofinal tail, hence on the completion.
For every branch , coordinate coverage makes the complete closure equal to . The limit lemma gives its complete extension . It satisfies for each edge on that branch. If first split after , taking edges , respectively, then
If , then and this equation gives , contrary to (41). Thus there are distinct left cosets, contradicting .
The proof does not require to be normal. It applies to index at most . To treat every index below , one would need a different construction of the family, since the present construction places representatives of all cosets in columns.
Invariant names of small families
Proposition 8.13. Under (25), suppose is a -name fixed modulo forced equality by every element of , and . Every name forced to belong to is fixed by for some . For a generic , its quotient interpretation over is invariant under every automorphism of the quotient completion computed there. The ranks of the members are unrestricted.
Proof. Coordinate permutations make weakly homogeneous, so the full fixed algebra is and the cardinality of the invariant family is decided. Choose names forced to enumerate it bijectively, where . Every member name is equivalent to a mixture of these names: its possible index values form a maximal antichain, and the -chain condition leaves at most nonzero pieces.
Fix a mixing construction and take its equivalence classes under forced equality. This set has size at most
There is an ordinary action on , representing the result again by an equivalent mixture. Invariance of makes the action well-defined. A member-name stabilizer has index at most , so Theorem 8.1 puts inside it for some . Apply Lemma 2.4 to this fixed-factor invariance. That lemma includes new quotient automorphisms named and mixed over , and computes the completion in the quotient ground.
Definability in Cohen extensions of
The name-reduction theorem gives the following two definability results. As in the introduction, allows ordinal parameters and a sequence of fewer than reals. For any regular , allows ordinal parameters and one parameter whose transitive closure has cardinality less than . Cardinalities and definability are computed in the extension.
Theorem 8.14 (Ordinary higher-Cohen definability). Let be regular uncountable in , and let for generic on . Then
Theorem 8.15 (Generalized Cohen definability). Let be regular uncountable cardinals of satisfying (25) there with , and let for . Then
Neither theorem imposes a rank bound on the members of . We prove them together and treat the two parameter classes separately.
Proof of Theorems 8.14 and 8.15. We prove both conclusions with replaced by an arbitrary original ground , retaining the displayed cardinal assumptions. By Lemma 2.2, and its ground-name order are definable in all its set-forcing extensions. The intermediate grounds below need not satisfy or . Write in the ordinary case, and retain in the generalized case. Thus in both cases for , where are regular, is uncountable, and (25) holds in . In the ordinary case these assumptions follow from GCH and regularity of the width. Assume .
Capturing the defining parameter. In the ordinary case, let , , define together with ordinals. Choose a name for the whole sequence and a condition in deciding its length. Nice names for its entries each use countably many columns. The union of their supports, together with the support of the deciding condition, is contained in some with . Consequently .
In the generalized case, let and ordinals define . Code the transitive closure of by a well-founded extensional relation on an ordinal , with a distinguished point representing . Choose a name for this code and a condition in deciding and the distinguished point. Each membership bit has a deciding antichain of size at most . There are fewer than bits, and every condition uses fewer than columns. Regularity of therefore places the code and the deciding condition on a ground set of fewer than columns. The code belongs to . Its well-foundedness is downward absolute, and its transitive collapse in agrees with the ambient collapse; hence .
In either case enumerate in in length and code the resulting sequence of generic columns by a set of ordinals so that . For , this code is recoverable from a sequence of fewer than reals and ordinals. For uncountable , choose the code with hereditary size at most , so . The original defining parameter has an ordinal index in the -definable ground-name order of supplied by Lemma 2.2. Substituting this definition shows that is in .
The remaining forcing over . The forcing on is -closed and -cc. It preserves cardinals and adds no ordinal sequences of length less than . Thus still satisfies and for every cardinal . When , this uses only the absoluteness of finite sequences. To verify the remaining cardinal assumption, let . A name for a function is specified by antichains, each of size at most , with ordinal labels below . The forcing on has size at most , so in there are at most
such specifications. These ground collections retain size at most in , giving . The case is immediate.
The untouched columns have cardinality . Since no short ordinal sequences were added, their conditions are unchanged; after reindexing, the residual forcing is . Its Boolean completion and automorphisms are now computed in .
Descent of an individual member. Weak homogeneity gives an invariant residual name , forced nonempty and of size at most , from the definition using and ordinals. Fix . Mix a name for below a condition in the residual generic with a fixed member name off that condition. The resulting is forced to belong to and has actual value . By Proposition 8.13, there is a residual coordinate set , , such that is fixed by its pointwise factor stabilizer. Its quotient interpretation over is fully invariant by Lemma 2.4. Here is a coordinate set in the new ground ; it need not belong to .
Enumerate in and code the additional columns by a set of ordinals , obtaining . The enumeration of is specified by and its ordinal index in the same relative ground-name order. Thus for , the pair is recoverable from fewer than reals and ordinals. For uncountable , both codes have hereditary size less than , as does their pair.
Code the pair as one set of ordinals and apply Lemma 2.3 to the quotient forcing over , whose names have ordinal-and- codes by Lemma 2.2. It follows that is in . In the ordinary case this is , and in the generalized case it is . Since was arbitrary, both theorems follow.
Corollary 8.16. In the extension of by Cohen reals, every family of cardinality at most consists of elements.
Proof. A sequence of fewer than reals is coded by one real. Apply Theorem 8.14.
Corollary 8.17. Let be regular uncountable in , let , and let for . Every family of cardinality at most consists of elements.
Proof. GCH in implies (25) with . Apply Theorem 8.15.
A chain without an order-dense union
A chain may have Cohen successor quotients and Cohen complements in the ambient algebra without having an order-dense union. In any ZFC ground let be regular uncountable and work in , with coordinates and . Keep the tail of each and replace its first bit by
For , let be the complete algebra generated by . The output map is a continuous open surjection onto reals; these maps commute with projection, so is a Cohen product extension of .
Each also has a full -Cohen complement in . Where all output first bits vanish, its fiber consists of one copy of the unused product for and copies for ; elsewhere only the copy occurs. A finite disjoint sum of copies of is homeomorphic to that space, using a finite clopen partition of a spare real. These fiber identifications give the required complement.
Let be the image of the countable clopen algebra in . The are increasing and order dense there, but
On the infinite intersection has empty interior, since finite conditions leave some rows unrestricted. Every positive element of , however, meets , where the output map is ordinary projection. Hence no positive element of lies below , and is not order dense in its complete closure.
The coordinate condition (36) excludes this example. Any raw factor containing contains : otherwise its coordinate flip would fix the factor while changing . It therefore contains , so no such factor lies between the consecutive stages.
Higher random extensions
Let be an uncountable cardinal in and put
Theorem 9.1. Suppose . In the random extension of of Maharam type , every OD family of cardinality at most has an OD bijective enumeration by a cardinal at most . In particular, it consists entirely of OD members. The members may have arbitrary rank.
Theorem 9.2. In the random extension of of Maharam type , there is an OD family of cardinality with no member definable from ordinals and fewer than reals.
At singular of countable cofinality, these theorems give OD bijective enumerations for families of size at most and a counterexample of size . At uncountable cofinality, the counterexample has size exactly . We first construct the counterexample and prove the countable-cofinality theorem. We then prove uniform enumeration below at regular width in Corollary 9.20. The corresponding singular strong-limit result is Theorem 11.6. The invariant-enumeration argument works over every ZFC ground at uncountable Maharam type of countable cofinality. Stable ground codes then give the OD conclusion.
Orbits of maximal random presentations
The construction and orbit calculations work over any ZFC ground , with . For the OD conclusion, take ; Lemma 2.2 makes and its internal HOD order definable in the extension. This includes the stated case . We use GCH only to evaluate in the final corollary.
Let be the measure algebra of the product probability space computed in . Counting coordinate supports and Borel codes gives . For the reverse bound, write for the th coordinate and, for each countably infinite , put
For each , the other cylinders are independent of and their union has measure at most . Flipping the first bit at therefore changes on a positive set. Thus cannot be supported on a set omitting any member of , and distinct give distinct elements. A single coordinate factor already has elements. Consequently .
Fix a bijection in , using the first one in its internal HOD order when proving the OD conclusion. For a filter , put
Let be -generic over , put , and define
Let
For , set
and let
For the specified definable grounds, this family is OD in , since the ground, the algebra, , and the two ground groups have ordinal definitions there. The assertion says that every ambient set is the value of a ground name under .
Lemma 9.3. .
Proof. This is the arbitrary-ground same-extension theorem stated in section 2, applied directly to . The fixed coding gives .
Lemma 9.4 (Fixing a generic filter). For a complete Boolean algebra and , the Boolean value is the largest region on whose principal ideal is the identity.
Proof. For every , the assertions and are equivalent below . Thus . Taking and gives and , hence . For the same identity now gives . Conversely, an identity region forces the two filters to agree, by the rank induction for the generic name.
Proposition 9.5. .
Proof. For , define . The assignment is injective. Equivalent probability measures have strictly positive densities, and every measurable real-valued function depends on countably many coordinates. There are therefore at most cosets, so .
For the reverse inequality, fix in a bijection between and . Let be a uniform random variable read from the corresponding product coordinate. For , put
where is independent of . If , choose with . Conditional on all coordinates except , the equation determines at most one value of that continuously distributed variable. Thus
The probability algebra is homogeneous of Maharam type . By Maharam’s theorem, choose such that
for every . Suppose and lie in the same -orbit. Then, for some , the automorphism fixes . By Lemma 9.4, is the identity on a nonzero principal ideal . For every ,
Hence almost everywhere on , contradicting (43). Thus the ground family of presentations gives distinct orbit classes; random forcing preserves this cardinal. □
Proposition 9.6. No member of is in .
Proof. Fix a maximal presentation and let be the canonical name for its -orbit class. Suppose this class is defined from a sequence of reals and ordinal parameters. Nice names for the entries of use fewer than coordinates in total. Choose a condition forcing uniqueness of the definition, and include the countably many coordinates of in the support. Since is uncountable, choose a coordinate outside this support.
On coordinate , choose a nonsingular involution whose Radon–Nikodym derivative is on a set of measure and on its complement. Extend it by the identity on all other coordinates, obtaining . Then fixes , every name in , and all ordinal parameters. Symmetry gives
But if this equality held below a nonzero condition, some measure-preserving would agree with or on a nonzero principal ideal. This contradicts their Radon–Nikodym derivatives. The derivative of is , while those of and are nowhere . □
Proof of Theorem 9.2. The family in (42) is OD, has size by Proposition 9.5, and has no member by Proposition 9.6. □
Corollary 9.7. Assume is uncountable in .
(i) If , then the extension by random reals has an OD family of size with no member.
(ii) If , the construction gives such a family of size .
Proof. More generally, in every ZFC+GCH ground ,
Apply the construction over , or over the definable grounds used in the proof of Theorem 9.2. □
An initial invariant enumeration
We work in a ZFC ground . Let be an uncountable cardinal of cofinality . Write for the fair product probability algebra on , where , and put
The full -action on is assumed to satisfy diagonal equivariance and locality, as in (1)–(2). A selector is an element whose coordinates partition ; a frame is a partition of into selectors. An invariant frame amounts to an invariant bijective enumeration. Let be the finite coordinate translations and let act by coordinate permutations. Write for the subgroup of consisting of automorphisms fixing pointwise for some countable ; their action on may depend on the complementary coordinates.
We first obtain a frame fixed by and . We then use diagonal actions of standard probability-algebra groups to prove that fixes this frame. The following subsections extend its invariance to the full group.
Lemma 9.8. Let be a complete Boolean subalgebra of . Every homomorphism which kills the finitary permutations also kills the countably supported permutations.
Proof. The space of normal finite signed measures on , with the total-variation norm, has density at most . A measure is normal if it preserves arbitrary increasing joins. To verify the bound, restrict the coordinate measures to . If is the complement of the join of the zero sets of , then is strictly positive on , and these cover . That interval embeds in by its th coordinate, so its measure-metric density is at most . Disjointify the into a partition with . Every normal finite measure is concentrated on countably many ; on each, the Radon–Nikodym theorem represents it by an function. Truncating to finitely many intervals and approximating by simple functions gives the asserted density bound.
Pushforward gives a faithful isometric representation of on . Faithfulness follows by restricting a coordinate measure to a nonzero part of a moved Boolean element. The strong topology on this isometry group has weight at most , since a dense set of that many vectors determines it. A Hausdorff group of weight at most has at most pairwise commuting nonabelian subgroups: cover its open noncommutation relation by basic rectangles and assign to each subgroup a rectangle containing a noncommuting pair. Two commuting subgroups cannot receive the same rectangle.
Now apply Lemma 4.4(i).
Lemma 9.9. The algebra is atomic with at most atoms.
Proof. Locality makes every finitary coordinate permutation fix : on each pattern of its finite support it agrees, on the whole principal algebra, with a finite translation. Since normalizes , Lemma 9.8 gives
We first show that a -invariant name for a family of at most reals is forced to consist of ground members. Suppose otherwise and choose a member name which is nonground with positive Boolean value. Weak homogeneity of forces the family to be nonempty everywhere, since countable event supports can be moved apart. Let be the ground distribution of , and remove its countable set of atoms, leaving a set of positive -measure. Copy the countable input support of onto the nonempty initial segments of each . Each copy is induced by a countably supported coordinate permutation; a countable reserve extends the prescribed support bijection. Denote these member names by .
For , condition on their finitely many common input bits. The remaining inputs are independent, and their laws on are nonatomic, being absolutely continuous with respect to . Hence
The set of branches for which is therefore forced to have size at most . By ccc covering, it lies in a ground set of at most branches: use countable antichains deciding the values of a -term enumeration. Yet below any positive condition there are branches whose supports avoid that condition’s countable support. Choose a first branch symbol unused by that support. For each of these branches, membership in has the same positive conditional probability . This contradicts the existence of the ground cover.
Now suppose has a nonatomic part. Restrict to a nonzero interval carrying a strictly positive coordinate measure , as in the preceding proof, and split it into a binary tree with . Every branch has zero meet. In a generic fiber, the labels belonging to determine a set of at most branches through this invariant tree. That real-family name is -invariant, so all its members must be ground. On the positive event , however, the branch selected by label differs from every ground branch, because its Boolean equality value is a coordinate of the corresponding zero meet. This is a contradiction.
Thus is atomic. A complete subalgebra of a complete atomic Boolean algebra is atomic: the least upper bound in the subalgebra of an ambient atom is again an atom. Consequently is atomic. Every antichain in has size at most , by ccc in each coordinate, which bounds the number of atoms.
Lemma 9.10 (Standard factors below the continuum). Let be a standard atomless probability algebra and let . Every full local diagonal action of on has an invariant frame. If the action extends to , it has a frame fixed by that full group.
Proof. Use Lemma 5.1 for the probability-preserving frame and Theorem 5.9 for its full invariance.
Lemma 9.11 (Full relative actions). In any ZFC ground, let be a product probability algebra, without a restriction on or cardinal arithmetic. Let , let , and force first with . In that extension let be the recomputed probability algebra on . A full local diagonal action on descends to a full local diagonal action on the original , including every new relative automorphism. This holds both for the measure-preserving and the nonsingular groups, and for every ground set .
Proof. Apply Lemma 3.5 to the product/Fubini factorization . Its measure-preserving clause applies because conditional probabilities integrate to the original product probability.
Lemma 9.12. The atoms of form a frame fixed pointwise by and .
Proof. By Lemma 9.9, is atomic, with at most atoms. Every such atom has scalar support and a constant fiber cardinal by scalar -ergodicity. We show that this cardinal is one.
For any countably infinite , first force with . This ccc forcing preserves and and supplies distinct reals. Since the continuum has uncountable cofinality, the intermediate continuum is strictly larger than . Hence Lemmas 9.10 and 9.11 give a full invariant frame for the original relative cover , where is the recomputed standard algebra on .
Suppose first that has infinite degree. Its counting measure is infinite, while its -action is ergodic. Its invariant subspace is therefore zero. Choose a selector . The closed convex hull of its orbit indicator contains zero; choose finite rational convex averages with . The countably many selectors in these averages together have only countably many positive coordinates, each with countable scalar support. Choose carrying all of them, , and the finite translation supports used. After forcing the complementary factor, the norm inequalities are unchanged. Some selector in the relative invariant frame has positive overlap with , whereas invariance gives
contradicting .
Suppose next that has finite degree . Since , only countably many labels occur positively in . Enumerating them, select their first active labels in each fiber. This identifies over with , with a countably supported choice of the selectors. We construct a countable on which this finite -action is ergodic, with witnesses that remain valid after forcing the complementary factor.
Start with a countably infinite carrying that identification, adding a reserve if necessary. Given , include in the supports of all gauged matrix entries for translations in . For every rational simple finite-cylinder function on and positive rational , ergodicity supplies a finite rational convex average of translates of within of the constant . Include the supports of the translations and their matrix entries in . There are only countably many requirements. Put .
Every finite translation on appears at some stage, and its matrix is supported on . Every rational finite-cylinder function has the recorded arbitrarily accurate averages. These functions remain dense in the recomputed after complementary forcing, and all recorded norm inequalities are unchanged. If is any new invariant vector, taking inner products with these averages gives on that dense set. Thus the relative -action on remains ergodic. Intersect with the selectors of the full relative invariant frame. These intersections are invariant partial selectors and cover . Ergodicity makes a nonzero one equal to , so is a selector and . In both cases we descend the original full cover. We do not assume that the relative full group preserves .
The atoms of therefore form a -fixed frame, indexed by . Finally fix any countably infinite . In the relative nonsingular invariant frame on , a global -fixed selector has scalar coefficients fixed by . The latter acts ergodically on the recomputed standard , so those coefficients are zero or one. The selector is therefore a member of the relative invariant frame, so every relative nonsingular automorphism fixes it. This proves the assertion in the ground, including for automorphisms whose action depends on parameters from the entire complementary factor.
Lemma 9.13 (Initial frame). Under the hypotheses of this subsection, a full local diagonal -action on has a frame fixed pointwise by , , and .
Proof. Let be the frame from Lemma 9.12. We first show that it is fixed by diagonal standard actions on disjoint countable coordinate blocks with a -sized complement.
Fix an infinite ground set with , and force with . In , let be the recomputed probability algebra on . By Lemma 9.11, the full action descends to with the same frame . Let consist of all automorphisms fixing the coordinate algebra outside some countable subset of pointwise. Every member of fixes . Indeed, ccc covering puts its named countable support inside a ground countable . Its ground lift fixes both and , hence belongs to . Names given only below a condition are mixed with the identity elsewhere. This includes every new relative operator.
The -fixed algebra of the cover is precisely the copy of formed by unions of frame selectors. To see this, write an element uniquely as
where scalar events act diagonally. Since fixes each , an invariant has invariant coefficients . Finite coordinate translations belong to and act ergodically on , so all these coefficients are zero or one.
Partition into countably infinite blocks , with ground bijections . In , put for the recomputed standard algebra. For , define by applying independently on every block. Define this map first on finite tensor cylinders, then extend by measure completion. Its inverse is , and the assignment is a homomorphism .
Each normalizes . If fixes the complement of a countable , let
This is countable. Both and its inverse preserve each block algebra, so fixes the coordinate algebra outside pointwise. Applying the same argument to gives normalization. Thus the cover action of preserves the -fixed algebra and permutes its atoms . We obtain an ordinary homomorphism .
The forcing preserves and its countable cofinality and supplies distinct reals. Hence . Malicki’s theorem [ref-24] states that the standard probability-algebra group has no proper subgroup of index less than the continuum. Applied in to each point stabilizer, it makes this homomorphism trivial. Consequently every ground diagonal map fixes the original frame, since the factorization identification reflects equality of ground cover elements. The theorem is applied to the full recomputed group and requires no regularity of its action.
Now let be a coordinate involution whose moved support has -sized complement. If is countable, then . Otherwise group its transposed pairs into countably infinite collections. Their unions form blocks on which is the same standard automorphism, interchanging successive pairs of bits. The preceding argument therefore makes fix .
Every coordinate involution is a product of at most two of this kind. If its moved support lacks a -sized complement, it has transposed pairs; divide these into two sets of size . Each restricted involution has fixed coordinates. Finally, every permutation is a product of two involutions, by factoring the cyclic shift on each finite or bilateral orbit into two reflections. Thus all of fixes .
Proper factors and relative frames
The proper-factor lemmas apply both to Cohen and to random algebras. Let be uncountable, , and let be either the finite-condition Cohen algebra or the fair product probability algebra. Let in the Cohen case and in the random case. Assume a full local diagonal -action. Let be generated by independently extended automorphisms in on banks satisfying .
In a displayed frame , use target comparison matrices : their -entry is the scalar event on which agrees with . Rows and columns are Boolean partitions of , and diagonal equivariance gives
Here matrix multiplication uses joins and meets, and acts entrywise. These matrices are invertible. Locality computes the comparison of a scalar pasting on its target pieces. None of the following arguments requires a cardinality bound on once the displayed frame is given.
Lemma 9.14. If every raw coordinate permutation fixes the frame, then every element of fixes it. Whenever the frame is -fixed, forcing a raw factor , , leaves its descended frame fixed by the entire recomputed complementary proper-factor group, including newly named banks and automorphisms.
Proof. Let act independently on a bank with . Partition into banks of size , with , and fix coordinate identifications between them. Let apply a copy of on each bank and the identity on each bank . This defines an automorphism in . In the Cohen case, the compatible maps on finite products extend from their order-dense union; in the random case they preserve measure and extend from the metric-dense finite-product algebra. The copied inverses give the inverse.
The map commutes with every permutation of the nonnegative banks and, independently, every permutation of the negative banks. These coordinate permutations fix the frame. (44) therefore makes every coefficient of invariant under both permutation groups. Their common scalar fixed algebra is . For random algebras, approximate a function by finite coordinate cylinders, move the finitely many banks involved to disjoint banks in their respective half-lines, and average; independence makes the centered averages tend to zero in . For Cohen algebras, finite conditions below an invariant event and its complement could be made compatible by moving their bank supports apart, giving the same zero–one conclusion. It follows that is a constant ground permutation.
Let shift to . It fixes the frame, so . On the subgroup generated by , the constant comparison matrices multiply without scalar transport. But
the exponent of the copied on bank is , which is just at . The comparison of this commutator is the commutator of with , hence is .
For the relative assertion, assume the frame is -fixed and write . Put . By Lemma 3.5, the full relative action includes every new quotient automorphism in either setting. For a prescribed ground bank with , a named independent relative -automorphism lifts to an independent automorphism in of . Its complementary bank has size , so the lift belongs to .
We must also allow newly named banks. Let be an -name for a permutation of , and set . Each row and each column of has countably many positive entries, by ccc. The undirected graph joining when or therefore has countable components. Each component is forced to be preserved by . Split these components into two collections of cardinality , giving ground unions of size .
The lift of is the product of its restrictions to and . Each restriction fixes and the other union, and is an independent automorphism in on , hence belongs to . In the random case, partition by the images of each finite list of coordinates: these images are distinct on every positive piece, so their conditional distribution is still the fair product. This verifies measure preservation. In both cases the named permutation and its inverse extend to inverse automorphisms of the completed product iteration.
Any named bank of size and complementary size is the image of a prescribed ground bank under such a named permutation. Conjugating its relative map to that ground bank gives a lift in ; the conjugating lift is itself in . Thus every new proper-factor generator fixes the descended frame. Only conjugation by members of has been used.
Lemma 9.15. Assume the frame is -fixed. Suppose preserves a ground set and restricts there to a constant ground permutation . For every raw factor with , some makes fix pointwise, with the same comparison on .
Proof. Close under countable raw supports of the images of its literals by and , repeating times. The result has size at most , and . Independently extend to . This map belongs to and is supported inside a proper -bank, so . The comparison equation changes only by scalar transport, leaving its constant restriction unchanged.
A common construction of commuting bit flips
Lemma 9.16 (Countable clocks). In either of the preceding two settings, suppose and the frame is -fixed. If preserves a ground block and is constant there, there are commuting involutions and clock bits satisfying (45), with a complementary fixed algebra and the product factorizations (46).
Proof. Write for that restriction. We construct commuting involutions and independent bit events , , such that each finite-stage map preserves and
The two comparison regions are target regions. We will arrange that later involutions fix successively larger short factors whose union is dense in .
Suppose the first generators have been constructed. Denote their group by , its elements by , and the old bit phases by , so . Equation (44) gives
interpreted on the finite bit partition. These comparisons are powers of with coefficients in the old clock algebra.
Choose a short raw factor containing the old clocks, invariant under , and containing any prescribed short coordinate set. To obtain it, close the desired coordinate set under the countable supports of images of its literals by the finitely many , repeating times. This remains short. Choose a fresh raw bit , and let be its independent raw flip, fixing . By Lemma 9.15, choose with comparison on which fixes and .
On phase , use respectively
Both maps fix pointwise, so they preserve . Their comparisons on are and . For example, put and compare :
The coefficients of lie in , and its values commute with , proving the assertion. The calculation for has in place of .
Paste these maps on their preserved phases to obtain . They fix , commute with , and satisfy , , and . Commutation follows because conjugating the piece on by gives exactly the prescribed piece on . The event
is -invariant and independent of . For random algebras, its contribution on phase has measure for . For Cohen algebras, both halves meet every positive , since the fresh bit does so before each conjugation. Moreover fixes and flips it. Define the next generator on its source halves by
These restrictions are inverse maps in . Thus is an involution, fixes , commutes with , and satisfies (45) for the new bit. This proves the induction step.
Now use . At stage choose the factor increasing, invariant under the old finite group, and containing a prescribed increasing exhaustion of by sets of size less than . All with fix pointwise, and the earlier generators preserve . For , define its action on by the finite product of , . These definitions and their inverses agree on overlaps and extend to : the union of the is order dense in the Cohen case and metric dense in the random case. They define a -action on . In the random case its scalar orbit maps are continuous by approximation in some , where only finitely many group coordinates matter. This construction requires no regularity of the comparison maps.
Let . The bits give the product factorizations
To verify these factorizations, let and saturate each under the first generators. Its saturation belongs to : the finite group permutes its terms, and the tail fixes them all. Its intersection with is precisely . Thus each lies in the algebra generated by and the clock bits. In the random case, transitivity gives for ; completion proves the product identity. In the Cohen case it makes every positive meet every finite clock pattern. The displayed product map therefore preserves incompatibility, and the saturation calculation makes its image order dense, proving its completion is .
We now specialize again to the random algebra, with and .
Lemma 9.17. In a full local -action with an -fixed frame, suppose one comparison preserves a ground block and is constant there. Its restriction to is the identity.
Proof. Write for the restriction, and take the clocks of Lemma 9.16. Let be the complete algebra generated by their bits, so . Each nonzero principal algebra of has Maharam type . Its type is at most as a metric subspace of ; if it were smaller, adjoining the countable clock in (46) could not give a principal algebra of the homogeneous . Maharam’s classification [ref-9], 331I therefore gives an MP automorphism carrying a raw countable clock and its raw complement onto and , with its th raw bit sent to . If is the corresponding raw bit flip,
Let exchange clock coordinates and fix . It is also the scalar pasting of where those bits differ and the identity where they agree. Both maps fix and agree on all clock generators, so (46) identifies them on . The signed exponents in (45) cancel on the differing-bit region. Hence preserves and is identity there. This remains true for every finite clock permutation .
Put . Since for a raw coordinate permutation , we have
For , the th row of is the th identity row. Therefore every , , , is fixed by all finite clock permutations. Their common scalar fixed algebra is . To see this without a separability assumption on , approximate an invariant function using and finitely many clock coordinates. Move the clock coordinates to many disjoint blocks and average. After subtracting conditional expectation onto , these copies are conditionally orthogonal; their averages tend to zero in . The approximation error is unchanged by the permutations, so the invariant function belongs to .
Thus the rows of indexed by are fixed by every . Applying (44) to (47), and restricting to the target half , gives
If moved , these would be two distinct rows. Distinct rows are disjoint in each column, so every entry of the th row would vanish below , contradicting that the row has join and . Consequently .
This argument requires only the constructed finite-stage maps and finite clock permutations to preserve . The conjugator need not preserve . We therefore use the rows of the whole matrix .
Full rigidity and ordinal definitions
Theorem 9.18 (Full frame rigidity). Let be any uncountable cardinal of countable cofinality in a ZFC ground. Every full local, diagonally equivariant -action with an -fixed frame fixes that frame pointwise. The frame may have any ground set of labels.
Proof. Fix and a label . Close under all possible images and inverse images under . Each row and each column has only countably many positive entries, so this produces a countable ground block containing which preserves. The restricted matrix has countable raw support. Add a countable reserve and close this support under the supports of images of its literals by and , for steps. The resulting countable raw factor satisfies and carries every entry of .
Let independently extend . The right residual fixes pointwise and satisfies . Force first with . By Lemmas 9.11 and 9.14, the whole cover descends with its full recomputed MP action and its proper-factor-fixed frame. The relative comparison of on is now a constant ground permutation, since its entries belonged to . Apply Lemma 9.17 in this relative ZFC ground. Its cardinal is still uncountable of countable cofinality, as required.
The relative restricted comparison is the identity. It follows that was already the identity, so fixes . Since and were arbitrary, the whole group fixes the frame.
Proof of Theorem 9.1. We prove the result over any ground . The empty family has the empty enumeration. Let be uncountable with , and let be a nonempty OD family of size at most in the -extension. Scalar homogeneity makes its definition and cardinality hold with Boolean value . Choose an invariant name and a name for a bijection from a ground cardinal onto it. As in section 2, the algebra of named subfamilies is , with a full local diagonal action of . Locality follows by induction on names; there is no rank bound on their values.
The hypotheses of Lemma 9.13 hold in . It supplies a frame fixed by all coordinate permutations and by every relative countable-coordinate nonsingular map. By Lemma 9.14, this frame is -fixed, and Theorem 9.18 makes it fixed by .
Finally every has a factorization , where and changes only a countable coordinate factor. Indeed the positive finite density has countable raw support. On a countably infinite raw factor carrying it, the standard atomless isomorphism theorem gives with ; extend independently outside that factor. Then . Both factors fix the frame, so the frame is -fixed.
Relabeling the original enumeration by this frame gives an invariant name for a bijection , since every member-name and the ground ordinal are fixed. By Lemma 2.2, the ground and the function-name are ordinal-definable in the extension. Thus Lemma 2.3 gives an OD bijective enumeration of . In particular .
Small families at regular random width
Lemma 9.19 (The regular measure-preserving small-index theorem). Let be regular uncountable with . If is a Boolean subalgebra of of cardinality less than and has index at most , then contains the pointwise stabilizer of some coordinate factor on fewer than coordinates containing . In particular, CH gives countable supports at .
Proof. We verify the hypotheses of the small-index theorem for homogeneous abstract elementary classes [ref-12], Theorem 4.1. Consider Boolean algebras equipped with a strictly positive finitely additive probability, in the countable language consisting of the Boolean operations and the predicates , . Strong substructure is Boolean subalgebra with the restricted probability. The rational cuts determine the measure, so embeddings are exactly measure-preserving embeddings. Increasing unions remain in the class: positivity and finite additivity are checked at one stage. The subalgebra generated by has size at most . Thus this is an abstract elementary class of Löwenheim–Skolem number . Adding constants for gives Löwenheim–Skolem number at most .
The metric completion of a probability Boolean algebra for is a complete probability algebra, and measure-preserving embeddings extend uniquely to completions. An isomorphism between two subalgebras of of cardinality less than consequently extends to their completions, of metric density less than . Every positive principal algebra of has relative Maharam type over either such completion: fewer than relative generators would, together with the base generators, make its absolute type less than . The relative extension theorem [ref-9], 333C(b) therefore extends the isomorphism to an automorphism of . This also proves the required homogeneity after naming . Every probability Boolean algebra of cardinality less than embeds in , by Maharam’s theorem applied to its completion; homogeneity makes such embeddings extend a prescribed embedding of a subalgebra of cardinality less than .
We now verify the simultaneous automorphism amalgamation required by [ref-12], Definition 3.5. Let be probability Boolean algebras of cardinality less than , and let fewer than paired automorphisms of agree on , each preserving setwise. Complete the three algebras and take the relatively independent product over the completion of . Its probability on rectangular generators is
Each pair preserves this probability, since conditional expectation commutes with its common base automorphism, and hence induces an automorphism of the product. The Boolean algebra generated by the two images has cardinality less than and is invariant under all these maps and their inverses. In forming this algebra, take the quotient by the null ideal. Strict positivity of the marginals makes both original embeddings injective. These are the usual relative probability products [ref-34], 458N–458P. Embed the amalgam into over . Homogeneity extends its two embeddings to global automorphisms, giving precisely the simultaneous amalgamation demanded by the cited theorem. The construction retains any named constants.
Finally . The small-index theorem now supplies the stabilizer of a subalgebra of cardinality less than containing . The union of the countable coordinate supports of its elements has size less than . Fixing that coordinate factor therefore fixes the subalgebra.
Corollary 9.20 (Regular random families). Suppose and is regular uncountable with in . In the extension by random reals, every with has a bijective enumeration belonging to . There is no rank restriction.
Proof. Capture the short parameter defining a nonempty and a condition deciding its definition and cardinality in a short coordinate extension of . The empty case is immediate. The residual family name is fully invariant; choose a forced bijection onto it. The arithmetic still holds in : the original random algebra has size , and nice names for sequences in of any length number at most . Ccc preserves regularity. The set of all member-name classes has size at most , by countable Boolean mixing. Apply Lemma 9.19 to the stabilizer of each in the measure-preserving group. It contains the fixer of a short coordinate factor . Regularity makes short.
Force first. In the new ground , the original enumeration is fixed by the full recomputed measure-preserving tail group, by Lemma 3.5: every named operator lifts to a ground map fixing , hence all .
We show that the same original enumeration is fixed by nonsingular maps as well. First let fix the complement of a countably infinite coordinate bank pointwise, and temporarily force that complement. Its width is , so its extension has at least reals. The quotient on is the recomputed standard random algebra , with the full relative action on by Lemma 9.11. Since there, Lemma 9.10 supplies a fully invariant frame. Every original selector is still fixed by every new relative measure-preserving map, by Lemma 3.5. Its coefficients in the invariant frame are consequently invariant scalars for the standard measure-preserving group, hence are zero or one. It is therefore one of that frame’s selectors, and the induced fixes it. Returning to , therefore fixes every original entry. This temporary forcing verifies a Boolean equality. Its generic is not needed as a parameter in the final definition.
For arbitrary nonsingular , its Radon–Nikodym density has countable support. On a countable factor containing that support choose a nonsingular having the same pushforward probability; then is measure-preserving, as in the density correction in Lemma 11.3. Both maps fix the enumeration. Thus its single name is fully invariant, and Lemmas 2.2 and 2.3 give the required definition. The parameters are the generic from the initial short capture and the generic on . They have one combined short code.
Singular Cohen extensions
At singular width, families of size strictly below the width admit uniform enumerations without a cardinal-arithmetic hypothesis. At countable cofinality, the conclusion extends to families of size equal to the width, and OD families have OD enumerations without an additional short parameter. We first prove the countable-cofinality theorem, then give the additional argument needed at other singular cardinals. Throughout this section , where . A raw factor is the complete algebra generated by the coordinates in . We use the full local diagonal actions on introduced in section 2. In a frame their target comparison matrices satisfy
As in (44), rows and columns are Boolean partitions of . A constant comparison is an ordinary permutation of the labels.
Initial frames at countable cofinality
In this subsection all Cohen conditions are finite. Work in an arbitrary ZFC ground , let be uncountable with , and put
Suppose satisfies diagonal equivariance and locality, as in (1)–(2). Write , , and let be the canonical coordinate selectors. Let be the finite bit translations and the coordinate permutations. As before, a selector has coordinates partitioning , and a frame is a partition of into selectors.
Theorem 10.1 (Initial frame). The atoms of form a frame of cardinality . Every member of this frame is fixed by all coordinate permutations and by every automorphism fixing pointwise for some countable . Such an automorphism may depend on all the complementary coordinates.
We first prove atomicity. We then use a standard-factor result to show that the atoms are selectors. No cardinal arithmetic hypothesis is used.
Lemma 10.2. Every nonzero atomless complete Knaster algebra has a positive condition forcing a nonground real.
Proof. Suppose no new real is added. Every countable sequence of maximal antichains then has a common maximal refinement. Indeed, all antichains are countable, and the generic sequence of their selected indices belongs to the ground. Equivalently, the nonzero meets of ground choices from these antichains cover .
Build refining maximal antichains through , splitting every node into two positive pieces at successor stages and taking a common refinement at countable limits. Each level is countable. Choose one node at each level. Knaster gives an uncountable pairwise-compatible set of chosen nodes, hence an unbounded chain in this refinement tree. Along that chain, the unused children at uncountably many successive splits form an uncountable antichain, a contradiction. If is the positive Boolean value that a witnessing real is nonground, its binary digit tree below has zero meet along every ground branch.
Lemma 10.3. The algebra is atomic with at most atoms, and it is fixed pointwise by every countably supported coordinate permutation and every countably supported bit translation.
Proof. Every complete subalgebra has order density at most . Indeed, the positive finite conditions in single coordinates form an order-dense family in of that size, and their upper projections are order-dense in . Finitary permutations fix by locality: on each pattern of their finite support they agree on the whole principal algebra with a finite translation. Since normalizes , Lemma 4.4 gives
A -invariant name for a family of at most reals is forced to consist of ground members. Suppose otherwise, and choose a member name which is nonground on a positive condition . Weak homogeneity allows us to take the family to be nonempty everywhere, and we can extend the member name outside its original condition. The values for ground reals have only countably many nonzero terms. Thus and the positive Boolean value
have a common countable coordinate support . Copy onto the nonempty initial segments of each branch ; each prescribed copy extends to a countably supported permutation. Denote the copies by . For distinct ,
Indeed, decide the finitely many common input bits. In the two remaining independent factors, a product condition forcing equality must decide every digit of each real. Otherwise, two opposite decisions on one side could both be combined with the fixed condition on the other side. The product condition therefore forces a ground real, contradicting . The branches for which holds inject into the given family, so ccc covering puts them in a ground set of size at most . Every is nonzero, whereas , a contradiction.
Put . For each coordinate homomorphism , let be the complement of the join of its kernel. The cover , and embeds completely into . These intervals are Knaster: the Cohen algebra is Knaster by the finite-condition -system argument, and the property passes to complete subalgebras. If had an atomless part, one such interval would have a positive binary tree with zero meets along all ground branches, by Lemma 10.2. Each label in the tree’s root selects a branch. The resulting family of at most reals is -invariant, so consists of ground reals. But on a nonzero coordinate of the root its selected branch equals no ground branch, a contradiction. Thus is atomic. Upper projections of the atoms of a complete atomic algebra are atoms of any complete subalgebra and cover its unit. Hence is atomic. Its number of atoms is at most , by ccc in each coordinate of .
Finally, for a countably supported translation , choose on a countable supporting set a vector such that both and have infinitely many zeros and ones. A permutation of that set takes to , and . The maps and normalize , and acts trivially on . Their commutator therefore acts trivially there as well.
Lemma 10.4 (Standard Cohen factors below the continuum). Let and . Every full local diagonal-equivariant action of on has a frame fixed pointwise by .
Proof. Write , let be the finite translations, all translations, and . The proof of Lemma 10.3, using Lemma 4.4(ii), shows that both and fix . To prove atomicity, we need a separate argument because a name may use every coordinate of .
Suppose a -invariant family of reals has size at most and has a nonground member on a positive . Read by a Borel function and represent by a nonempty regular open . Each is meager, so is meager by Kuratowski–Ulam. The set
is meager as well, by the change of variables . Cover by closed nowhere dense . For a nonempty basic clopen , the set
is closed nowhere dense. Off their meager union , each section is meager. There is a perfect whose distinct pairs avoid . To construct it, recursively split finitely many clopen sets and shrink the children so that every ordered product of distinct children avoids the first finitely many closed nowhere dense relations. Choose the children with diameters tending to zero. For distinct , therefore,
The conditions are all nonzero. As in (50), ccc covering contradicts . Thus all members of the family are ground. Apply Lemma 10.2 to the coordinate-kernel intervals of , exactly as above, to obtain atomicity of and then of .
Fix an atom of the latter algebra. Its scalar support is . For any with , the join of the countable orbit of is . Each translate is a partial selector and has only countably many nonzero coordinates, so has countable coordinate support. Its nonzero fiber cardinality is constant by scalar ergodicity. Choose a Boolean fiber enumeration, identifying over its diagonal with for a nonempty finite or countable . The -action on this cover is ergodic, and preserve it.
Apply Lemma 4.7 with to this ergodic cover. Its set-action hypothesis follows from Lemma 4.4(ii), applied to for any countable set , since this complete algebra has countable order density. Short-support permutations here are precisely the finitary ones. The lemma therefore makes the actual map ordinary Borel in Boolean-matrix codes, without any assumed regularity of the original action.
Choose such that each have infinitely many zeros and ones. The two countable sets are disjoint. For each , choose the first for which is neither finite nor cofinite, and match the zeros and ones of increasingly with those of . The resulting Borel satisfies
The two fixed lifts therefore make the actual translation action Borel as well.
Choose jointly Borel representatives of its countable matrices, replacing the matrix by the identity where it is not a permutation. This gives with . For each fixed the identity holds for comeager . Kuratowski–Ulam and the change of variables show that
holds for comeager triples. Choose such that the identity holds at for comeager pairs, and put . Then for comeager . The selectors are therefore fixed by a comeager set of translations. Their common stabilizer is a subgroup of containing a comeager set. Since a comeager set meets each of its translates, this subgroup is all of . Ergodicity of now forces this frame to have a single member. Thus is a selector.
The atoms form a -fixed frame . Given , apply Lemma 3.4 to and . It gives such that every is piecewise given by . Locality makes an -fixed frame. Every -fixed selector is a member of , since its coefficients relative to that frame are invariant scalars and therefore zeros or ones. The transported frame is consequently the same frame, and fixes it pointwise. Finally its ground cardinality is , since its matrix is a Boolean bijection and ccc preserves ground cardinals.
Lemma 10.5. Every atom of is a selector. Its resulting frame is fixed by every automorphism fixing the complement of a countable coordinate set pointwise.
Proof. Let be an atom. Its scalar support is . If it is not a selector, choose with . Write . Each row and each column has countably many nonzero entries, and every entry has countable coordinate support. Build increasing countable and , starting with the overlap and its supports. For every , include the labels occurring in nonzero entries of rows and columns indexed by . Include the scalar supports of these entries and the supports of the newly included . Also, for every pair of positive basic partial selectors below with labels in and conditions on , choose a finite translation whose image of the first meets the second and add its support. Such a translation exists because the orbit join of any positive element below is .
Put , , and let agree with on and be zero elsewhere. The recorded matrices define a -action on . Its basic partial selectors are order-dense, and the recorded intersection witnesses make the action ergodic. Its original two-coordinate overlap remains nonzero.
Force first with . The quotient is the recomputed standard Cohen algebra on . The recorded inequalities persist, and the basic partial selectors remain order dense. The intersection test therefore proves ergodicity for new elements of as well. By Lemma 3.5, the whole original cover descends to with its full local relative action, including all new automorphisms. The complementary extension has at least distinct reals, preserves , and therefore has continuum strictly greater than . By Lemma 10.4, the full cover has an invariant frame. Intersect it with . The intersections are invariant partial selectors covering ; ergodicity makes any nonzero one equal to . This contradicts its overlapping coordinates. Hence is a selector.
Let be the frame of these atoms. For any countably infinite , pass again to the complementary extension and choose a full invariant frame there. Each is still a -fixed selector. Its coefficients relative to are -invariant scalars, hence zeros or ones, so is one row of . Every new relative automorphism fixes . By the lifting in Lemma 3.5, the corresponding ground automorphisms fix as well, including those whose action depends arbitrarily on the complement. The frame has cardinality by ccc and its Boolean bijection with .
Lemma 10.6 (Small actions of the standard Cohen group). Every homomorphism , where and is the standard Cohen algebra, is trivial.
Proof. We first prove that is simple. Let consist of the automorphisms supported on a principal region , and use . If is nontrivial, choose and with . For ,
since is supported on the disjoint region . Thus . For , every is such a commutator. Partition into nonzero , , with , and choose shifting them. Let equal on for and the identity on the negative banks. Then . All proper nonzero principal regions are conjugate, since they and their complements are standard Cohen algebras. Hence contains every for .
These subgroups generate . Given , choose with and . The involution equal to on , on , and the identity elsewhere belongs to , while . Thus , proving simplicity.
Identify with . Increasing homeomorphisms of embed faithfully in . Rosendal–Solecki’s small-index theorem [ref-28] says that has no nontrivial permutation action on fewer than continuum many points. The kernel of the given action of therefore contains this nontrivial subgroup, and simplicity makes the entire action trivial.
Proof of Theorem 10.1. Only fixation by all coordinate permutations remains. Let be the frame from Lemma 10.5. Fix an infinite with , and force the complementary factor . In that extension, let be all automorphisms of the recomputed fixing the complement of some countable subset of . Every such automorphism fixes . Ccc covering puts its named countable support inside a ground countable set, and the lift fixes that set’s full complement in . Thus Lemma 10.5 applies to its lift. Since contains the finite translations, coefficientwise scalar ergodicity gives
Partition into countably infinite blocks. The full recomputed acts diagonally by the same standard automorphism on each block. To define this Boolean action, choose homeomorphism representatives between comeager subspaces on each block. Their countable products give compatible automorphisms on every countable collection of blocks. Every event has countable support, so these actions and their inverses extend to ; ccc reduces arbitrary joins to countable ones. This diagonal group normalizes , since the countably many blocks meeting a countable support still have countable union. It therefore permutes the atoms of the displayed fixed algebra. The complementary extension has continuum greater than . By Lemma 10.6, this permutation action is trivial. In particular every specified old diagonal map fixes in the ground.
Every coordinate permutation is a product of two involutions. An involution with countably many pairs is covered by Lemma 10.5. If it has uncountably many pairs and its support has a -sized complement, group its pairs into countably infinite blocks. It is the diagonal action of one fixed-point-free standard involution, so the preceding argument applies. If its complement is smaller than , split its pairs into two collections of size . Each restriction has a -sized complement and fixes the frame. This treats every involution and completes the proof.
Proper factors and countable cofinality
Let be generated by independently extended automorphisms of with . In particular, an independently extended automorphism of a short raw factor belongs to .
The proper-factor and short-adjustment lemmas, Lemmas 9.14 and 9.15, apply to this group . In particular, an -fixed frame remains fixed by the full recomputed relative proper-factor group after any short raw coordinate extension.
Lemma 10.7. Suppose , , and a full local action on has an -fixed frame. Any constant comparison on a preserved ground block is the identity.
Proof. Write for the comparison on . The Cohen case of Lemma 9.16 gives commuting involutions , bits with target comparisons (45), and a fixed algebra such that .
In a -extension the continuum is greater than , since there are at least distinct new reals and the continuum cannot have countable cofinality. One standard Cohen real preserves its ground continuum, by counting nice names. Consequently the -extension in (46) already has continuum greater than . Descend the whole cover to the standard Cohen quotient there. Every new quotient automorphism lifts to a -fixing automorphism of , so the relative action is full. By Lemma 10.4, it has a fully invariant frame.
The permutation exchanging clock bits and fixing is the pasting of where the bits differ and the identity where they agree. The two exponents in (45) cancel, so it fixes each old , . Express in the new invariant frame in the -extension. Every scalar coefficient is fixed by all finite permutations of the standard Cohen coordinates, hence is or by the finite-condition zero–one argument. Thus is a member of that frame and is fixed by all . Equation (45) now gives .
Theorem 10.8 (Cohen frames at countable cofinality). Let be uncountable of countable cofinality in a ZFC ground. Every full local diagonally equivariant action of on , with , has a frame fixed pointwise by the whole group.
Proof. Use Theorem 10.1 and Lemma 9.14 to obtain an -fixed frame. Given and , close under the possible images and inverse images of . The ccc makes this a countable ground block preserved by . Its matrix entries have countable raw support. Close that support under to obtain a countable invariant factor . If independently extends , then fixes and . After forcing , the relative action is full and its frame remains proper-factor fixed by Lemma 9.14. The comparison on is now a constant permutation. Apply Lemma 10.7 in that relative ground. It follows that fixes . Varying proves the theorem.
Corollary 10.9. Let , let , and let be -generic. Every OD family of size at most in has an OD bijective enumeration by a ground cardinal at most . Every family of that size has an bijective enumeration. No GCH hypothesis is required.
Proof. For a nonempty OD family, choose an invariant name and a named bijection indexed by a ground cardinal. The theorem supplies a fixed frame, which relabels this bijection to an invariant function-name. Apply Lemmas 2.2 and 2.3. If the family is defined from a short parameter, choose a nice name for that parameter supported on a short raw coordinate factor. Code that restricted generic by a subset of a short ordinal, and apply the same argument to the residual -Cohen extension. Stable ground codes retain this one short parameter. The empty family has its empty enumeration.
Eliminating constant comparisons at higher cofinality
The next lemma applies to frames of any size. We will use it after one short capture has made the frame proper-factor fixed. The proof uses an -long chain of proper raw factors. These factors may have size equal to the full width.
Lemma 10.10. Let in a ZFC ground. In a full local action on with an -fixed frame, a constant comparison on any preserved ground block is the identity.
Proof. Let have constant comparison on . First construct commuting automorphisms , , on one raw bank of size . Partition into countable banks indexed by . In bank , partition into positive events indexed by the countable group , choose coherent isomorphisms between their principal Cohen algebras, and let translate the indices. Let perform its th translation in every bank with , and act trivially in the others. These products and their inverses are Cohen automorphisms, obtained on finite products and then extended by order completion. All belong to .
Each countable prefix has a fundamental event satisfying
For infinite , use the identity cell in bank ; for finite , use the union of cells in bank whose first entries vanish. Also, each is fixed by all sufficiently late , since the indices of the banks meeting its countable raw support are bounded in .
We next prepare an increasing chain , , of -invariant proper raw factors, all containing , such that
For each raw coordinate , let be its countable closure under chosen supports for of raw literals. Thus implies . The set has size at most . Hajnal’s free-set theorem, in its arbitrary-cardinal form [ref-7], supplies of size with for . The theorem requires the fixed bound ; it does not require to be regular. Remove from and color with colors, each used times. Put
where the empty supremum is . Each , and implies . Hence each is closed under the dependencies from both and its inverse, and contains . Since on , both and its complement have size . Every countable support is contained in some , proving (52).
Call a map chain preserving if it preserves every setwise. The maps have this property. So do their compositions and inverses, independent extensions of their restrictions to any , and principal pastings on countable partitions in . For independent extensions, this follows by restricting to earlier factors and using the product decomposition on later factors. For pastings, compute images and inverse images as joins in each complete .
We construct permanent commuting maps and full maps , all chain preserving, with
Start with . The source prefix generated by the , , is a copy of , since it agrees with the target action on . Its comparisons on are for .
We use two pasting constructions. First, if a countable action has fundamental event , conjugate a map supported on by to define it on each . The pasted map centralizes the action. If the action has comparisons which are powers of , this construction preserves a constant comparison or . Second, suppose source and target actions agree on , share , and an equivariant automorphism of an invariant raw factor fixes . Independently extend to . On the common partition put
The inverses of these restrictions show that is a full automorphism. Equivariance shows that it extends , fixes , and conjugates the source action to the target action. These pastings preserve the chain whenever their defining restrictions do.
At successor stage , put and . The automorphism has an independent extension in . Localize that extension to , and mirror it under the old source prefix. The resulting map centralizes the prefix, restricts to on , and has identity comparison on . This restriction holds because commutes on with the old source action. It preserves the chain, as does each restriction used in its construction. The action generated by the old maps and has fundamental event in .
Independently extend to . Then fixes and retains comparison . Localize to and apply the first pasting construction to the enlarged action. This gives a chain-preserving map centralizing that action, fixing , and having comparison on . Set . It is a permanent extension of the required source restriction, commutes with the old maps, and satisfies (53). Apply (54) with and the independent extension of to obtain . This preserves all the inductive requirements, including preservation of every .
At a countable limit , coherent restrictions and inverse restrictions give an automorphism of : the union of the earlier raw factors is order dense in . It is equivariant with the permanent source prefix, fixes , and preserves each earlier . Its independent extension preserves the whole chain, since the raw coordinates of are contained in every later . Use (54) with to obtain the full . No continuity of the chain at is needed.
Finally, by (52), the coherent restrictions define a full automorphism with for every . Put . Since , (49) gives, on columns in ,
If , choose with . A sufficiently late fixes this event exactly, so , contradicting disjointness within row . Thus . At limits we took unions only of restrictions of the conjugators. Every source map used in the final identity remained unchanged after its construction.
Theorem 10.11 (Uniform strict-small Cohen families). Let and let be any singular cardinal of . In a -extension, every of size less than has an bijective enumeration. No GCH or strong-limit assumption is required.
Proof. Countable cofinality is Corollary 10.9. Suppose . Capture the original short parameter and represent the family by a full local cover with labels. The uniform normalization lemma proved in the next section, Lemma 11.4, supplies, after one further short capture, a frame fixed by all raw permutations and all relative short-factor maps. For Cohen algebras, that lemma uses only Theorem 10.8, so the present argument is not circular. By Lemma 9.14 the frame is proper-factor fixed, also in every subsequent short relative ground.
For any scalar automorphism , the entries of have a joint raw support of size at most . Close it under to obtain a short invariant factor . Independently extend to , which fixes the frame. Then fixes and has all entries in . After forcing , it is a constant permutation of the whole frame. The residual width is still and , so Lemma 10.10 makes it the identity. This proves for every .
We used the factor on separately for each to prove invariance. Its generic is not a parameter of the final definition. The invariant enumeration exists by Lemmas 2.2 and 2.3 using just the original parameter capture and the single normalization capture. Together these are one short code.
Remark 10.12. The strict inequality is necessary for uniform enumeration. Under GCH and uncountable cofinality, the Cohen extension has continuum . Its family of all reals cannot have an enumeration: after capturing a proposed short parameter, homogeneity would place every real enumerated from it in that short coordinate extension, contrary to the existence of new reals in the remaining Cohen extension. The next section proves the pointwise endpoint for singular strong-limit .
Small index and small families at singular strong limits
We prove the Cohen and random small-index theorems together. All intermediate domains are coordinate factors, so we can amalgamate maps by taking products over a common coordinate base. The two constructions use different completions at limit stages.
Throughout the first subsection, has singular strong-limit cardinality . Write for the complete coordinate factor on , and let be either the ordinary Cohen algebra or the fair product probability algebra. In the former case put , and in the latter put . A coordinate set is short if it has cardinality less than . Subscripts in parentheses denote pointwise stabilizers.
A common small-index theorem
Theorem 11.1. Let be a complete subalgebra of contained in a short coordinate factor, and put . If and , then there is a short such that
This holds also when .
The proof uses the tree method of Melles and Shelah [ref-27]. We give the tree construction in detail and prove its extension step using coordinate products.
Every element of either algebra has countable coordinate support. Hence, given a short set and fewer than specified full maps, closing under supports of the images and inverse images of its coordinate bits, in countably many rounds, gives a common invariant coordinate factor. Its coordinate set has cardinality at most
For an increasing chain of coordinate sets, the union of their complete factors is order dense in the factor on their union in the Cohen case, and metrically dense in the random case. Indeed, it contains every finite-coordinate cylinder. Compatible maps and compatible inverses therefore extend uniquely to the appropriate completion. In the random case these extensions remain measure preserving.
We also use the following elementary product amalgamation. Suppose are disjoint, and automorphisms of and of preserve and have the same restriction there. Extend independently, remove this extension on the left of both maps, and extend the two residual maps by the identity on the other bank. These residual extensions commute, since each fixes the entire factor containing the images of the other’s additional coordinate bits. Their product, followed by the extension of , amalgamates . All maps are complete automorphisms, with the corresponding product inverses. If preserve measure, every extension and product used here preserves measure. Dependence on the common base is allowed.
Lemma 11.2 (One row of equations). Let be short coordinate factors containing , and let be a set of fewer than indices with a distinguished index . Suppose full maps preserve , with . Suppose automorphisms of , fixing , satisfy
Prescribe extensions to automorphisms of fixing . There are full maps retaining these restrictions, with , such that
In the random case all the prescribed and constructed maps are measure preserving.
Proof. Put , and choose a fresh coordinate copy of outside . Let act as on , swap with , and fix all remaining coordinates. Then
Independently extend to full maps . Both preserve and fix , hence preserve . For define an automorphism of by
Both parametrizations are isomorphisms of onto , and are measure preserving in the random case. Rearranging (56) gives
Thus and agree on . The product amalgamation above, followed by independent extension to , gives extending both. Put , and define on all of
For this is ; otherwise (58) says exactly that it extends . Equation (57) is a rearrangement of (59). Every map fixes .
Proof of Theorem 11.1. Put . Choose increasing infinite cardinals , , cofinal in , with , and consider the tree
Every level below has size less than . Indeed, for some infinite , its size is at most . König’s theorem gives . Fix continuous increasing short coordinate sets , , with union .
Suppose the conclusion fails. We construct increasing short coordinate factors containing and . At every node we construct three automorphisms of fixing , coherent along branches. Once is chosen, choose permanently
All later coordinate closures include , so it preserves every later domain and fixes every earlier one pointwise. For nodes at the same level, let if their first difference is at and ; in the opposite order, and for equal nodes, let . Maintain
The initial maps can all be the identity.
At a successor stage, give each child its parent’s maps on . The equations hold there also for new siblings, since fixes . Independently extend all inherited maps, and use (55) to obtain a common short invariant coordinate factor containing , , and invariant under all previously chosen ’s. Initially retain each only on .
Choose an infinite bounding the size of this coordinate set, the new level, and the previously chosen maps. In an iteration of length , visit every row cofinally often. Such a schedule exists even when is singular. Partition into as many sets of cardinality as there are rows, and visit each row at the stages in its assigned set. When row is visited, let be its last completed domain and let be the current common domain. Its old equation holds on , all current maps extend their restrictions there, and all preserve both domains. Apply Lemma 11.2. Capture the resulting full maps, the previously chosen maps, and the current domain in a common invariant coordinate factor of size at most . This extends all restrictions and the selected restriction. Every unvisited row keeps its old and its old equation on its own domain; no equation is imposed for that row on the larger domain until it is visited.
At an inner limit complete the increasing union of common coordinate factors. For a particular , complete the union of its visit domains, which is an earlier stage, possibly a limit stage, of the same chain. The coordinate bound remains . At the end all rows have been visited cofinally, so all three maps act on the same factor and satisfy (60) there. Their inverses are coherent as well.
At an outer limit , the union of the coordinate sets is still short. Complete the coherent maps along each branch. At height , every branch similarly gives full maps : the union contains every finite-coordinate cylinder, so order completion or metric completion gives all of . This last assertion applies also when .
For two distinct branches, ordered so that at their first difference, the two instances of (60) imply
There are more than branches and at most pairs of right cosets . Two branches therefore give , and (61) gives , a contradiction. The argument does not assume that membership in is preserved under limits.
A uniform normalization for fewer than labels
We now prove the frame normalization used in both kinds of extension. This argument does not require to be strong limit. A full local diagonal action on and its selector frames are understood as in (1)–(2) and section 9.2. In the random case “full” refers to all Boolean automorphisms, including the nonsingular ones. Relative actions are always recomputed in the intermediate extension.
Lemma 11.3. In any ZFC ground, if is uncountable of countable cofinality and , every full local diagonal action on the random has a frame fixed by the full Boolean automorphism group.
Proof. By Lemma 9.13, there is a frame fixed by raw permutations and all maps fixing the complement of a countable coordinate set. Lemma 9.14 and Theorem 9.18 then give fixation by every measure-preserving automorphism. For a nonsingular , the density has countable coordinate support. On a countably infinite factor containing that support, the isomorphism theorem for atomless standard probability spaces supplies a nonsingular with . Extend it independently. Then is measure preserving, while acts only on a countable coordinate factor. Both therefore fix the frame.
Lemma 11.4 (Uniform normalization). Work in any ZFC ground. Let be singular with , let be Cohen or random of width , and let a full local diagonal action on be given, where . Fix any original frame , and put . There is a coordinate set of size at most such that, after forcing , the descended original frame is fixed by every raw permutation and by every full automorphism fixing the complementary factor of some short coordinate set pointwise. The latter maps may depend on all complementary parameters.
Proof. Use comparison matrices in the original frame, with convention
Choose of countable cofinality, and a coordinate bank of size . Force the complementary factor first. The relative cover is the original recomputed , with its full action. This is Lemma 9.11 for random forcing; the same argument for Cohen forcing uses names for operators and their inverses in the product iteration, and descends their equality tests and the locality identity. In particular, the relative action includes every operator in the intermediate extension.
By Theorem 10.8 and Lemma 11.3, this relative cover has a fully invariant frame. Lift it to a frame over . It is fixed by every automorphism fixing the complement of pointwise. The change-of-frame matrix from to has at most entries, supported together by a set of size at most . Choose of size . Every automorphism fixing the complement of fixes both and the change-of-frame matrix, and hence fixes the original frame.
Let flip coordinate , and put
For a raw permutation , choose a support of its comparison matrix of size at most . If and , then , so
For this gives . Thus . If , choose a permutation sending to a set of size containing elements of . This contradicts the bound on . Consequently .
Force . The original frame in the recomputed tail is fixed by every finite translation. Let now be any short coordinate set in this intermediate ground. Choose a countable-cofinality cardinal strictly between and , and a bank of size . After forcing its complement, choose a full invariant frame as above. The coefficients of every in the coordinates are fixed by finite translations of . The scalar fixed algebra of those translations is , by the finite-condition argument for Cohen forcing and product-measure ergodicity for random forcing. Hence each selector is a member of and is fixed by the full relative group. Every automorphism fixing the complement of belongs to this relative group. This proves the claimed fixation for all such new and all new relative maps.
It remains to consider raw permutations. The finite-translation fixed cover algebra consists of unions of the original frame members. Permutations normalize these translations, and therefore act ordinarily on . Every action of on fewer than points is trivial. For completeness, the small-index support theorem of Dixon–Neumann–Thomas [ref-5] (Theorem , p. 582) gives, for any point stabilizer of index less than , a short with . Among permutations sending to pairwise disjoint sets, two have the same left coset. Thus some sends disjointly from itself. The pointwise stabilizers of two disjoint short sets generate : given , choose fixing with , extend to fixing , and note that fixes . Hence , as required.
Arbitrary-rank definable families
Theorem 11.5 (The Cohen endpoint). Suppose and is a singular strong-limit cardinal of uncountable cofinality in . In an extension by ordinary Cohen reals, every of cardinality at most satisfies . The members may have arbitrary rank.
Proof. Capture the short parameter defining , and a condition deciding the definition, nonemptiness, and cardinal bound, in a short coordinate extension of . The empty case is immediate. This gives a fully invariant residual name , with a forced bijection onto it, where .
The required arithmetic holds also in . In , strong limitness and uncountable cofinality give ; a short Cohen or random factor has size less than . Forcing of size has at most names for subsets of each infinite . Since our short factors are ccc, remains strong limit singular of the same cofinality. Thus in the residual Cohen algebra has cardinality .
Let be the set of names forced to belong to , modulo forced equality. Each is a countable Boolean mixture of the , so
The full automorphism group of acts on the set . For each , Theorem 11.1 gives a short such that the full pointwise fixer of fixes . Force this factor first. By Lemma 2.4, the quotient name is fixed by every automorphism recomputed in : names for an operator and its inverse lift through the iteration to maps fixing . The stable-code and invariant-name lemmas 2.2 and 2.3 give an definition of its value. The original parameter capture and this further generic have one combined short code. Only the original is required to satisfy the stable-ground hypotheses. Applying the argument separately to every proves the claim; no union of the is taken.
Theorem 11.6 (Uniform enumeration for random families). Under the same ground and cardinal assumptions, let be the extension by random reals. Every with has a bijective enumeration belonging to . There is no restriction on the ranks of its members.
Proof. Capture the defining parameter and a condition deciding nonemptiness and in a short coordinate extension of . A name for a bijection of onto the fully invariant family gives the original frame of its cover. Apply Lemma 11.4 and make its one common short capture. In the resulting ground this original frame is fixed by every short relative full automorphism. The preceding arithmetic argument shows that the residual probability algebra still has strong-limit singular type , uncountable cofinality, and cardinality .
Its selectors form an ordinary set of size at most . For each , apply Theorem 11.1 to the stabilizer of in , obtaining a short whose full measure-preserving pointwise fixer fixes . Given an arbitrary , close under coordinate supports of to a short invariant set . Let independently extend . The map is short and measure preserving, so fixes the entire original frame. The map fixes pointwise, so fixes . Therefore fixes . This holds for all and .
Every nonsingular automorphism factors into a nonsingular map acting on a countable coordinate factor and a measure-preserving map, by the density correction in Lemma 11.3. Both fix the original frame. Thus its single enumeration name is fully invariant. Apply Lemmas 2.2 and 2.3. The parameters are the generics from the original short capture and the common normalization capture. They have one short code for the entire enumeration. The memberwise sets and the auxiliary sets were used only to prove invariance and are not added to this parameter.
Remark 11.7. The Cohen conclusion at size is pointwise; it does not assert a common short-parameter enumeration. The random strict inequality is sharp: at the present cardinals , and Propositions 9.5 and 9.6 give a definable family of size with no member.
Definable models of arithmetic
We first show that a definable structure whose domain is pointwise definable has an isomorphic copy in the corresponding hereditary inner model. We use this to exclude definable models with full binary standard system at in ordinary Cohen and random extensions. We then construct definable saturated models at successors of singular strong limits.
Definition codes and hereditary classes
Write for definability from ordinals and one real, and for its hereditary part. We use the same construction with parameters in , and occasionally with one additional fixed set . In this subsection let
where is regular uncountable. The real-parameter assertions hold in ZF; for we work in ZFC. The fixed parameter may be omitted and need not belong to . Finite tuples of allowed parameters can be coded by one allowed parameter. The hereditary-model and copy lemmas also allow any nonempty definable from and ordinals and closed under coding finite tuples of its members.
There is a uniform definable partial evaluation map
The ordinal input codes a formula, ordinal parameters, and a rank segment containing and the other parameters in which uniqueness is witnessed. Reflection supplies such a code for every definition; conversely, evaluating a code gives an allowed definition. Only satisfaction for set-sized ranks is used.
Lemma 12.1 (Hereditary definability). is a transitive inner model of ZF containing every member of . For and every infinite , it contains and computes correctly.
Proof. Substitution of definitions makes closed under definitions using finitely many of its members. The class is definable from and ordinals, transitive, contains all ordinals and all members of , and is closed under pairing and union. For Separation and Replacement, relativize the formula to and form the required set in . It belongs to by substitution and has all its elements in , so belongs to . The same argument applies to , giving the internal power set. The other ZF axioms are inherited, with supplying Infinity. In the case, every subset of belongs to , as does their ordinal-definable collection . Minimality gives the stated constructible inner model.
Lemma 12.2 (The all-codes copy lemma). Every structure in , in a language indexed by , whose domain is pointwise in has an externally isomorphic copy in . No bound on the domain’s cardinality is required.
Proof. For each domain point , take the least such that for some . Replacement bounds these ordinals by one . The set
maps onto the domain. Pull back equality, the relations, and the function graphs through . These sets, and their language-indexed collection, are in and have hereditary entries in , so belong to . Their quotient by the pulled-back equality exists in by ZF; evaluation induces the external isomorphism. The construction retains all codes below the ordinal bound and requires no choice of representatives.
Lemma 12.3 (Closure from ordinal covers). Work in ZFC. Let either and , or for an infinite cardinal . Suppose that the range of every ordinal sequence of length at most is contained in the range of an ordinal-definable map . Then is closed under ambient sequences of length at most of its members, and consequently satisfies .
Proof. Choose codes for such a sequence, and choose covering the . Put . The sequence of is coded by one real in the first case and belongs to in the second. Together with an ordinal definition of , it defines the whole sequence in . All other sets in its transitive closure belong to , so the sequence belongs to . Sequences witnessing ambient dependent choice therefore also witness dependent choice in .
The cover hypothesis holds in a cardinal-preserving -cc extension of a ground with the stable ordinal codes of Lemma 2.2: antichains deciding the ordinal values give a ground cover of size at most , and a ground enumeration of that cover is ordinal-definable in the extension.
Corollary 12.4 (A countable ground-model copy). Let be a set of ordinals and let be Cohen-generic over . In , every countable structure in a fixed countable language coded in has an isomorphic copy on a finite ordinal or on whose code belongs to . In particular, for a countable model of ,
Proof. The proof applies to any original ground with the stable ordinal codes of Lemma 2.2, with as a fixed parameter; supplies the same codes from . Write for the ground. The empty-domain case is immediate. Otherwise Cohen homogeneity gives an invariant name for the domain. Apply Theorem 3.1 to obtain an invariant bijective enumeration. Applying Lemma 2.3 to the name for the entire enumeration gives an bijection from a finite ordinal or onto the domain. Pull back the structure along it. The atomic diagram is an real. Every Boolean value deciding a bit is fixed by the Cohen automorphism group, hence is zero or one, so the diagram belongs to . Satisfaction in a set-sized first-order structure is absolute. Every real coded by an element of the pulled-back arithmetic model therefore belongs to .
Canonical exponential cuts in bounded arithmetic
We use in the ordinary language of arithmetic. For each standard , let assert that the th binary digit of is one, using the numeral for :
For a set-sized model , put
This convention requires no total exponentiation in . For models with exponentiation it agrees with the binary standard system used below. The metatheory of this subsection is ZF; standard natural numbers and satisfaction refer to that ambient universe.
Fix the Paris graph for partial exponentiation . In it is functional, its domain is initial, and implies . The usual algebraic and order laws hold wherever the values exist [ref-6]. For standard define ordinary arithmetic formulas
and define, externally,
The restricted structure is uniformly definable from alone, by the satisfaction relation for set-sized structures. Here an initial cut is allowed to be all of .
Lemma 12.5. For every , the structure is an initial arithmetic substructure satisfying , or . Its operations and partial-exponential graph are inherited from .
Proof. Every standard numeral lies in . Downward closure and monotonicity of partial exponentiation, iterated through each standard finite number of steps, show that is initial. If and , functionality and give for every standard . Thus exponentiation is total on and has values there.
The elementary bound
is provable in . Indeed, with fixed, all exponential values through exist and are bounded by . Bounded induction therefore applies to the assertion that whenever , , and ; the successor step uses for . For , take and . Both and are at most , so initiality gives arithmetic closure, including successor.
An initial arithmetic substructure is -elementary. Bounded induction holds in : a counterexample there would have a least counterexample below it in , and this element and its predecessor would still lie in the cut. The graph is absolute as well. Hence .
Lemma 12.6. If is a nonstandard initial arithmetic substructure of on which exponentiation is total with values in , then .
Proof. Fix a nonstandard and put . For any , division with remainder gives with , so . For every standard , the initial-domain property and applications of the exponential recurrence show that divides . Thus and have the same standard binary digits. Bounded-formula absoluteness gives both inclusions of standard systems.
Theorem 12.7. There is a fixed recursive real such that, for every , if , then is nonstandard and
In particular this holds whenever has the full ambient binary standard system. No saturation assumption is required.
Proof. In the standard natural numbers let , , and use the injective polynomial pairing . Set
This set is recursive: for any input, test its finitely many possible paired coordinates and compute the required finite tower. Suppose that codes this real. Its infinite trace makes nonstandard. Introduce the fixed bounded formulas
For standard , functionality of shows that is equivalent to ; if , both are false. For fixed , at most one satisfies . For standard it is : the marked position is standard, and every smaller candidate is standard and unmarked.
Let be the following single formula:
Every standard satisfies it. Bounded maximum in gives a greatest satisfying it, and is nonstandard. Put and let be the unique row value with . The explicit growth clause gives , so is nonstandard. For every standard , the rows exist below and satisfy successive -relations. This standard finite list of relations implies . Therefore . Apply Lemma 12.6.
The code for is used only to prove nonstandardness; it is not a parameter in the definition of . Thus this construction preserves definability from any specified parameters and does not increase the size of the domain. It also takes a definable family of such structures to a definable family of EFA structures without selecting a member of the original family. No saturation of is asserted.
A common category environment for Cohen extensions
The same category argument works for ordinary and generalized Cohen forcing. Fix a ground , an infinite regular with in , and a ground cardinal . Let be generic and put
Write for the corresponding nonhereditary class. Write , and for one column. The forcing is -closed and -cc, the latter by and the delta-system argument. Thus it preserves cardinals and adds no ordinal sequences of length below . These facts also hold over a one-column extension and require no regularity of . The support calculation itself needs no stable-ground assumption.
Lemma 12.8. Let , let be infinite regular with in , and let for , where is any ground cardinal. Put .
(i) If and belongs to , its range is contained in a set with .
(ii) For every there is a ground set of ground cardinality at most such that .
Proof. For (i), maximal antichains deciding each have size at most . Their at most sets of possible values give the required ground cover.
For (ii), in code the transitive closure of by a well-founded extensional relation on an ordinal at most , with a distinguished point. Ground pairing functions code this relation and the distinguished point by a subset of . A nice name for this subset uses at most antichains of size at most . Each condition mentions fewer than columns. Consequently the name is supported on a ground set of at most columns. The code belongs to . Well-foundedness is downward absolute, and the transitive collapse in this intermediate model is the same as in . Thus belongs to it as well.
Lemma 12.9. In (65), is a transitive inner model of , closed under ambient sequences of length at most of its members, and
Every hereditary-small parameter belongs to the extension generated by at most original columns. For , .
Proof. Apply Lemmas 12.1 and 12.3 with . The ordinal covers in Lemma 12.8(i) have ground enumerations with stable ordinal codes, so the closure hypothesis holds. Part (ii) gives the assertion about parameters. Finally, a pointed well-founded relation on codes any hereditarily countable set by a real; conversely every real is hereditarily countable. Hence the two parameter conventions define the same class at .
Good bases and common extensions
Definition 12.10. With the ground and extension fixed as above, a good base is a subset of which is one-Cohen generic over and satisfies
Let be the set of good bases. Equality of universes means that every set is the evaluation of a -name under . Define this relation in using its mantle predicate for . It is OD, and its hereditary-small entries put in . In inner-model arguments, always denotes this actual set. An original block on columns recodes in as a good base, since removing those columns leaves columns. Consequently any at most members of can be captured in a good base by joining their codes.
Lemma 12.11 (The actual quotient over a real). Let be any ground model of and let for , where is uncountable. For every , the actual extension is an extension by a forcing equivalent to .
Proof. A nice name for uses a countable set of the original coordinates. Enlarge to be countably infinite and let be the complete Cohen algebra on . Let be the complete subalgebra generated by the Boolean values of the bits of this name. The intermediate-model theorem identifies its generic extension with ; see [ref-16, ref-17]. Factor first through and then through the quotient, using the quotient completion in the intermediate extension. The standard quotient factorization is also described in [ref-10], 556F–556G.
We verify the needed density bound. Fix a countable dense subset in , and let
be the projection onto . If is the induced -generic filter, the quotient image of is positive exactly when . Projection preserves arbitrary joins, so
When , a ground maximal antichain refining the displayed cover ensures that for some below . Thus the positive images of are dense in the quotient and in its completion, taken in the intermediate extension.
A complete Boolean algebra with a countable dense subset has at most countably many atoms. The complement of their join, if nonzero, is atomless and has countable density; a countable dense Boolean subalgebra there is the countable atomless Boolean algebra, so its completion is the Cohen algebra. The quotient is consequently a disjoint sum of countably many atomic components and at most one Cohen component. The untouched Cohen coordinates absorb each of these components: one additional Cohen real can be reindexed into the tail. A nonempty finite or countable disjoint sum of full -Cohen algebras is again that algebra, by partitioning one coordinate into a maximal antichain of the required size and using homogeneity on its cones. This proves the assertion for the actual factorization of . All the forcings involved are ccc and preserve cardinals.
Lemma 12.12. Let be an ambient family of good bases, with , and let . There is an actual original coordinate model , where and , which contains and all , and satisfies
for a one-Cohen generic over . A ground recoding of is itself good and has . The conclusion can capture any additional family of at most members of .
Proof. First let . Capture the sequence of and all additional parameters in an original countable block , and adjoin one fresh original coordinate . Put . For each , the proof of Lemma 12.11 gives countable density for the quotient of over . Its product with the fresh Cohen coordinate has countable density and is atomless, so its completion is a Cohen algebra. Thus is an actual one-Cohen extension of every . The enlarged original block is countable and leaves columns, so its recoding is good. This proves the countable case.
Now let . Write . In the ambient ZFC universe choose actual presentations by . The sequence and is coded by a subset of . The support bound gives a ground set of size capturing this code. The case ends here.
Recursively choose increasing and, for each , increasing , all of size in their grounds. Put
Given , capture a subset-of- code for in the relative presentation over each . Include the previous and pad to size . This gives . Recode each relative block as a subset of . These subsets have one code, which can be captured in an original block containing . Because , we obtain
For the limit step, if transitive ZFC models have the same ordinals and no new countable ordinal sequences, every countable ambient sequence of members of belongs to : bound their ranks, well-order that rank segment in , and code the entries by a countable ordinal sequence. Consequently and . Put and , and form
Their complementary coordinate sets have size . Their remaining forcing is -closed, so both and are closed under countable ambient sequences of their own elements.
By (67), contains each partial generic function . It contains their countable sequence and its union, which reconstructs the full generic on . Hence . Conversely, contains each relative function , its sequence, and its union; it also contains . Thus . We have for every .
Recode the -generic in as one Cohen generic , and recode the original -generic in as . The remaining columns show that is good. To include a family of hereditary-small parameters, first combine their relation codes into one subset of .
Good points on a ground Cohen tree
For take and . For , fix a ground tree isomorphism and put . In either case is the full ambient branch space. Its basic cylinders are , for . A fixed ground indexing codes its nodes and branches by subsets of ; if the original nodes have higher rank, retain the ground decoding map as an ordinal-definable parameter. In particular and every ambient branch is present there.
The tree forcing is equivalent to . For this is immediate. For uncountable , concatenate the words , , to identify the successor-length nodes of with a dense set of binary strings. Regularity keeps each short concatenation below length . This identifies the forcing presentations and their generic extensions.
For a good and positive finite , let
All short nodes and partial-function conditions are unchanged in the relevant extensions. The relation in (68) is an ambient OD set with hereditary entries in , so it too belongs to . Inside we use the relation formed in , so no computation of the mantle inside is required. Whenever forcing relations are taken, expand the original ambient definitions; Lemma 2.2 keeps their ground predicate equal to in each relevant ZFC extension.
Lemma 12.13. The good points have the following properties.
(i) If is a one-Cohen extension and both are good bases, then .
(ii) For positive finite ,
The model on the right is a good base after a ground recoding as one Cohen extension of .
(iii) Every nonempty basic open subset of meets .
Proof. For (i), the pair is product generic over . Its ground forcing factors are unchanged, so we may reverse their order. Over , adding and then forcing with the full tail is equivalent, by reindexing, to forcing with a full -column tail. This gives (i). For (ii), use the product forcing theorem. In the forward direction the finite -factor can be absorbed into the remaining full tail. In the reverse direction the asserted joint genericity and actual tail are precisely (68). The forcing adding and over is equivalent to one Cohen column.
For (iii), factor an actual full-tail presentation over into and a full tail. A tree cone is isomorphic in the ground to the entire tree, so the distinguished generic can be placed in any prescribed product of cylinders while preserving the intermediate extension and its remaining tail.
Definition 12.14. For each positive finite , define in
We abbreviate to .
Proposition 12.15. The are proper ideals in , closed under unions of at most members, even when the family is initially given in . They contain every -set covered by at most nowhere dense sets and contain no nonempty open set. They are invariant under permutations of the finite coordinates and under ground tree automorphisms.
Proof. For a family , , choose witnessing good bases in . A common base from Lemma 12.12, together with Lemma 12.13(i), has good points avoiding every . The union belongs to by Lemma 12.9. This proves closure under these unions. Downward closure is immediate. Part (iii) of Lemma 12.13 proves positivity of nonempty basic open sets, hence properness and positivity of every nonempty open set.
A closed set is coded by a subset of the ground basis, which has size . Capture the codes of closed nowhere dense covers in one good base. Their nowhere denseness is absolute: every basic condition has a stronger one avoiding the coded set, and all these conditions are unchanged. Generic tuples over that base avoid the covers, proving the assertion for nowhere dense sets. Ground tree automorphisms and coordinate permutations preserve genericity and the generated intermediate extension. They therefore preserve the good points over each ground containing their codes, and hence preserve the ideals.
The same argument applies to any tree automorphism coded by a subset of : first capture its code in a common good base. In particular it applies to the ground XOR translations used below. Also . Consequently, for every nonempty basic open ,
Otherwise, taking the union with that complement would put in the ideal.
Regular-open traces and the product theorem
Theorem 12.16. For every in there are a good base and a regular open set , coded in , such that
In particular .
Proof. Capture the hereditary-small parameter defining , and retain its ordinal parameters, in a good . Expand every ambient class definition before taking forcing relations. The actual full tail over is homogeneous. Since the definition is unique in , its uniqueness and the relevant type of its value are forced by the greatest condition.
Factor the tail as followed by a full tail. In the first forcing, take the Boolean value of the assertion that the top of the remaining tail forces the distinguished tuple to belong to the defined set. Represent it by the regular open set in the completion of . Its code is a subset of a basis of size . Its interpretation in is still regular open, because closure and interior of this coded open set are computed by compatibility and refinement among the unchanged basic conditions.
For each , the ambient universe is a full tail extension of . Homogeneity and the two forcing theorems therefore identify membership in the actual with membership of in . The set where the two memberships differ misses and therefore belongs to the ideal.
Corollary 12.17. If belongs to and is positive on a nonempty basic open set , there is a nonempty basic such that . Every -function with range of ambient size at most is constant modulo on a smaller basic open subset of any given nonempty basic open domain.
Proof. A regular-open trace of must meet , since otherwise would be small. Choose inside their intersection. For a function, its at most fibers cannot all be small on , by Proposition 12.15; apply the first assertion to a positive fiber. An ambient enumeration of its small range belongs to by Lemma 12.9.
Theorem 12.18 (Finite-product category theorem). For in , where are positive finite,
Proof. If misses , then for every its section misses , by the product law. This is a good base, so the section is small. The set of positive sections consequently misses .
Conversely, a positive has a nonempty regular-open trace. Choose a nonempty basic rectangle inside this trace. For , the product law gives
The left side is positive by (69). Thus the set of positive sections contains , itself positive. This proves the converse by contraposition. All sets of sections used here belong to by separation from the ideals already constructed there.
Uniformization with arbitrary codomain
Theorem 12.19. Suppose , , and every section of is nonempty. There is a partial function uniformizing such that . More precisely, its domain contains for some good base .
Proof. Capture the definition parameters of in a good , retaining their ordinal parameters. Expand ambient class definitions before forcing. By homogeneity, the greatest condition forces their membership in and the nonemptiness of all sections.
Present the tail as . The evaluation (63), after coding its hereditary-small parameter by a subset of , has the form . The maximum principle gives names and such that the top forces
The -cc bounds the possible values of by a ground set of size at most . Enumerate it by and replace by , taking the least suitable index. Nice names for use at most tail columns. Pass to the extension by their actual generic , keeping the distinguished tree factor in the remaining forcing. The new base is good, since a nonempty captured block recodes as one Cohen column and columns remain. This also holds for singular .
Over , the retained names are -names. Indexing the unchanged tree conditions by makes their nice-name reading tables hereditary of size at most , hence members of . For trees with higher-rank nodes use the fixed ground decoding map. Evaluate the tables at the initial-segment filter of , leaving invalid readings undefined, to obtain . These readings are correct at every -generic branch. The ordinal table is definable from and ordinals by Lemma 2.2. Consequently
defines an partial function when its value is retained precisely if it exists, belongs to the actual , and witnesses the actual . Its arguments and values are hereditary members of that class, so .
The Boolean value of (70) remains one after passing to the new base. For , the first forcing theorem says that the residual full tail forces the retained reading to witness . The ambient universe is such a tail extension of . Thus , proving the claim.
The ordinary Cohen case
Specialize the preceding construction to , , and write and . Taking gives the stated version below. Addition on is coordinatewise modulo two. For , let be the tuples in that are not jointly Cohen generic over ; equivalently, they lie in a meager Borel set coded in . Define in
The actual non-genericity relation is formed in using the stable ground predicate and belongs to ; no internal computation of the mantle is intended.
Theorem 12.20 (The Cohen category environment). In the stated -extension, the following hold, with (ii)–(v) interpreted in .
(i) is a transitive model of and contains all the reals of . In fact, it is closed under countable -sequences of its elements.
(ii) For each positive integer , is a proper -ideal containing every ordinary meager set in and containing no nonmeager Borel set. It is invariant under translations of and permutations of the coordinates.
(iii) Every in differs from a Borel set by a member of . (iv) For positive integers , and in ,
In particular, if every section is in , then .
(v) If , , and every section of is nonempty, there is a function uniformizing on a domain with .
Proof. For a good base , its good points are exactly its actual Cohen-generic tuples in : apply Lemma 12.11 to the full tail over that base and the real coding the tuple. Moreover, any real is captured by an original countable block, whose recoding is good. Thus . Conversely, every good is a real. Consequently (70) is precisely the ideal of Definition 12.14.
Now (i) is Lemma 12.9; (ii)–(v) follow from Proposition 12.15 and Theorems 12.16, 12.18 and 12.19. A nonmeager Borel set cannot lie in : modulo a meager Borel set it contains a nonempty open set, and the ideals contain all meager sets and no nonempty open set. Translation by any real tuple is a coded homeomorphism preserving genericity over a base capturing that tuple, so the symmetry assertion applies.
We will also use the following trace description. If is defined from and ordinals, then some regular open coded in satisfies
Indeed, the proof of Theorem 12.16 only needs a full homogeneous tail over the base, which Lemma 12.11 supplies over and over . In particular .
Corollary 12.21 (Local decisions). Let belong to , and let be a nonempty basic cylinder. If , there is a nonempty basic cylinder such that . Consequently every function in with standard finite range is constant modulo on some subcylinder of any prescribed nonempty basic cylinder.
Proof. Apply Corollary 12.17 at .
The category Scott obstruction
Work in with the notation of Theorem 12.20. A statement holds on modulo when its exceptions in belong to ; a set is conull when its complement belongs to .
We use in its conservative definitional expansion by , with induction for bounded formulas in the exponential language; see [ref-1], Section 1.1. Binary digits are boundedly definable, for example by
For EFA, means the family of binary-coded traces , as ranges over . No equivalence with traces of arbitrary unbounded formulas is required.
Theorem 12.22 (The Cohen Scott obstruction). There is no model of such that
By Theorem 12.7, any such model has a canonically definable EFA initial substructure with the same binary standard system. It suffices to exclude that substructure. We therefore work with EFA models throughout the proof below; the metatheory is ZF. The proof uses only the preceding category environment, so we may work over its fixed stable ground . The arithmetic strategy follows [ref-14]. Local uniformization and Kuratowski–Ulam turn pointwise arithmetic overspill into a bound on a nonempty open set. Periodic translations then give a countable coinitial sequence in the nonstandard part. A repeated schedule of basic open sets produces infinitely many arithmetic blocks, from which one formula defines the standard cut.
Local overspill
A basic cylinder always means a nonempty set of the form , where . We use Corollary 12.21: a positive subset of a cylinder is conull on a smaller cylinder, and a function with standard finite range is constant modulo on some smaller cylinder.
Lemma 12.23 (Local overspill). Let be a nonstandard model of EFA, and identify with its standard copy in . Suppose belongs to and, outside a set in , every admits a nonstandard such that
For every basic cylinder there are a nonstandard and a basic cylinder such that
The same assertion holds for a space with a basis of positive open sets and ideals , provided conull uniformization, local decision, Kuratowski–Ulam, and invariance under transposition hold and nonempty basic rectangles are positive. One may replace by any final segment of positive arithmetic elements closed under .
Proof. Conull uniformization gives a function whose bound works outside a set in . To apply uniformization to a relation with all sections nonempty, use a fixed nonstandard default value where no bound exists; use the same default off the resulting conull domain.
For nonstandard , put . Suppose that for every such , and consider
For each , the element is nonstandard. Thus every vertical section of belongs to , and Kuratowski–Ulam gives . Coordinate-permutation invariance gives as well. But : of two positive integers in , at least one exceeds half the other. This contradicts the fact that the nonempty open rectangle does not belong to .
Consequently is positive for some nonstandard . Local decision gives a basic on which modulo . Discard also the exception to the chosen bound property, and take . The proof uses only the stated properties and therefore proves the general form as well. If a suitable function is already given, no uniformization assumption is needed.
To prove Theorem 12.22, suppose that is an EFA model with full standard system. It is necessarily nonstandard. Uniformize the coding relation to obtain a conull and a function in such that codes . Extend to by a fixed default value. Write for the assertion that the th binary digit of is one, and put
For every , all its standard bits are correct simultaneously:
Here and below arithmetic positions such as denote their images in .
For finite binary words , with nonempty, is the ordinary eventually periodic real. The notation denotes the corresponding arithmetically defined pattern on all positions of ; it is not an assertion that an integer codes an infinite periodic string.
Lemma 12.24 (Local periodic overspill). For every such and every basic cylinder , there are a nonstandard and a basic such that
holds on modulo . Addition of reals is Cantor-group addition, and on the right is addition of bits modulo two.
Proof. Discard the two coding exceptions and its translate by . They belong to by translation invariance. For each remaining , the displayed identity holds at every standard position by equation (75). For this fixed , the identity is a bounded formula of the exponential language, using only the two integer codes and the finite periodic pattern as parameters. Division by the positive standard length of defines the periodic part by a bounded formula. Choose any nonstandard cutoff. Either the identity holds below it, or bounded minimization gives its least failure below that cutoff. This least failure is nonstandard, and the identity holds below it. Thus bounded induction alone gives the required pointwise nonstandard bound. Apply Lemma 12.23 to make one bound work on a subcylinder modulo .
A countable coinitial sequence
Let
For , define to be the least such that , if such an exists, and put otherwise. The least witness is obtained by bounded minimization: both bits vanish above , so it suffices to search below . The symbol is a formal value larger than every element of . For each basic cylinder , set
These are final segments of the nonstandard part.
Lemma 12.25. Every is proper, and
Consequently contains a strictly decreasing coinitial sequence in .
Proof. Apply Lemma 12.24 for inside . On a basic , modulo , the two strings agree throughout for some nonstandard . Thus there. Since is positive, . This proves and hence properness. Suppose equation (78) fails, and take a nonstandard outside the union. Apply Lemma 12.24 for to obtain a basic and nonstandard on which
modulo . Choose a nonstandard with . By local decision, refine to a basic cylinder on which is constant modulo .
The translations tend to zero. For every sufficiently large standard , vanishes on the prefix defining , so . Outside the constancy exception and its translate, both of which belong to , we have
This bit differs from modulo on . Since is nonstandard, , and therefore on modulo . It follows that , whence by finality, a contradiction.
There are only countably many pairs . Enumerate their proper final segments as , and use countable choice in to choose . The sequence is coinitial: if , finality and give . Define
All these elements are nonstandard and the sequence strictly decreases. It is coinitial because . The use of countable choice is justified by DC in .
Infinitely many successful blocks
The proof below requires only a real-coded nonincreasing coinitial sequence. We use a strictly decreasing one for convenience. Fix the sequence from Lemma 12.25 and a sequence of basic cylinders in which every basic cylinder occurs infinitely often. Put
The internal periodic pattern has exactly two zeros in each interval of length , separated by .
Lemma 12.26. There are a real , strictly increasing indices , and with such that, writing , the following hold. The successive gaps in the ordinary zero set of are nondecreasing and unbounded. For infinitely many standard , the strings and agree at exactly two positions in , separated by .
Proof. Construct finite words , beginning with . Given , let . Local periodic overspill inside gives a basic and a nonstandard on which the comparison equation (76) for holds below modulo . By coinitiality choose , larger than all previous indices, such that
This is possible because is nonstandard.
The map
has standard finite range. Refine to a basic cylinder on which has one constant value modulo . Let be the length of the prefix defining . Choose an integer with , and set
Dependent choice carries out this recursion in . Since , the union is a real, and
Put . By equation (83), fixes under translation. Let be the exception to the chosen constant value of . Then , and for ,
Combining this equality with the periodic-overspill comparison on , we obtain, on modulo ,
The position is nonstandard and hence lies beyond the standard finite prefix . Thus the agreement positions in this interval are exactly the two zeros of the periodic pattern, at distance .
For every standard , the set
is dense open. Indeed, every basic cylinder occurs as for some , and contains that stage’s nonempty . Consequently is ordinary comeager. For each , the failure set of equation (85) inside belongs to : it is contained in the two translated constancy exceptions and the periodic comparison exception. Remove their countable union, together with the two coding exceptions for and . The complement of is meager and also belongs to . Since is proper and closed under countable unions, there is some in outside all these exceptional sets.
This belongs to infinitely many , so infinitely many blocks satisfy the required comparison. Finally, equation (82) shows that the gaps between successive zeros of are , each repeated a positive finite number of times. Within stage the gaps are , and the gap to the first zero of the next stage is also .
Defining the standard cut
Proof of Theorem 12.22. Assume that has full standard system, and carry out the preceding constructions. Take from Lemma 12.26, and let and . Define the arithmetic set
Define the bounded formula
It says that are consecutive agreement positions. Consider
This compares every earlier consecutive gap with every later one, using addition instead of subtraction. After expanding and , we obtain a bounded formula with parameters . At standard positions, equation (75) identifies with the ordinary zero set of . Its gaps are nondecreasing, so holds for every standard .
Let be nonstandard. Since is decreasing and coinitial, eventually . Every standard is also less than . Choose a sufficiently late successful block; then . Its two agreement positions are nonstandard, consecutive in , and satisfy . The ordinary zero gaps of are unbounded, so choose standard consecutive agreement positions with . All four positions lie below , and . They violate the inequality in equation (87). Hence fails for every nonstandard .
We have proved externally that . In particular, and . Bounded induction for , with parameters , yields , contradicting nonstandardness.
A Borel obstruction for a finite fragment
A coded Borel quotient presentation consists of a Borel domain , a Borel equivalence relation on , and Borel operations and relations on representatives which respect and induce a first-order structure on . Constants are given by distinguished representatives. Ordinary Borel presentations are the special case in which is equality. All Borel sets and maps in this subsection are given by real codes.
The proof uses the following facts about real codes. We state their metatheoretic strength because it is part of the theorem.
Lemma 12.27 (Coded category toolkit). The following uniform statements are provable in .
(i) If a coded Borel relation has nonempty sections, there are codes for a comeager Borel set and a Borel map on which uniformizes .
(ii) From a sequence of coanalytic codes one can uniformly obtain Baire-property data. In particular, if their union contains a comeager set, then in every nonempty basic cylinder one member of the sequence is comeager on a smaller basic cylinder.
(iii) For every uniformly nonempty sequence of relations, one real codes a sequence of witnesses. Ordinary countable recursions using uniform code operations and least natural-number choices likewise have single real codes.
Proof. Borel evaluation and the usual operations on Borel codes are available already in . For (i), use the coded Jankov–von Neumann construction. For each basic open set in the range, replace the corresponding selector preimage by an open set modulo a coded meager set. Deleting the union of these countably many errors leaves a coded comeager set on which the selector is Borel. It may in fact be taken continuous relative to its domain. The same uniform Baire-property construction for coanalytic codes proves (ii). If every member were meager in a given cylinder, the coded union of their meager hulls would make that cylinder meager. The first assertion of (iii) is choice, which is provable already in [ref-29], Theorem V.8.3; the recursion assertion is the usual arithmetical recursion on the joined codes. These are the coded forms of separation, uniformization, and the Baire-property theorems developed in [ref-29], Sections V.3 and VI.2.
Theorem 12.28 (Finite-fragment Borel obstruction). There are a fixed bounded formula and a fixed finite subtheory of the usual axiomatization of such that proves that no Borel quotient presentation of an -model has every real as a -trace. In every -model the -traces are exactly the binary standard system. Consequently the same theory proves that no Borel quotient presentation of an -model has full binary standard system.
Proof. We first prove the obstruction, identifying each arithmetic axiom as it is used. We then collect these axioms into a finite subtheory. Fix the partial-exponentiation graph from section 12.2. For definiteness, put
The discretely ordered semiring axioms prove that , and hence , is injective and that . Put
Division with unique remainder makes this a two-valued decoder. The bounded formula
has an induction instance which proves existence of quotient and remainder; uniqueness follows from the discretely ordered semiring axioms. We first convert the binary standard-system hypothesis to this decoder without assuming total exponentiation.
For a finite binary word of length , put (with ). The moduli , , are pairwise coprime. Indeed, a common divisor for the th and th moduli divides , is coprime to , and therefore divides ; since divides , the th modulus is congruent to modulo . Thus the common divisor is . The Chinese remainder theorem supplies whose remainder at the th modulus is . Choose the least such below the product of the moduli. This is a bounded search, so is primitive recursive.
Define the fixed bounded formula for binary coding by
Functionality, the base value, and the successor law for imply in that, for every standard , this is equivalent to . The weaker fragment below requires no property of , since its fullness hypothesis is stated directly in terms of -traces. For let
Fullness for gives whose standard -trace is . Since the displayed support is unbounded and includes , the element is nonstandard.
Write
Thus chooses the least marked record in a row. Let be the bounded formula asserting that , that every row has a row pair , and that whenever , their selected pairs have the same values at every . Explicitly, its last clause is
This predicate is downward closed and holds for every standard . For a standard row the intended record is standard, and every smaller record is standard, so the Bin-trace of identifies the intended pair. Put
But fails. The induction instance for gives a least at which fails. The element is nonstandard, and its predecessor is a nonstandard good row. If is the pair in row , comparison with the standard row gives
Thus fullness for Bin implies that every real has a remainder code . In particular the model is nonstandard. Fix one nonstandard element for the least-failure arguments below.
Now let be the presented model. On representatives, is analytic, since the quotient witness in (Rem) is existentially quantified. Its complement is analytic as well. The part with is Borel, and on division supplies with
and uniqueness makes this equivalent to failure of . Analytic separation therefore gives a Borel code for , uniformly from the presentation. Consequently
is Borel and has nonempty sections by (92). Jankov–von Neumann uniformization and Baire regularization give a comeager Borel set and a Borel map uniformizing . Extend by a fixed value off , and set
This relation is Borel in , and for and standard .
The set of representatives of nonstandard elements,
is Borel, and the reverse of the arithmetic order is a Borel linear quasiorder on it. We use the following coded consequence of the Harrington–Marker–Shelah theorem. In , every real-coded Borel linear quasiorder has a real-coded countable cofinal sequence. Indeed, Marcone’s formalization of the representation theorem gives, already in , a coded countable wellorder and a Borel strong order-preserving map
[ref-25]; see also the original theorem [ref-13]. The coded lexicographic argument is as follows. Follow the lexicographically highest extendible branch . If for some , then is cofinal. Otherwise let be the first limit initial segment at which extendibility fails, and fix a coded increasing sequence cofinal in . For every , the Borel set
is nonempty. By choice [ref-29], one real codes a sequence . The first-difference argument shows that is cofinal in the image, and strong order preservation shows that is cofinal in . Applying this lemma to the reverse order gives a real-coded coinitial family in the nonstandard part. Put
retaining the first representative which attains the minimum. Then is a nonincreasing coinitial sequence, obtained by finite comparisons and without choosing new representatives.
We next prove a Borel version of Lemma 12.23. If is eventually periodic, with , choose standard remainder codes and for the prefix and period, and put . The fixed bounded formula
defines the corresponding internal periodic predicate . Division supplies a unique residue modulo the fixed positive standard number . Thus is Borel on representatives, since this predicate and its complement are analytic by the argument used for . If are two remainder-code pairs, let
where abbreviates , and set
For , standard correctness gives
The induction instance for gives, for each , a nonstandard bound below which the identity holds. Indeed, below a fixed nonstandard cutoff, either there is no failure or there is a least one, which must be nonstandard. Hence the coanalytic sets
cover the comeager set . In every nonempty basic cylinder , some is nonmeager. The Baire property for coanalytic sets therefore gives a nonempty basic on which the identity below holds comeagerly. This gives the required local common bound without selecting overspill bounds.
We can now repeat the block construction in the proof of Lemma 12.26, with the meager ideal in place of and in place of . At stage take
and apply the preceding paragraph to inside the th cylinder of a schedule which repeats every basic cylinder infinitely often. It gives a subcylinder and a nonstandard on which the periodic comparison holds comeagerly. Choose an increasing such that, for ,
The finite-valued Borel map
is constant on a comeager part of a smaller basic cylinder . Extend by a positive finite number of copies of far enough to cover the prefix defining . Exactly as in (82)–(85), the union of these prefixes and the Baire category theorem supply an such that and unboundedly many stages are successful. At every successful stage the two internal strings agree at exactly two positions in , and these positions are consecutive and separated by . The successful block positions are coinitial. Once , every sufficiently late is below , while the standard is below the nonstandard element .
Write and , and define the fixed bounded predicate
Use the formula and the four-endpoint gap formula from (87). At standard positions is the zero set of , whose successive gaps are nondecreasing and unbounded, so holds for every standard . If is nonstandard, choose a sufficiently late successful block below . Its consecutive agreement points have gap . A standard construction stage supplies an earlier consecutive standard gap , and all four endpoints are below . Thus fails. The extension of is exactly the standard cut, contradicting the one induction instance for this fixed bounded formula.
The proof uses only finitely many first-order axioms. In the standard presentation
where is the fixed finite theory of discretely ordered commutative semirings, take to be together with exactly four universally closed induction instances: induction in for from (90), induction in for , induction in for , and induction in for . Division uniqueness, the polynomial-record facts, and the elementary arithmetic of standard finite intervals are already provable in . Thus is a finite subset of the axioms of . For any other conventional finite base, take the union of the finitely many axioms occurring in fixed proofs of the required facts together with the four displayed induction instances. Hence the conclusion that a finite fragment suffices is independent of the choice of finite base.
All the descriptive-set-theoretic objects in the proof have uniform real codes. Analytic separation gives the Borel code for ; parts (i) and (ii) of Lemma 12.27 yield the codes for and the local common bounds; the Harrington–Marker–Shelah representation followed by the coded lexicographic lemma yields the coinitial sequence; and part (iii) codes the countable block recursion and all of its choices and error sets. The representation theorem is formalizable in by Marcone [ref-25]. Since satisfaction of the fixed finite theory expands as a finite formula about the presentation code, the whole assertion is one sentence of second-order arithmetic, with no third-order satisfaction predicate.
Remark 12.29. The forcing-theoretic transfer arguments above use the canonical exponential cut. In Theorem 12.28, we instead obtain the coinitial sequence from the Borel order itself. Partial exponentiation occurs only in the fixed bounded trace formula used to produce remainder codes.
The obstruction at
Continue with , where adds Cohen reals, and .
Theorem 12.30 (No small definable model with full standard system). In there is no model of with and .
Proof. The domain is an set of size at most . A sequence of fewer than reals is coded by one real, so Theorem 8.14 implies that every domain element is . By Lemma 12.2, an isomorphic structure belongs to . Absoluteness of satisfaction makes it a model of there.
The models and have the same reals, because each real is hereditarily definable from itself. Every such real is coded in , hence by the corresponding element of . This element belongs to , and the bit coding relation is absolute. Thus regards as having full standard system, contrary to Theorem 12.22.
Corollary 12.31 (Absence of definable saturated copies). For every complete consistent , its saturated model of cardinality exists in and has no copy there. In particular it has no copy.
Proof. The extension satisfies , so . Standard saturation theory gives a saturated model of of cardinality , unique up to isomorphism. For every real , the type
where tests the residue modulo the standard integer , is finitely satisfiable by standard integers. Saturation realizes it, so the model has full standard system. Apply Theorem 12.30.
The arithmetic obstruction after random reals
For the random analogue we use an additional parameter. The members of a small definable family are definable from reals and one fixed orbit of generic filters, although they need not be individually real-ordinal-definable. The hereditary class defined using this orbit has the probability and uniformization properties needed below.
Theorem 12.32. Let , where adds random reals. There is no model of , on any domain, such that
Here the standard system is defined by binary coding. The same conclusion holds with replaced by any .
We prove the stated generalization. Write for the probability algebra, for its probability, and . Fix a ground ordinal coding of and, in , put
The parameter is fixed throughout; it need not belong to . Its canonical name is fixed by every member of .
Small-index supports and descent to the orbit
Lemma 12.33 (Local patching). Let be a separable complete probability subalgebra. If and satisfy
there is agreeing with on the entire principal algebra .
Proof. For every , the two sides of equation (95) have equal measure. Consequently
is a well-defined measure-preserving isomorphism of the restricted -algebras. Unless , their ambient complementary principal algebras have the same positive total measure and relative type over these separable bases. After normalizing the measures, [ref-9], 333C(b) extends the displayed map to the whole complements. Paste this extension with . The result fixes . If , the hypothesis already says that fixes .
Lemma 12.34 (Descent to one orbit). Every member of every family of size at most in belongs to .
Proof. First suppose that a ground name is fixed modulo forced equality by every member of fixing a countable coordinate factor . We recover from , the real coding , and ground ordinal codes. Evaluate at all filters coded by whose restriction to is this same filter. The value at occurs. For another such filter , equality of the two restricted filters holds below some ; thus
After applying , this is equation (95). Choose agreeing with on . Then , whereas invariance of gives . The proposed evaluation therefore has one value. Stable ground codes, supplied by Lemma 2.2, make it a definition in . Local patching is needed because agreement of two actual generic traces does not imply that fixes globally.
Now let be the given family. Capture its real definition parameter and a condition forcing the definition, nonemptiness, and the size bound on a countable ground coordinate set . Below this condition use the named family, and elsewhere use a fixed singleton. The resulting everywhere nonempty family name is invariant under . The set of classes of its member names modulo equality forced by has ground cardinality at most . To see this, choose a forced enumeration by . Every member name is a countable Boolean mixture of entries of this enumeration, and there are at most
such mixtures. The indicated group acts on this ordinary ground set. Each point stabilizer has index at most , so Lemma 9.19, with constants for the finite-cylinder algebra on , gives a countable factor whose fixer fixes that member name. Apply the first paragraph to each member.
The hereditary model and its probability
Put , and use addition modulo two on . All definitions in equation (94) are made in the ambient model .
Lemma 12.35. is a transitive inner model of , contains every real of , and is closed under countable -sequences of its elements. Also for every real . An structure with pointwise domain has an isomorphic copy belonging to .
Proof. Apply Lemmas 12.1 and 12.3 with and the fixed anchor . The closure hypothesis follows from ccc and stable ordinal codes for ground enumerations. For every real , the intermediate model is a set-forcing extension of ; its objects have definitions from and ground ordinal codes, by Lemma 2.2. Its transitivity therefore gives . The copy assertion is Lemma 12.2, which does not require .
The next lemma allows us to obtain traces at every random real from the traces at coordinate generics.
Lemma 12.36 (Realizing a random real locally). In a homogeneous random extension of uncountable type over any ground , let be a fixed coordinate real. Every real in the extension that is random over is the actual value of for some measure-preserving ground automorphism supported on countably many coordinates. The same holds for finite tuples of jointly random reals.
Proof. Read as a ground measurable function of countably many coordinates, and let be its distribution. Write the absolutely continuous part as , and choose a ground -null Borel set carrying the singular part. Since is random over , it avoids and the null exception to finiteness of . For some positive integer the event belongs to the actual generic. The marginal of restricted to is bounded by . Split into equal slices using a fresh independent uniform variable, and select the slice in the generic. Increasing first if necessary ensures . Then
On , use a second independent uniform variable to sample . Pasting this sample with on gives a ground random variable of distribution exactly whose actual value is .
Take a countable coordinate factor containing all coordinates used, , and a further independent atomless variable. Conditional on , this factor is atomless because the last variable remains independent. The standard relative product theorem identifies the factor with the product of the -factor and a standard atomless factor, and also with the product of the -factor and its complement; see Lemma 5.4 and [ref-4]. The resulting isomorphism sends to . Extend it by the identity on the other coordinates. The slice containing the actual generic was selected externally, but every candidate map belongs to the ground. For finite tuples, use the standard finite product probability as the target marginal in the same construction.
Lemma 12.37 (Universal Borel traces). For each belonging to , there are a countable coordinate intermediate ground and a Borel set coded in such that
The ground can be enlarged to include any prescribed real parameter.
Proof. Capture the real definition parameters and a suitable forcing condition on a countable coordinate set . Every new measure-preserving tail automorphism over fixes the interpreted anchor. To prove this, take a name for the map, extend it by the identity off a condition, and lift it to the ground iteration while fixing . Preservation of conditional probability, followed by integration over , makes the lift measure-preserving. It therefore fixes the canonical name of . This is also the scalar case of Lemma 9.11.
Choose fresh coordinate reals . The Boolean value of is fixed by every measure-preserving map on the remaining coordinates, so belongs to the factor generated by . Indeed, conditional on that factor, the remaining product has no nonconstant event invariant under all its finite flips. Represent this Boolean value by a Borel set over . For any actual jointly random tuple over , Lemma 12.36 supplies a relative measure-preserving map taking to at the generic. This map fixes and the Borel code. Applying it to the Boolean identity proves the asserted equivalence. The argument works after any further countable capture.
Proposition 12.38 (The probability environment). Inside , every subset of has a countably additive, translation-invariant probability extending the usual Borel probability. There are compatible finite-product probabilities satisfying Fubini, and every set differs from a Borel set by a null set. Every relation in with nonempty sections has, in , a uniformizing function on a conull subset of .
Proof. Let denote the tuples of reals in that are not jointly random over . Define in
Joining a countable sequence of parameters into one real, using Lemma 12.35, shows that this is a -ideal. It contains the usual null Borel sets and contains no positive Borel set. For the latter assertion, capture a Borel code and in a countable coordinate model. Among countably many fresh independent tuples, some belongs to the positive Borel set, and every such tuple is jointly random over that model. By Lemma 12.37, every differs from a Borel set by a member of . Thus
is well defined. Its null ideal is exactly , since a null Borel trace can be included in the exceptional ideal by adjoining its code. Simultaneous traces over a joined real parameter give countable additivity. Including a translation parameter in the trace ground gives translation invariance.
We must check that the ideals and measure graphs belong to . Interpret in using stable ground codes. Membership in is uniform in . Range over ground names for reals and the complete subalgebras generated by their bit values. Ground Borel operations recover from the generic trace that gives it as a value. Each resulting intermediate model is by the intermediate model theorem. The ground names are quantified over, so no further parameter depending on is introduced. Consequently and the graph in equation (96) belong to . Their entries and all their transitive constituents belong to , since and the values of are reals. Hence both graphs belong to .
For Fubini, choose a joint trace of over a countable coordinate ground . If is random over and is random over , the pair is jointly random over . The section therefore differs from only on . Its section measure agrees with the Borel section measure for -almost every . Ordinary Borel Fubini gives Fubini for the probabilities . Here for a real code of the captured generic. All these assertions hold internally in , since its countable sequences are actual sequences and it has all the ambient reals. The same trace argument shows that finite-valued functions are approximable in measure by functions of finitely many bits, and that
For uniformization use the witness-code construction in Theorem 12.19, now with from (62). Capture the definitions and a condition forcing nonempty sections on countably many coordinates, and choose a fresh coordinate . The maximum principle selects a real name and an ordinal name coding a witness for . The real name has countable support; ccc replaces the ordinal name by an integer index in a countable ground ordinal table. Pass to the intermediate model containing their coordinates other than . Over this countable coordinate ground , the remaining names have Borel readings. Evaluate those readings and keep a value precisely when it belongs to the actual and witnesses the actual . The reading codes and the stable ordinal-table code make this an partial function, and its graph is hereditary, hence in . Its failure set has zero Boolean value at . Apply the proof of Lemma 12.37 over this same , with as the distinguished coordinate. Local realization transports the zero failure identity to every real random over , since the relative measure-preserving maps fix the anchor and the reading codes. The failure set is therefore contained in , hence belongs to . Thus the domain is conull. □
The measures just constructed are extensions on all the subsets belonging to . Their null sets need not be null for ordinary ambient outer measure.
The probability Scott argument
We now prove the probability counterpart of Theorem 12.22. The probability argument supplies arithmetic blocks to which the same final bounded formula applies.
Lemma 12.39 (The probability Scott obstruction). Suppose a transitive model of has the probability and uniformization properties of Proposition 12.38. It has no model with full binary standard system.
Proof. Work in this model and write . If a counterexample exists, Theorem 12.7 gives a canonical nonstandard EFA cut with the same binary standard system. Write for this cut. Uniformization gives a function whose value codes on a conull set . Extend it by a fixed value off its original domain. Put
For , all standard bits are correct simultaneously. The arithmetic operations and bounded overspill used below are exactly those justified in the proof of Lemma 12.24.
We first need a measure form of overspill. Suppose that for almost every there is a nonstandard with for all . Uniformize these bounds, taking nonstandard defaults on the exceptional set, to obtain . Choose with . Among independent samples, the events that a specified sample has the unique strict minimum -value are disjoint and equimeasurable. Hence
Fubini supplies a fixed tuple for which the corresponding section has measure less than . For , which is nonstandard, the bound therefore holds with probability greater than .
References
No references were extracted for this paper.