Hostname: page-component-848d4c4894-8kt4b Total loading time: 0 Render date: 2024-07-07T15:17:06.246Z Has data issue: false hasContentIssue false
  • English
  • Français

Support structures for the axiom of choice

Published online by Cambridge University Press:  12 March 2014

David Pincus
David Pincus*
Affiliation:
University of Washington, Seattle, Washington 98105
Get access Rights & Permissions [Opens in a new window]

Extract

The notion of “support” was introduced by Mostowski in [4] in order to prove that a certain universe satisfied the ordering principle but not the axiom of choice. The notion was refined in [3] and in [1] it was shown to be satisfied in a certain Cohen model of full ZF set theory. This paper is an axiomatic study of universes whose undefined relations are ∈ and a “support structure”, T.

In §2 the general theory is introduced and the universes of [4] and [1] are characterized. §3 examines a more complicated universe which will be used in [5] to show that in many cases a consistency in full ZF set theory may be proven directly by the methods of [4]. The embedding theorems of §4 are crucial to this application.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 36 , Issue 1 , March 1971 , pp. 28 - 38
Copyright
Copyright © Association for Symbolic Logic 1971

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Halpern, J. D. and Levy, A., The Boolean prime ideal theorem does not imply the axiom of choice, Proceedings of the 1967 UCLA Summer Institute on Set Theory, pp. 83–134.Google Scholar
[2]Jech, T. and Sochor, A., On θ model of the set theory, Bull. Acad. Polonaise Sci. Sec. Sci. Math., Astr. Phy., 14 (1966).Google Scholar
[3]Levy, A., The interdependence of certain consequences of the axiom of choice, Fundamenta Mathematicae, vol. 54 (1964), pp. 135–157.CrossRefGoogle Scholar
[4]Mostowski, A., Über die Unabhängigkeit des Wohlordnungssatz vom Ordnungsprinzip, Fundamenta Mathematicae, vol. 32 (1939), pp. 201–252.CrossRefGoogle Scholar
[5]Pincus, D., Zermelo-Fraenkel consistencies by Frankel-Mostowski methods, to appear in this Journal.Google Scholar
[6]Shoenfield, J. R., Unramified forcing, Proceedings of the 1967 Summer Institute on Set Theory, pp. 357–381.Google Scholar
[7]Solovay, R. M. and Scott, D., Boolean valued models of set theory, Proceedings of the 1967 Summer Institute on Set Theory, lecture notes, University of California, Berkeley, California, U.S.A.Google Scholar