✦ LIBER ✦

Finite condensations of recursive linear orders

✍ Scribed by Dev K. Roy; Richard Watnick

Publisher: Springer Netherlands
Year: 1988
Tongue: English
Weight: 362 KB
Volume: 47
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00671562

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive linear orders with recursive s

Recursive linear orders with recursive successivities

✍ Michael Moses 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 814 KB

Recursive automorphisms of recursive lin

Recursive automorphisms of recursive linear orderings

✍ Steven Schwarz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 387 KB

Relations Intrinsically Recursive in Lin

Relations Intrinsically Recursive in Linear Orders

✍ Michael Moses 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 357 KB

6 re1ut;m on 'u, then (1) impEies ( 2 ) : \* ) These results \\-ere presented at the Conference on Iiogic imd Computation in 1984, held at :30\* JIonash University, llelbo~trnc, Australia.

Recursive matching algorithms and linear

Recursive matching algorithms and linear orders on the subset lattice

✍ D.E White; S.G Williamson 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 596 KB

On Choice Sets and Strongly Non-Trivial

On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders

✍ Rodney G. Downey; Michael F. Moses 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 621 KB

I ) The second author was supported by a VUW Post-Doctoral Fellowship in the Department of Mathematics.

Classification of Finite Coloured Linear

Classification of Finite Coloured Linear Orderings

✍ Feresiano Mwesigye; John Kenneth Truss 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 281 KB