Varieties of truth definitions

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

Author name not available (Why is that?), Piotr Gruza

Publication date: 2 July 2024

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

zbMATH Keywords

nonstandard models of arithmeticaxiomatic theories of truthuniversal structuresdefinitions of truthflexible formula

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonstandard definability
• On interpretations of bounded arithmetic and bounded set theory
• Handbook of proof theory
• Reflection algebras and conservation results for theories of iterated truth
• Local collection and end-extensions of models of compositional truth
• Lattice Theory: Foundation
• Reflection principles and provability algebras in formal arithmetic
• A lattice of interpretability types of theories
• Disquotational truth and analyticity
• ON A QUESTION OF KRAJEWSKI’S
• TRUTH AND FEASIBLE REDUCIBILITY
• The small‐is‐very‐small principle
• MODELS OF POSITIVE TRUTH
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION 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)