Universal properties of truth

MaRDI QIDQ6431700zbMATH OpenFDO

Authors Bartosz Wcisło

Publication date 1 April 2023

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Abstract: We investigate abstract model theoretic properties which holds for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyse in which cases those properties in fact ensure the definability of the respective truth predicate. In some cases, we formulate different axiomatic theories which are indispensable for such properties to hold and we analyse the mutual definability relations between those theories.

This page was built for publication: Universal properties of truth

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