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

An Introduction to Recursively Saturated and Resplendent Models

โœ Scribed by Jon Barwise and John Schlipf

Book ID
120594430
Publisher
Association for Symbolic Logic
Year
1976
Tongue
English
Weight
187 KB
Volume
41
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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

A Galois correspondence for countable sh
A Galois correspondence for countable short recursively saturated models of PA
โœ Erez Shochat ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 207 KB

## Abstract In this paper we investigate the properties of automorphism groups of countable short recursively saturated models of arithmetic. In particular, we show that Kaye's Theorem concerning the closed normal subgroups of automorphism groups of countable recursively saturated models of arithme