35 citations · 52 across the 14 of their papers we have counts for
4 papers · 1 filter
Varieties of truth definitions
Piotr Gruza, Mateusz Łełyk
We study the structure of the partial order induced by the definability relation on definitions of truth for the language of arithmetic. Formally, a definition of truth is any sent…
Universal properties of truth
Mateusz Łełyk, Bartosz Wcisło
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…
Pathologies in satisfaction classes
Athar Abdul-Quader, Mateusz Łełyk
We study subsets of countable recursively saturated models of which can be defined using pathologies in satisfaction classes. More precisely, we characterize those su…
Implicit Commitment in a General Setting
Mateusz Łelyk, Carlo Nicolai
Gödel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing…