Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
Logic
2024-01-09 v1
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.
Keywords
Cite
@article{arxiv.2401.03422,
title = {Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra},
author = {Miklós Erdélyi-Szabó},
journal= {arXiv preprint arXiv:2401.03422},
year = {2024}
}
Comments
7 pages