Skip to main content Accessibility help

Small filter forcing

  • R. Michael Canjar (a1)


Qλ is the set of nonprincipal filters on ω which are generated by fewer than λ sets, for λ a fixed uncountable, regular cardinal ≤ c. We analyze forcing with Qλ, where Qλ is partially ordered in such a way that a filter F1 is more informative than F2 iff F1 includes F2. Qλ-forcing adjoins an ultrafilter on ω but adds no new reals. We analyze Qλ-forcing from a forcing-theoretic viewpoint. We also analyze the properties of Qλ-generic ultrafilters. These properties are independent of ZFC and depend very much on the ground model. In particular, we study Qλ-forcing over ground models which are Cohen real extensions, random real extensions, and models which satisfy Martin's Axiom.

In §2 we give notations and definitions, and review some of the basic facts about forcing and ultrafilters which we will use. In §3 we introduce Qλ-forcing and prove some basic lemmas about it. §4 studies Qc-forcing. §§5, 6, and 7 analyze Qλ-forcing over ground models of Martin's Axiom, ground models which are generated by Cohen reals, and ground models which are generated by random reals, respectively. Qλ-forcing over Cohen real and random real models is isomorphic to the notion of forcing which adjoins a Cohen generic subset of λ; this is proved in §8.


Corresponding author

Department of Computer Science, Mathematics and Statistics, University of Baltimore, Baltimore, Maryland 21201.


Hide All
[BL]Baumgartner, J. E. and Laver, R., Iterated perfect-set forcing, Annals of Mathematical Logic, vol 17(1979), pp. 271288.
[BT]Baumgartner, J. E. and Taylor, A. D., Partition theorems and ultrafilters, Transactions of the American Mathematical Society, vol. 241 (1978), pp. 283309.
[Bo]Booth, D., Ultrafilters on a countable set, Annals of Mathematical Logic, vol. 2 (1970/1971), pp. 124.
[Ca1]Canjar, M., Model-theoretic properties of countable ultraproducts without the continuum hypothesis, Ph.D. Thesis, University of Michigan, Ann Arbor, Michigan, 1982.
[Ca2]Canjar, M., Countable ultraproducts without CH, Annals of Pure and Applied Logic (to appear).
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.
[ER]Ellentuck, E. and Rucker, R. V. B., Martin's axiom and saturated models, Proceedings of the American Mathematical Society, vol. 34 (1972), pp. 243249.
[Je]Jech, T., Set theory, Academic Press, New York, 1978.
[Ke]Ketonen, J., On the existence of P-points in the Stone-Čech compactification of integers, Fundamenta Mathematicae, vol. 92 (1976), pp. 9199.
[Ku1]Kunen, K., Ultrafilters and independent sets, Transactions of the American Mathematical Society, vol. 172 (1972), pp. 299306.
[Ku2]Kunen, K., Some points in βN, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 80(1976), pp. 385398.
[Ku3]Kunen, K., Set theory: an introduction to independence proofs, North-Holland, Amsterdam, 1980.
[So]Solovay, R., A model of set-theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, ser. 2, vol. 92 (1970), pp. 156.

Related content

Powered by UNSILO

Small filter forcing

  • R. Michael Canjar (a1)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.