Satisfaction classes in nonstandard models of first-order arithmetic

Mathematics – Logic

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Thesis for the degree of licentiate of philosophy, 74 pages, 4 figures

Scientific paper

A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively saturated. A proof of this fact is presented in detail in such a way that it is adaptable to a language with function symbols. The idea that a satisfaction class can only see finitely deep in a formula is extended to terms. The definition gives rise to new notions of valuations of nonstandard terms; these are investigated. The notion of a free satisfaction class is introduced, it is a satisfaction class free of existential assumptions on nonstandard terms. It is well known that pathologies arise in some satisfaction classes. Ideas of how to remove those are presented in the last chapter. This is done mainly by adding inference rules to M-logic. The consistency of many of these extensions is left as an open question.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Satisfaction classes in nonstandard models of first-order arithmetic 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 Satisfaction classes in nonstandard models of first-order arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Satisfaction classes in nonstandard models of first-order arithmetic will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-694135

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.