Year: 2024
Type: article
Abstract: In this paper, we investigate abstract model-theoretic properties which hold for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyze 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 analyze the mutual definability relations between those theories.
Source: Journal of Mathematical Logic
Authors: Mateusz Łełyk, Bartosz Wcisło
Institutions: University of Warsaw, University of Gdańsk
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4402931208