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

DOI10.1215/00294527-3784830MaRDI QIDQ509612zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Semantic completeness of first-order theories in constructive reverse mathematics
• Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.
• scientific article; zbMATH DE number 4130378
• Erratum to ``A logic of injectivity
• Reverse mathematics and completeness theorems for intuitionistic logic
• scientific article; zbMATH DE number 4143943
• The monotone completeness theorem in constructive reverse mathematics
• Erratum to: ``On definability in dependence logic
• Completeness theorems for first-order logic analysed in constructive type theory

Cited in

(4)

• Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Erratum to J. M. Font, The simplest protoalgebraic logic
• Corrigendum: On infinite computations in denotational semantics
• Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL

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)