Countable ultraproducts without CH
The author studies ultraproducts of countable structures (mainly \(<\omega,<>\) and \(<\omega,+,*>)\) over countable index sets. If one assumes CH then the theory is very simple: all ultrapowers of a given structure are isomorphic. Without CH things become basically untractable: CH can fail in too many ways. The author (wisely) restricts his attention to models of \(\neg CH\), obtained by adding Cohen and/or random reals to a model of CH. Especially Cohen reals allow a variety of ultrapowers: the author's section 4.12 gives a good summary. The author cleverly uses the fact that one Cohen real actually produces a perfect set of Cohen reals, to show that ground-model ultrafilers can be extended, in the extension, to ultrafilters for which the corresponding ultrapowers have prescribed saturation, cofinality and coinitiality. Random reals do not have al the flexibility of Cohen reals in this respect; the main problem is that every new function is dominated by an old one. This puts restrictions on the cofinalities and saturation one can expect. After adding random reals to a model of CH all ultrapowers will have cofinality \(\omega_ 1\). As to saturation, one gets it for types that are consistent not too high in the ultrapower. This paper is recommended to anyone interested in Cohen/random reals and ultrafiltes. Unfortunately the quality of the paper is impoverished by many misprints.
- A model of set-theory in which every set of reals is Lebesgue measurable
- Amalgamation of nonstandard models of arithmetic
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 3685475 (Why is no real title available?)
- scientific article; zbMATH DE number 3457756 (Why is no real title available?)
- scientific article; zbMATH DE number 3467030 (Why is no real title available?)
- scientific article; zbMATH DE number 3510298 (Why is no real title available?)
- scientific article; zbMATH DE number 6846220 (Why is no real title available?)
- scientific article; zbMATH DE number 3259717 (Why is no real title available?)
- scientific article; zbMATH DE number 3405929 (Why is no real title available?)
- Model theory
- Non-isomorphic hyper-real fields from non-isomorphic ultrapowers
- Partial Orders on the Types in βN
- Some points in βN
- The Shelah P-point independence theorem
- There are no Q-Points in Laver's Model for the Borel Conjecture
- Ultrafilters and Independent Sets
- Ultrafilters and Standard Functions in Non-Standard Arithmetic
- Ultrafilters on a countable set
- On indecomposable subcontinua of \(\beta{}[0,\infty{})-[0,\infty{})\)
- Game sentences and ultrapowers
- Cozzens-Faith problem on the ``countable ultrapowers of the Koifman-Cozzens \(V\)-domain
- The Glicksberg theorem for Tychonoff extension properties
- Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities
- Mathias Forcing which does not Add Dominating Reals
- On the Generic Existence of Special Ultrafilters
- Meager sets on the hyperfinite time line
- Cuts in hyperfinite time lines
- U-monad topologies of hyperfinite time lines
- Ultrafilters on 𝜔-their ideals and their cardinal characteristics
- On the cofinality of ultrapowers
- On a Spector Ultrapower for the Solovay Model
- Critical Cardinalities and Additivity Properties of Combinatorial Notions of Smallness
- Yet another ideal version of the bounding number
- A note on _1-spaces
- On the length of chains of proper subgroups covering a topological group
- Convergence of measures after adding a real
- Michael spaces and ultrafilters
- Slalom numbers
- Lebesgue measure zero modulo ideals on the natural numbers
- Spaces not distinguishing ideal pointwise and -uniform convergence
This page was built for publication: Countable ultraproducts without CH
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103612)
