Łoś's theorem and the axiom of choice

Mathematical Logic Quarterly 65 (3):280-292 (2019)
  Copy   BIBTEX

Abstract

In set theory without the Axiom of Choice (), we investigate the problem of the placement of Łoś's Theorem () in the hierarchy of weak choice principles, and answer several open questions from the book Consequences of the Axiom of Choice by Howard and Rubin, as well as an open question by Brunner. We prove a number of results summarised in § 3.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201700074

Links

PhilArchive



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

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

A geometric form of the axiom of choice.J. L. Bell - unknown
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Properties of the real line and weak forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.
Mrówka S.. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 , pp. 46–49.Mrówka S.. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.” Fundamenta mathematicae vol. 46 , pp. 165–166.Banaschewski Bernhard. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 279–282. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
Countable sums and products of metrizable spaces in ZF.Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (1):95-103.
A New Proof that “Krull implies Zorn”.Bernhard Banaschewski - 1994 - Mathematical Logic Quarterly 40 (4):478-480.
The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.
Shadows of the axiom of choice in the universe $$L$$.Jan Mycielski & Grzegorz Tomkowicz - 2018 - Archive for Mathematical Logic 57 (5-6):607-616.
Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
The essence of intuitive set theory.Kannan Nambiar - 2001
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.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.Kyriakos Keremedis & Eleftherios Tachtsis - 2001 - Mathematical Logic Quarterly 47 (3):413-422.

Analytics

Added to PP
2019-10-02

Downloads
13 (#1,031,150)

6 months
5 (#625,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
The structure of amorphous sets.J. K. Truss - 1995 - Annals of Pure and Applied Logic 73 (2):191-233.
Ramsey's theorem in the hierarchy of choice principles.Andreas Blass - 1977 - Journal of Symbolic Logic 42 (3):387-390.
On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.

View all 8 references / Add more references