Full satisfaction classes, definability, and automorphisms

DOI10.1215/00294527-2022-0013arXiv2104.09969MaRDI QIDQ6365731

Publication date: 20 April 2021

Abstract: We show that for every countable recursively saturated model

M

of Peano Arithmetic and every subset

A s u b s e t e q M

, there exists a full satisfaction class

S_{A} s u b s e t M^{2}

such that

A

is definable in

(M, S_{A})

without parametres. It follows that in every such model, there exists a full satisfaction class which makes every element definable and thus the expanded model is minimal and rigid. On the other hand, we show that for every full satisfaction class

S

there are two elements which have the same arithmetical type, but exactly one of them is in

S

. In particular, the automorphism group of a model expanded with a satisfaction class is never equal to the automorphism group of the original model. The analogue of many of the results proved here for full satisfaction classes were obtained by Roman Kossak for partial inductive satisfaction classes. However, most of the proofs relied heavily on the induction scheme in a crucial way, so recapturing the results in the setting of full satisfaction classes requires quite different arguments.

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Philosophical aspects of logic and foundations (03A99)

This page was built for publication: Full satisfaction classes, definability, and automorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6365731)