Varieties of truth definitions

DOI10.1007/S00153-024-00909-6zbMATH Open1548.03053MaRDI QIDQ6565567FDOQ6565567

Authors: Piotr Gruza 

Publication date: 2 July 2024

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

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

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)

Cites Work

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

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)