Encoding Sequences in Intuitionistic Real Algebra
Mikl\'os Erd\'elyi-Szab\'o
TL;DR
This paper demonstrates that, under the assumption of random Kripke's schema, sequences can be effectively encoded within intuitionistic real algebra, revealing new connections between logic and algebraic structures.
Contribution
It introduces a novel method for encoding choice sequences in intuitionistic real algebra using the framework of Kripke's schema.
Findings
Sequences can be recursively encoded in intuitionistic real algebra.
The encoding relies on the presence of random Kripke's schema.
This bridges logical choice sequences with algebraic representations.
Abstract
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic