✦ LIBER ✦

Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace

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

No coin nor oath required. For personal study only.

✦ Synopsis

We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

📜 SIMILAR VOLUMES

The kurzweil construction of an integral

✍ Beloslav Riečan; Marta Vrábelová 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 354 KB

Construction of an Automaton From a Form

✍ A.N. Chebotarev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 89 KB

Thermodynamics of H-bonding in alcohols

✍ P. Huyskens; F. Kapuku; C. Colemonts-Vandevyvere 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 835 KB

An example in the model theory of abelia

✍ Dan Saracino; Carol Wood 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 155 KB

An investigation of fuzzy multiple heuri

✍ Hishammudin Asmuni; Edmund K. Burke; Jonathan M. Garibaldi; Barry McCollum; Andr 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Pressure as an aid to the study of order

✍ W.G.S. Scaife 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 507 KB