Varieties of truth definitions

DOI10.1007/S00153-024-00909-6MaRDI QIDQ6565567zbMATH OpenFDO

Authors Piotr Gruza

Publication date 2 July 2024

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

axiomatic theories of truthnonstandard models of arithmeticuniversal structuresdefinitions of truthflexible formula

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25) Nonstandard models of arithmetic (03H15)

Recommendations

• Models of weak theories of truth
• Truth definition for \(\Delta_0\) formulas and PSPACE computations
• Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
• Notes on Formal Theories of Truth
• Bounded arithmetic and truth definition

Cites work

• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• A lattice of interpretability types of theories
• Disquotational truth and analyticity
• Handbook of proof theory
• Lattice Theory: Foundation
• Local collection and end-extensions of models of compositional truth
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Models of positive truth
• Nonstandard definability
• On a question of Krajewski's
• On interpretations of bounded arithmetic and bounded set theory
• Reflection algebras and conservation results for theories of iterated truth
• Reflection principles and provability algebras in formal arithmetic
• Subsystems of second order arithmetic
• TRUTH AND FEASIBLE REDUCIBILITY
• The small-is-very-small principle

This page was built for publication: Varieties of truth definitions

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