Saturation properties for compositional truth with propositional correctness

DOI10.1016/J.APAL.2024.103512MaRDI QIDQ6652033zbMATH OpenFDO

Authors Bartosz Wcisło

Publication date 12 December 2024

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

zbMATH Keywords

saturationPeano arithmeticnonstandard modelsaxiomatic truth theoriesTarski boundarypropositional soundness

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Axiomatic theories of truth
• Compositional truth with propositional tautologies and quantifier-free correctness
• Construction of Satisfaction Classes for Nonstandard Models
• DISJUNCTIONS WITH STOPPING CONDITIONS
• Deflationary truth and pathologies
• Full Satisfaction Classes and Recursive Saturation
• Full satisfaction classes, definability, and automorphisms
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Nonstandard definability
• Notes on bounded induction for the compositional truth predicate
• The structure of models of Peano arithmetic
• The two halves of disjunctive correctness
• Truth, disjunction, and induction
• Unifying the philosophy of truth

This page was built for publication: Saturation properties for compositional truth with propositional correctness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6652033)