Countable ultraproducts without CH
type: Item
instance of: scholarly article
title: Countable ultraproducts without CH
zbMATH Open document ID: 0646.03025
DOI: 10.1016/0168-0072(88)90048-6
author: Michael Canjar
published in: Annals of Pure and Applied Logic
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03C20
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03C15
zbMATH DE Number: 4053581
zbMATH Keywords: Cohen forcing
zbMATH Keywords: full arithmetic
zbMATH Keywords: skies
zbMATH Keywords: ultraproducts of countable structures
zbMATH Keywords: random reals
zbMATH Keywords: Cohen reals
zbMATH Keywords: ultrapowers
zbMATH Keywords: cofinality
zbMATH Keywords: coinitiality
zbMATH Keywords: saturation
MaRDI profile type: Publication
full work available at URL: 0168-0072(88)90048-6
OpenAlex ID: W2002971968
cites work: Q4606219
cites work: Amalgamation of nonstandard models of arithmetic
cites work: Q3880832
cites work: Ultrafilters on a countable set
cites work: Q5544881
cites work: Model theory
cites work: Q4052073
cites work: Q4090328
cites work: Q4043744
cites work: Q3852172
cites work: Ultrafilters and Independent Sets
cites work: Some points in βN
cites work: There are no Q-Points in Laver's Model for the Borel Conjecture
cites work: Non-isomorphic hyper-real fields from non-isomorphic ultrapowers
cites work: Ultrafilters and Standard Functions in Non-Standard Arithmetic
cites work: Q5672895
cites work: Partial Orders on the Types in βN
cites work: A model of set-theory in which every set of reals is Lebesgue measurable
cites work: The Shelah P-point independence theorem
description: scientific article; zbMATH DE number 4053581