𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis

✍ Scribed by Miklós Erdélyi-Szabó

Book ID
124978563
Publisher
Association for Symbolic Logic
Year
2000
Tongue
English
Weight
378 KB
Volume
65
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the Real-Algebraic Str
Undecidability of the Real-Algebraic Structure of Scott's Model
✍ Miklós Erdélyi-Szabó 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 256 KB

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

Algebraic analysis of solvable lattice m
Algebraic analysis of solvable lattice models
✍ Michio Jimbo and Tetsuji Miwa 📂 Library 📅 1995 🏛 Published for the Conference Board of the Mathemat 🌐 English ⚖ 1 MB

Based on the NSF-CBMS Regional Conference lectures presented by Miwa in June 1993, this book surveys recent developments in the interplay between solvable lattice models in statistical mechanics and representation theory of quantum affine algebras. Because results in this subject were scattered in t

Algebraic analysis of solvable lattice m
Algebraic analysis of solvable lattice models
✍ Michio Jimbo and Tetsuji Miwa 📂 Library 📅 1995 🏛 Published for the Conference Board of the Mathemat 🌐 English ⚖ 839 KB

Surveys recent development on the interplay between solvable lattice models in statistical mechanics and representation theory of quantum affine algebras. Assumes no prior knowledge of lattice models and representation theory. Uses the spin 1/2 XXZ chain and the six-vertex model as examples, and dis