Algebraic closure without choice
Mathematical Logic Quarterly 38 (1):383-385 (1992)
| Abstract |
This note shows that for the proof of the existence and uniqueness of the algebraic closure of a field one needs only the Boolean Ultrafilter Theorem
|
| Keywords | Axiom of choice algebraic closure Boolean utrafilter theorem |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19920380136 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On Algebraic Closure in Pseudofinite Fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Two Topological Equivalents of the Axiom of Choice.Eric Schechter & E. Schechter - 1992 - Mathematical Logic Quarterly 38 (1):555-557.
Countably Categorical Structures with N‐Degenerate Algebraic Closure.Evgueni V. Vassiliev - 1999 - Mathematical Logic Quarterly 45 (1):85-94.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
The Boolean Prime Ideal Theorem and Products of Cofinite Topologies.Kyriakos Keremedis - 2013 - Mathematical Logic Quarterly 59 (6):382-392.
Closures in ℵ0-Categorical Bilinear Maps.Andreas Baudisch - 2000 - Journal of Symbolic Logic 65 (2):914 - 922.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
The Classification of Small Types of Rank Ω, Part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.Paul Howard & Jean E. Rubin - 1996 - Mathematical Logic Quarterly 42 (1):410-420.
Limitations on the Fraenkel-Mostowski Method of Independence Proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Analytics
Added to PP index
2013-12-01
Total views
19 ( #459,710 of 2,272,597 )
Recent downloads (6 months)
6 ( #203,648 of 2,272,597 )
2013-12-01
Total views
19 ( #459,710 of 2,272,597 )
Recent downloads (6 months)
6 ( #203,648 of 2,272,597 )
How can I increase my downloads?
Downloads
