Saturation properties for compositional truth with propositional correctness

DOI10.1016/J.APAL.2024.103512MaRDI QIDQ6652033FDOQ6652033

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

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

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)