Reverse mathematics and completeness theorems for intuitionistic logic

DOI10.1305/NDJFL/1063372197zbMath1036.03008OpenAlexW2036685181MaRDI QIDQ1422103

Takeshi Yamazaki

Publication date: 4 February 2004

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1063372197

zbMATH Keywords

ACARCAreverse mathematicsintuitionistic logicKripke modelsecond-order arithmeticcompleteness theorems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (1)

Splittings and disjunctions in reverse mathematics

Cites Work

• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Decidable Kripke models of intuitionistic theories

This page was built for publication: Reverse mathematics and completeness theorems for intuitionistic logic