Local collection and end-extensions of models of compositional truth

DOI10.1016/j.apal.2020.102941zbMath1473.03047arXiv2006.11124OpenAlexW3119427767MaRDI QIDQ2662691

Bartosz Wcisło, Mateusz Łełyk

Publication date: 14 April 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.11124

zbMATH Keywords

conservativenesstruth theorymodels of arithmeticsatisfaction classescollection schemecompositional truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

Reflection algebras and conservation results for theories of iterated truth ⋮ The two halves of disjunctive correctness ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ Compositional truth with propositional tautologies and quantifier-free correctness ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonstandard definability
• Model theory of the regularity and reflection schemes
• Deflationary truth and pathologies
• Models of weak theories of truth
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• More on induction in the language with a satisfaction class
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Toward model theory through recursive saturation
• TRUTH AND FEASIBLE REDUCIBILITY
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE