3 papers
math.LO2025
A model with fragments of projective determinacy and failures of
Sandra Müller, Bartosz WcisÅo
We describe a construction of a model of second order arithmetic in which (boldface) -determinacy holds, but (lightface) - fails, thus showing…
math.LO2024
Classical determinate truth without induction
Bartosz WcisÅo
Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their quest…
math.LO2024
Saturation properties for compositional truth with propositional correctness
Bartosz WcisÅo
It is an open question whether compositional truth with the principle of propositional soundness ,,all arithmetical sentences which are propositional tautologies are true'' is cons…