广义Kripke模式与直觉主义实代数的表达力
逻辑
2024-01-09 v1
摘要
我们引入了随机Kripke模式的一个相对化版本，并通过在其中解释二阶Heyting算术，展示了它如何应用于研究直觉主义实代数的表达力。
引用
@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}
}
备注
7 pages