✦ LIBER ✦

Relations Intrinsically Recursive in Linear Orders

✍ Scribed by Michael Moses

Publisher: John Wiley and Sons
Year: 1986
Tongue: English
Weight: 357 KB
Volume: 32
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19860322514

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 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

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.

Intrinsic relations in the structure of

Intrinsic relations in the structure of linear congruential generators modulo 2β

✍ Ora E. Percus; J.K. Percus 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 218 KB

Complete, Recursively Enumerable Relatio

Complete, Recursively Enumerable Relations in Arithmetic

✍ Giovanna D'Agostino; Mario Magnago 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 489 KB

## Abstract Using only propositional connectives and the provability predicate of a Σ~1~‐sound theory __T__ containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all s