Vol. 41, No. 1, 1972

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 329: 1
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
On a question of Tarski and a maximal theorem of Kurepa

James Daniel Halpern

Vol. 41 (1972), No. 1, 111–121

Let PI be the statement, “Every Boolean algebra has a prime ideal.”; let SPI be the statement, “Every infinite set algebra has a nonprincipal prime ideal.”; let K be the statement, “Every family of sets includes a maximal subfamily of pairwise incomparable (by the inclusion relation) sets.”. A model is exhibited of set theory without regularity in which SPI and K hold, PI fails. Furthermore all finitary versions of the axiom of choice fail in this model and the model contains a set which is infinite Dedekind finite in the sense of the model. A proof is given that the local version of SPI implies the axiom of choice for families of finite sets in ZF.

Mathematical Subject Classification
Primary: 02K05
Secondary: 04A25, 02K20, 02J05
Received: 5 October 1970
Revised: 9 September 1971
Published: 1 April 1972
James Daniel Halpern