Undefinability and Absolute Undefinability in Arithmetic

MaRDI QIDQ6398978zbMATH OpenFDO

Authors Roman Kossak

Publication date 12 May 2022

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Abstract: This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard model and much stronger versions about expansions of nonstandard models. The key role is played by counting the number of automorphic images of subsets of countable resplendent models of Peano Arithmetic.

This page was built for publication: Undefinability and Absolute Undefinability in Arithmetic

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