✦ LIBER ✦

Orderings of Types of Countable Arithmetic

✍ Scribed by K. Potthoff

Publisher: John Wiley and Sons
Year: 1978
Tongue: English
Weight: 659 KB
Volume: 24
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19780240702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Countable valued fields in weak subsyste

Countable valued fields in weak subsystems of second-order arithmetic

✍ Kostas Hatzikiriakou; Stephen G. Simpson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 358 KB

A coding of the countable linear orderin

A coding of the countable linear orderings

✍ Patrick Dehornoy 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 362 KB

Countable indecomposable dispersed order

Countable indecomposable dispersed order types

✍ A. G. Pinus 📂 Article 📅 1973 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 301 KB

On Interstices of Countable Arithmetical

On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

✍ Nicholas Bamber; Henryk Kotlarski 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 887 KB

## Abstract We give some information about the action of Aut(M) on M(0), where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M(0).

L(aa)-Elementary Types of Well-Orderings

✍ Detlef Seese; Martin Weese 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 474 KB

L(aa)-ELEMEXTARY TYPES O F WELL-ORDERINGS by DETLEF SEESE and MARTIN WEESE in Berlin (G.D.R.)l) 1) The main results of this paper were proved when the first author was a guest of CSAV in Prague.

Computable functionals and arithmetic of

Computable functionals and arithmetic of ordinal types

✍ V. A. Ganov 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 748 KB