Semantic completeness of first-order theories in constructive reverse mathematics

DOI10.1215/00294527-3470433MaRDI QIDQ286708zbMATH OpenOpenAlexFDO

Authors Christian Espíndola

Publication date 25 May 2016

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1455030207, https://semanticscholar.org/paper/092d84cf317f439f6aa58293918e3db74337a216

zbMATH Keywords

completenessKripke semanticsalgebraic semanticsconstructive reverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Consistency and independence results (03E35) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)

Recommendations

• Semantical completeness of first-order predicate logic and the weak fan theorem
• Reverse mathematics and completeness theorems for intuitionistic logic
• Completeness theorems for first-order logic analysed in constructive type theory
• Completeness and incompleteness for intuitionistic logic
• The monotone completeness theorem in constructive reverse mathematics

Cites work

• scientific article; zbMATH DE number 3720979 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 4195940 (Why is no real title available?)
• Boolean Algebras and Distributive Lattices Treated Constructively
• Boolean algebras in a localic topos
• Completeness and incompleteness for intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Intuitionistic completeness and classical logic
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• On weak completeness of intuitionistic predicate logic
• Reflexive intermediate first-order logics
• Reflexive intermediate propositional logics
• The axiom of choice

Cited in

(6)

• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• A universal Krull-Lindenbaum theorem
• scientific article; zbMATH DE number 964558 (Why is no real title available?)
• On translations of complete first order theories
• Completeness theorems for first-order logic analysed in constructive type theory
• Semantical completeness of first-order predicate logic and the weak fan theorem

This page was built for publication: Semantic completeness of first-order theories in constructive reverse mathematics

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