Back to Search Start Over

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra

Authors :
Erdélyi-Szabó, Miklós
Publication Year :
2024

Abstract

We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.<br />Comment: 7 pages

Subjects

Subjects :
Mathematics - Logic
03-B20, 03-F25, 03-F35, 03-F60

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2401.03422
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details