Encoding Sequences in Intuitionistic Real Algebra
Logic
2025-12-29 v3
Abstract
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.
Keywords
Cite
@article{arxiv.2501.02323,
title = {Encoding Sequences in Intuitionistic Real Algebra},
author = {Miklós Erdélyi-Szabó},
journal= {arXiv preprint arXiv:2501.02323},
year = {2025}
}
Comments
6 pages