The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice

&
Mathematical Logic Quarterly 42 (1):410-420 (1996)
  Copy   BIBTEX

Abstract

Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2math image and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420133

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Boolean prime ideal theorem and products of cofinite topologies.Kyriakos Keremedis - 2013 - Mathematical Logic Quarterly 59 (6):382-392.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
A geometric form of the axiom of choice.J. L. Bell - unknown
The independence of the prime ideal theorem from the order-extension principle.U. Felgner & J. K. Truss - 1999 - Journal of Symbolic Logic 64 (1):199-215.
On vector spaces over specific fields without choice.Paul Howard & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (3):128-146.
Review: J. D. Halpern, H. Lauchli, A Partition Theorem; J. D. Halpern, A. Levy, The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
The dense linear ordering principle.David Pincus - 1997 - Journal of Symbolic Logic 62 (2):438-456.
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.Eric J. Hall, Kyriakos Keremedis & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (4-5):258-267.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
The axiom of choice holds iff maximal closed filters exist.Horst Herrlich - 2003 - Mathematical Logic Quarterly 49 (3):323.
The axiom of choice for countable collections of countable sets does not imply the countable union theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.Yasuo Kanai - 2002 - Mathematical Logic Quarterly 48 (3):413-426.

Analytics

Added to PP
2013-12-01

Downloads
42 (#379,205)

6 months
2 (#1,200,611)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.
The Axiom of Choice.Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.

Add more references