Countable short recursively saturated models of arithmetic.

Title: Countable short recursively saturated models of arithmetic.
Identifier: AAI3231990
identifier: 3231990
Creator: Shochat, Erez.
Contributor: Adviser: Roman Kossak
Date: 2006
Language: English
Publisher: City University of New York.
Subject: Mathematics
Abstract: Short recursively saturated models of arithmetic are exactly the elementary initial segments of recursively saturated models of arithmetic. Since any countable recursively saturated model of arithmetic has continuum many elementary initial segments which are already recursively saturated, we turn our attention to the (countably many) initial segments which are not recursively saturated. We first look at properties of countable short recursively saturated models of arithmetic and show that although these models cannot be cofinally resplendent (an expandability property slightly weaker than resplendency), these models have non-definable expansions which are still short recursively saturated.
Type: dissertation
Source: PQT Legacy CUNY.xlsx
degree: Ph.D.