๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Models of Arithmetic and recursive functions

โœ Scribed by J. Hirschfeld


Book ID
112884624
Publisher
The Hebrew University Magnes Press
Year
1975
Tongue
English
Weight
642 KB
Volume
20
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The Recursively Saturated Part of Models
โœ 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