Some restricted lindenbaum theorems equivalent to the axiom of choice
Logica Universalis 1 (1) (2007)
| Abstract | . Dzik [2] gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems, here called Dzik systems. The problem therefore arises of giving a direct proof, not using the axiom of choice, of the conditional . A partial solution is provided. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRenling Jin (1992). The Isomorphism Property Versus the Special Model Axiom. Journal of Symbolic Logic 57 (3):975-987.
Vivian Charles Walsh (1967). On the Significance of Choice Sets with Incompatibilities. Philosophy of Science 34 (3):243-250.
Lorenz Halbeisen & Saharon Shelah (2001). Relations Between Some Cardinals in the Absence of the Axiom of Choice. Bulletin of Symbolic Logic 7 (2):237-261.
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.
H. Andréka, Á Kurucz & I. Németi (1994). Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra. Journal of Symbolic Logic 59 (3):912-923.
G. Mints (1999). Cut-Elimination for Simple Type Theory with an Axiom of Choice. Journal of Symbolic Logic 64 (2):479-485.
G. P. Monro (1983). On Generic Extensions Without the Axiom of Choice. Journal of Symbolic Logic 48 (1):39-52.
Paul E. Howard, Arthur L. Rubin & Jean E. Rubin (1978). Independence Results for Class Forms of the Axiom of Choice. Journal of Symbolic Logic 43 (4):673-684.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #87,971 of 549,113 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
