✦ LIBER ✦

An Unsolved Problem in the Theory of Constructive Order Types

✍ Scribed by Alan G. Hamilton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Problem in the Theory of Constructive

✍ Robin O. Gandy and Robert I. Soare 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB

The Seed: An Unsolved Problem in Life

✍ Ralph D. Amen 📂 Article 📅 1964 🏛 University of California Press 🌐 English ⚖ 769 KB

Some unsolved problems in the theory of

✍ J. Aczél; L. Kossuth 📂 Article 📅 1964 🏛 Springer 🌐 English ⚖ 557 KB

On an unsolved problem in the theory of

✍ Tribikram Pati 📂 Article 📅 1963 🏛 Springer-Verlag 🌐 French ⚖ 330 KB

In What Sense Is Turbulence an Unsolved

✍ NELKIN, M. 📂 Article 📅 1992 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 593 KB

Decidability in the Constructive Theory

✍ Miklós Erdélyi-Szabó 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 590 KB

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