New Constructions of Satisfaction Classes

• We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.

Ämnesord

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

Nyckelord

Satisfaction Class

Truth Class

Conservativity

Interpretability

Compactness

Publikations- och innehållstyp

ref (ämneskategori)

kap (ämneskategori)