✦ LIBER ✦

Recursive automorphisms of recursive linear orderings

✍ Scribed by Steven Schwarz

Publisher: Elsevier Science
Year: 1984
Tongue: English
Weight: 387 KB
Volume: 26
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(84)90041-1

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

Automorphisms and Recursive Structures

✍ R. G. Downey; J. B. Remmel 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 470 KB

Intuitionistically provable recursive we

Intuitionistically provable recursive well-orderings

✍ Harvey M. Friedman; Andre Scedrov 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 382 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.

On the complexity of recursive path orde

On the complexity of recursive path orderings

✍ Wayne Snyder 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 564 KB

Automorphisms of substructure lattices i

Automorphisms of substructure lattices in recursive algebra

✍ David R. Guichard 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 785 KB