Expansions, omitting types, and standard systems

Details Expansions, omitting types, and standard systems Expansions, omitting types, and standard systems

2004-10-25

arxiv.org/abs/math/0410523v1

Mathematics

Logic

Doctoral thesis

Scientific paper

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. 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 \beta-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. 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. We end the thesis by a small comment on Scott's problem. We prove that, under the assumption of Martin's axiom, every Scott set of cardinality <2^{\aleph_0} 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.

Affiliated with

Also associated with

No associations

Rating

Expansions, omitting types, and standard systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Expansions, omitting types, and standard systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Expansions, omitting types, and standard systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-477798