A New Proof that “Krull implies Zorn”

Mathematical Logic Quarterly 40 (4):478-480 (1994)
  Copy   BIBTEX

Abstract

In the present note we give a direct deduction of the Axiom of Choice from the Maximal Ideal Theorem for commutative rings with unit

Categories

Keywords

Reprint years

DOI

10.1002/malq.19940400405

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

A geometric form of the axiom of choice.J. L. Bell - unknown
The axiom of choice holds iff maximal closed filters exist.Horst Herrlich - 2003 - Mathematical Logic Quarterly 49 (3):323.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.
Some consequences of Rado’s selection lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.
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 restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
The Boolean prime ideal theorem and products of cofinite topologies.Kyriakos Keremedis - 2013 - Mathematical Logic Quarterly 59 (6):382-392.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
The automorphism tower of a centerless group without Choice.Itay Kaplan & Saharon Shelah - 2009 - Archive for Mathematical Logic 48 (8):799-815.
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.Yasuo Kanai - 2002 - Mathematical Logic Quarterly 48 (3):413-426.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.

Analytics

Added to PP
2013-12-01

Downloads
44 (#352,984)

6 months
1 (#1,510,037)

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

No references found.

Add more references