Reverse mathematics and completeness theorems for intuitionistic logic
From MaRDI portal
Publication:1422103
DOI10.1305/ndjfl/1063372197zbMath1036.03008MaRDI QIDQ1422103
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
ACA; RCA; reverse mathematics; intuitionistic logic; Kripke model; second-order arithmetic; completeness theorems
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03B20: Subsystems of classical logic (including intuitionistic logic)
03F55: Intuitionistic mathematics
Cites Work