✦ LIBER ✦

Constructive Order Types on Cuts

✍ Scribed by Robert I. Soare

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive order types, III

✍ Aczel, P. H. G. ;Crossley, John N. 📂 Article 📅 1966 🏛 Springer-Verlag ⚖ 197 KB

Constructive Order Types, II

✍ John N. Crossley 📂 Article 📅 1997 🏛 Association for Symbolic Logic 🌐 English ⚖ 950 KB

A Problem in the Theory of Constructive

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

An Unsolved Problem in the Theory of Con

✍ Alan G. Hamilton 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 285 KB

On Countable Indecomposable Order Types

✍ Rotman, B. 📂 Article 📅 1970 🏛 Oxford University Press 🌐 English ⚖ 189 KB

On Order-Types of Models

✍ Wilfrid Hodges 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 268 KB