Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics

DOI10.1215/00294527-3784830zbMATH Open1403.03123OpenAlexW4256432467MaRDI QIDQ509612

Christian Espíndola

Publication date: 17 February 2017

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

Full work available at URL: https://doi.org/10.1215/00294527-3784830

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 (3)

Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Corrigendum: On infinite computations in denotational semantics

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Semantic completeness of first-order theories in constructive reverse mathematics 👍 👎
• Erratum to ``A logic of injectivity 👍 👎
• Reverse mathematics and completeness theorems for intuitionistic logic 👍 👎
• Erratum to: ``On definability in dependence logic 👍 👎
• The Monotone Completeness Theorem in Constructive Reverse Mathematics 👍 👎
• Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008) 👍 👎
• Completeness theorems for first-order logic analysed in constructive type theory 👍 👎

This page was built for publication: Erratum to: ``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 Q509612)