Feferman and the Truth

DOI10.1007/978-3-319-63334-3_11zbMath1429.03190OpenAlexW2560828691MaRDI QIDQ5214789

Andrea Cantini, Kentaro Fujimoto, Volker Halbach

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_11

zbMATH Keywords

axiomatic theories of truthramified truthKripke-Feferman theorydeterminate truthreflective closure

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (2)

Predicativity and Feferman ⋮ Formal notes on the substitutional analysis of logical consequence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Four valued semantics and the Liar
• Notes on naive semantics
• Some remarks on extending and interpreting theories with a partial predicate for truth
• An axiomatic approach to self-referential truth
• Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
• The unfolding of non-finitist arithmetic
• Truth and paradox
• Logical frameworks for truth and abstraction. An axiomatic study
• AXIOMS FOR GROUNDED TRUTH
• UNFOLDING FINITIST ARITHMETIC
• Proofs and Computations
• Relative Truth Definability of Axiomatic Truth Theories
• Autonomous progression and transfinite iteration of self-applicable truth
• A theory of formal truth arithmetically equivalent to ID₁
• Finite Axiomatizability using additional predicates
• How not to state T-sentences
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Toward useful type-free theories. I
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Outline of a Theory of Truth
• REVISION REVISITED
• Systems of predicative analysis
• Axiomatizing Kripke's theory of truth
• Systems of predicative analysis, II: Representations of ordinals
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories
• Systems of Logic Based on Ordinals^†
• On reflection principles

This page was built for publication: Feferman and the Truth