Logica Universalis

, Volume 1, Issue 1, pp 183–199 | Cite as

Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

  • David W. MillerEmail author


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 \( let \Rightarrow LET \). A partial solution is provided.


2-compactness axiom of choice consequence operation deductive theory Dzik system equilateral consequence operation extremal consequence operation Lindenbaum punctiliousness saturated theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2007

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of WarwickCoventryUnited Kingdom

Personalised recommendations