Graduate studies at Western
Journal of Symbolic Logic 38 (3):416-422 (1973)
|Abstract||The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
John Bell (2003). Some New Intuitionistic Equivalents of Zorn's Lemma. Archive for Mathematical Logic 42 (8):811-814.
Norbert Brunner (1989). The Fraenkel-Mostowski Method, Revisited. Notre Dame Journal of Formal Logic 31 (1):64-75.
David Pincus (1972). Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods. Journal of Symbolic Logic 37 (4):721-743.
G. P. Monro (1983). On Generic Extensions Without the Axiom of Choice. Journal of Symbolic Logic 48 (1):39-52.
T. E. Forster & J. K. Truss (2003). Non-Well-Foundedness of Well-Orderable Power Sets. Journal of Symbolic Logic 68 (3):879-884.
U. Felgner & J. K. Truss (1999). The Independence of the Prime Ideal Theorem From the Order-Extension Principle. Journal of Symbolic Logic 64 (1):199-215.
Paul Howard & Jean E. Rubin (1995). The Axiom of Choice for Well-Ordered Families and for Families of Well- Orderable Sets. Journal of Symbolic Logic 60 (4):1115-1117.
David Pincus (1997). The Dense Linear Ordering Principle. Journal of Symbolic Logic 62 (2):438-456.
Added to index2009-01-28
Total downloads3 ( #214,062 of 740,802 )
Recent downloads (6 months)0
How can I increase my downloads?