✦ LIBER ✦

Toward Model Theory Through Recursive Saturation

✍ Scribed by John Stewart Schlipf

Book ID: 120594431
Publisher: Association for Symbolic Logic
Year: 1978
Tongue: English
Weight: 577 KB
Volume: 43
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272817

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models for Recursion Theory

✍ Johan Moldestad and Dag Normann 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 249 KB

Theories with Recursive Models

✍ Manuel Lerman and James H. Schmerl 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 422 KB

[Lecture Notes in Mathematics] Model The

[Lecture Notes in Mathematics] Model Theory and Algebra Volume 498 || On recursively saturated models of arithmetic

✍ Saracino, Daniel H.; Weispfenning, Volker B. 📂 Article 📅 1975 🏛 Springer Berlin Heidelberg ⚖ 470 KB

Recursive models in percolation theory

✍ V. P. Bovin; V. V. Vas'kin; I. Ya. Shneiberg 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 492 KB

An Introduction to Recursively Saturated

An Introduction to Recursively Saturated and Resplendent Models

✍ Jon Barwise and John Schlipf 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 187 KB

The Recursively Saturated Part of Models

The Recursively Saturated Part of Models of Peano Arithmetic

✍ Henryk Kotlarski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 403 KB 👁 1 views

PA we define the rfcursively saturated part of XU by RS(9Jl) = ( a E $1: ( 3 8 < YJ?) ( a E )%I and 8 is recursively saturated)). We shall study various possibilities for the relationship between 912 and RS(XU). Tliii paper has grown out of our observation that it may happen that , D is a simple ex