Semantic completeness of first-order theories in constructive reverse mathematics

DOI10.1215/00294527-3470433zbMath1403.03122OpenAlexW2188203153MaRDI QIDQ286708

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

zbMATH Keywords

completenessalgebraic semanticsKripke semanticsconstructive reverse mathematics

Mathematics Subject Classification ID

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

Related Items (1)

A universal Krull-Lindenbaum theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reflexive intermediate first-order logics
• Constructivism in mathematics. An introduction. Volume I
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• Intuitionistic completeness and classical logic
• Reflexive intermediate propositional logics
• Boolean Algebras and Distributive Lattices Treated Constructively
• Completeness and incompleteness for intuitionistic logic
• On weak completeness of intuitionistic predicate logic
• Boolean algebras in a localic topos
• The axiom of choice

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