AXIOMS FOR DETERMINATENESS AND TRUTH
From MaRDI portal
Publication:3580669
DOI10.1017/S1755020308080209zbMATH Open1204.03007MaRDI QIDQ3580669FDOQ3580669
Authors: Solomon Feferman 
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
- Axiomatic theories of truth
- Axioms for grounded truth
- Determinate logic and the axiom of choice
- Extensions of the Axiom of Determinacy
- Relative Truth Definability of Axiomatic Truth Theories
- scientific article; zbMATH DE number 5064944
- Axioms for actuality
- FINITIST AXIOMATIC TRUTH
- A simple axiomatizable theory of truth
- Axiomatizing Kripke's theory of truth
Peano Arithmeticstrong compositionalityformal theory of truthGödel numbersdeterminate meaningful sentencesfull induction
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Cites Work
- A revenge-immune solution to the semantic paradoxes
- Title not available (Why is that?)
- Outline of a Theory of Truth
- Title not available (Why is that?)
- Toward useful type-free theories. I
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- Axiomatizing Kripke's theory of truth
- Handbook of philosophical logic. Vol. 6
- Title not available (Why is that?)
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A guide to truth predicates in the modern era
- Title not available (Why is that?)
- The unfolding of non-finitist arithmetic
- Title not available (Why is that?)
- On meaningfulness and truth
Cited In (18)
- Title not available (Why is that?)
- One hundred years of semantic paradox
- Reference, paradoxes and truth
- THE POWER OF NAIVE TRUTH
- Classes and truths in set theory
- Determinate logic and the axiom of choice
- A feasible theory of truth over combinatory algebra
- Title not available (Why is that?)
- Notes on models of (partial) Kripke-Feferman truth
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- Feferman and the Truth
- CLASSICAL DETERMINATE TRUTH I
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- About Truth and Types
- Truth and the philosophy of mathematics
- Extensions of the Axiom of Determinacy
- Absolute Provability and Safe Knowledge of Axioms
- Notes on the computational aspects of Kripke's theory of truth
This page was built for publication: AXIOMS FOR DETERMINATENESS AND TRUTH
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580669)
