Feferman and the Truth
From MaRDI portal
Publication:5214789
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
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)
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 ID1
- 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