Krivine's intuitionistic proof of classical completeness (for countable languages)

DOI10.1016/J.APAL.2004.01.002MaRDI QIDQ1887656zbMATH OpenOpenAlexFDO

Authors Stefano Berardi, Silvio Valentini

Publication date 22 November 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2004.01.002

zbMATH Keywords

ultrafilter theorem[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel%27s+completeness+theorem&go=Go G��del's completeness theorem]maximal ideal theoremfirst-order classical logicintuitionistic completeness

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Intuitionistic mathematics (03F55)

Recommendations

• The Gödel completeness theorem for uncountable languages
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• Intuitionistic completeness and classical logic
• scientific article; zbMATH DE number 856945
• An intuitionistic completeness theorem for classical predicate logic
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 4178794
• scientific article; zbMATH DE number 1169382
• Completeness and incompleteness for intuitionistic logic
• Theories of truth for countable languages which conform to classical logic

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Intuitionistic completeness for first order classical logic
• Undecidability and intuitionistic incompleteness
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

Cited in

(4)

• Maximal ideals in countable rings, constructively
• Läuchli's completeness theorem from a topos-theoretic perspective
• Kripke models for classical logic
• Maximal elements with minimal logic

This page was built for publication: Krivine's intuitionistic proof of classical completeness (for countable languages)

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