Semantical completeness of first-order predicate logic and the weak fan theorem

DOI10.1007/s11225-014-9582-zzbMath1378.03009OpenAlexW2057179252MaRDI QIDQ2350974

Victor N. Krivtsov

Publication date: 26 June 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9582-z

zbMATH Keywords

first-order predicate logicsemantical completenessweak fan theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55)

Cites Work

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Equivalents of the (weak) fan theorem
• An intuitionistic completeness theorem for classical predicate logic
• Constructivism in mathematics. An introduction. Volume I
• Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
• Another intuitionistic completeness proof
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Formal systems for some branches of intuitionistic analysis