Direct proofs of Lindenbaum conditionals

DOI10.1007/S11787-013-0081-1MaRDI QIDQ2254568zbMATH OpenOpenAlexFDO

Authors René Gazzari

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-013-0081-1

zbMATH Keywords

axiom of choicedeductive systemLindenbaum theorempure proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)

Recommendations

• Some restricted Lindenbaum theorems equivalent to the axiom of choice
• scientific article; zbMATH DE number 2015286
• scientific article; zbMATH DE number 1975415
• Lindenbaum's lemma via open induction
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic

Cites work

• A proof-theoretic view of necessity
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3773573 (Why is no real title available?)
• scientific article; zbMATH DE number 3496154 (Why is no real title available?)
• scientific article; zbMATH DE number 1062123 (Why is no real title available?)
• scientific article; zbMATH DE number 1748585 (Why is no real title available?)
• Is there a ``Hilbert thesis?
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• Some restricted Lindenbaum theorems equivalent to the axiom of choice
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• Lindenbaum's lemma via open induction
• scientific article; zbMATH DE number 2015286 (Why is no real title available?)
• A novel approach to equality
• Some restricted Lindenbaum theorems equivalent to the axiom of choice

This page was built for publication: Direct proofs of Lindenbaum conditionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254568)