### Skapa referens, olika format (klipp och klistra)

**Harvard**

Engström, F. (2004) *Expansions, omitting types, and standard systems*. Göteborg : Chalmers University of Technology (Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, nr: 2206).

** BibTeX **

@book{

Engström2004,

author={Engström, Fredrik},

title={Expansions, omitting types, and standard systems},

isbn={91-7291-524-2},

abstract={Recursive saturation and resplendence are two important notions in models of arithmetic. Kaye, Kossak, and Kotlarski introduced the notion of arithmetic saturation and argued that recursive saturation might not be as rigid as first assumed. <p>In this thesis we give further examples of variations of recursive saturation, all of which are connected with expandability properties similar to resplendence. However, the expandability properties are stronger than resplendence and implies, in one way or another, that the expansion not only satisfies a theory, but also omits a type. We conjecture that a special version of this expandability is in fact equivalent to arithmetic saturation. We prove that another of these properties is equivalent to β-saturation. We also introduce a variant on recursive saturation which makes sense in the context of a standard predicate, and which is equivalent to a certain amount of ordinary saturation. <p>The theory of all models which omit a certain type p(x) is also investigated. We define a proof system, which proves a sentence if and only if it is true in all models omitting the type p(x). The complexity of such proof systems are discussed and some explicit examples of theories and types with high complexity, in a special sense, are given. <p>We end the thesis by a small comment on Scott's problem. The problem is to characterise standard systems of models of arithmetic. We prove that, under the assumption of Martin's axiom, every Scott set of cardinality less than the continuum closed under arithmetic comprehension which has the countable chain condition is the standard system of some model of PA. However, we do not know if there exists any such uncountable Scott sets.},

publisher={Institutionen för matematik, Chalmers tekniska högskola,},

place={Göteborg},

year={2004},

series={Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 2206},

}

** RefWorks **

RT Dissertation/Thesis

SR Electronic

ID 4269

A1 Engström, Fredrik

T1 Expansions, omitting types, and standard systems

YR 2004

SN 91-7291-524-2

AB Recursive saturation and resplendence are two important notions in models of arithmetic. Kaye, Kossak, and Kotlarski introduced the notion of arithmetic saturation and argued that recursive saturation might not be as rigid as first assumed. <p>In this thesis we give further examples of variations of recursive saturation, all of which are connected with expandability properties similar to resplendence. However, the expandability properties are stronger than resplendence and implies, in one way or another, that the expansion not only satisfies a theory, but also omits a type. We conjecture that a special version of this expandability is in fact equivalent to arithmetic saturation. We prove that another of these properties is equivalent to β-saturation. We also introduce a variant on recursive saturation which makes sense in the context of a standard predicate, and which is equivalent to a certain amount of ordinary saturation. <p>The theory of all models which omit a certain type p(x) is also investigated. We define a proof system, which proves a sentence if and only if it is true in all models omitting the type p(x). The complexity of such proof systems are discussed and some explicit examples of theories and types with high complexity, in a special sense, are given. <p>We end the thesis by a small comment on Scott's problem. The problem is to characterise standard systems of models of arithmetic. We prove that, under the assumption of Martin's axiom, every Scott set of cardinality less than the continuum closed under arithmetic comprehension which has the countable chain condition is the standard system of some model of PA. However, we do not know if there exists any such uncountable Scott sets.

PB Institutionen för matematik, Chalmers tekniska högskola,

T3 Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 2206

LA eng

LK http://www.math.chalmers.se/Math/Research/Preprints/Doctoral/2004/6.pdf

OL 30