加载中…
2025-01-04
Encoding Sequences in Intuitionistic Real Algebra
Miklós Erdélyi-Szabó
文献摘要
We show that in the presence of random Kripke’s schema choice sequences can be recursively encoded in intuitionistic real algebra.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本