Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
Miklós Erdélyi‐Szabó · arXiv (Cornell University) · 2024
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.