Algebraic completion without the axiom of choice

Mathematical Logic Quarterly 68 (4):394-397 (2022)
  Copy   BIBTEX

Abstract

Läuchli and Pincus showed that existence of algebraic completions of all fields cannot be proved from Zermelo‐Fraenkel set theory alone. On the other hand, important special cases do follow. In particular, I show that an algebraic completion of can be constructed in Zermelo‐Fraenkel set theory.

Categories

Keywords

Reprint years

DOI

10.1002/malq.202200001

Links

PhilArchive



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

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

On countable choice and sequential spaces.Gonçalo Gutierres - 2008 - Mathematical Logic Quarterly 54 (2):145-152.
Algebraic closure without choice.Bernhard Banaschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.
Multiple choices imply the ingleton and krein–milman axioms.Marianne Morillon - 2020 - Journal of Symbolic Logic 85 (1):439-455.
The rigid relation principle, a new weak choice principle.Joel David Hamkins & Justin Palumbo - 2012 - Mathematical Logic Quarterly 58 (6):394-398.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Paracompactness of Metric Spaces and the Axiom of Multiple Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (2):219-232.
Rigit Unary Functions and the Axiom of Choice.Wolfgang Degen - 2001 - Mathematical Logic Quarterly 47 (2):197-204.
Sequential topological conditions in ℝ in the absence of the axiom of choice.Gonçalo Gutierres - 2003 - Mathematical Logic Quarterly 49 (3):293-298.
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.
Constructive Order Theory.Marcel Erné - 2001 - Mathematical Logic Quarterly 47 (2):211-222.

Analytics

Added to PP
2022-07-10

Downloads
24 (#642,030)

6 months
11 (#225,837)

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

Algebraic closure without choice.Bernhard Banaschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
Algebraic closure without choice.Bernhard Banaschewski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):383-385.
Algebraic Closure Without Choice.Bernahrd Banschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.

Add more references