Universal properties of truth
Logic
2023-04-04 v1
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.
Keywords
Cite
@article{arxiv.2304.00370,
title = {Universal properties of truth},
author = {Mateusz Łełyk and Bartosz Wcisło},
journal= {arXiv preprint arXiv:2304.00370},
year = {2023}
}
Comments
44 pages