Reflecting on incompleteness
From MaRDI portal
Recommendations
Cites work
- A system of abstract constructive ordinals
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- scientific article; zbMATH DE number 3031535 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Outline of a Theory of Truth
- Systems of predicative analysis
- Systems of predicative analysis, II: Representations of ordinals
Cited in
(only showing first 100 items - show all)- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- The unfolding of non-finitist arithmetic
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Minimalism and the generalisation problem: on Horwich's second solution
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
- On the costs of nonclassical logic
- Possible-worlds semantics for modal notions conceived as predicates
- A system of complete and consistent truth
- Levels of truth
- The implicit commitment of arithmetical theories and its semantic core
- Deflationism beyond arithmetic
- A note on the unprovability of consistency in formal theories of truth
- Reflecting and unfolding
- Reflection algebras and conservation results for theories of iterated truth
- On cut-elimination arguments for axiomatic theories of truth
- Higher-order logic and disquotational truth
- Short proofs for slow consistency
- The scope of Gödel's first incompleteness theorem
- An ordinal analysis for theories of self-referential truth
- Naive infinitism: the case for an inconsistency approach to infinite collections
- Truth, dependence and supervaluation: living with the ghost
- Truth, reflection and hierarchies
- Slow reflection
- A note on typed truth and consistency assertions
- One hundred years of semantic paradox
- Notes on models of (partial) Kripke-Feferman truth
- Truth and the Liar
- The Friedman-Sheard programme in intuitionistic logic
- Axioms for grounded truth
- Modality and axiomatic theories of truth. II: Kripke-Feferman
- T-equivalences for positive sentences
- Relative Truth Definability of Axiomatic Truth Theories
- Absolute Infinity in Class Theory and in Theology
- More on Systems of Truth and Predicative Comprehension
- About Truth and Types
- The Operational Perspective: Three Routes
- AXIOMS FOR DETERMINATENESS AND TRUTH
- scientific article; zbMATH DE number 15306 (Why is no real title available?)
- Some supplements to Feferman-Vaught related to the model theory of adeles
- Classes and truths in set theory
- Transfinite Progressions: A Second Look at Completeness
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Revision revisited
- A disquotational theory of truth as strong as \(Z_2^-\)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Semantics and completeness for schematic logic
- A Note on (Meta)predicative Wellordering Proofs
- Gödelian sentences and semantic arguments
- THE POWER OF NAIVE TRUTH
- TRUTH AND FEASIBLE REDUCIBILITY
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Deflationary truth and the ontology of expressions
- A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
- Unfolding schematic systems
- Feferman and the Truth
- Feferman on set theory: infinity up on trial
- Axiomatizing semantic theories of truth?
- Equivalences for truth predicates
- Models of positive truth
- Axiomatic truth, syntax and metatheoretic reasoning
- Reducing compositional to disquotational truth
- Minimal truth and interpretability
- FINITIST AXIOMATIC TRUTH
- , , AND REINHARDT’S PROGRAM
- On reflection principles
- An open formalism against incompleteness
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Systems for non-reflexive consequence
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- Bicontextualism
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic
- Substitutional validity for modal logic
- CLASSICAL DETERMINATE TRUTH I
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
- Theories of truth without standard models and Yablo's sequences
- From Paradox to Truth
- The Primacy of the Classical? Saul Kripke Meets Niels Bohr
- The substitutional analysis of logical consequence
- Paracomplete truth theory with a definable hierarchy of determinateness operators
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- Tarskian and Kripkean truth
- In defence of PKF
- Gaps, gluts, and theoretical equivalence
- Is the HYPE about strength warranted?
- Satisfaction is not absolute
- On classical determinate truth
- Reflexivity of -consistency in a general setting
- Class theory in HYPE
- How should we understand the modal potentialist's modality?
- The dream of recapture
- The ideal of unity of science tested against the liar
- A compositional theory of Krivine's classical realisability
- Some notes on truths and comprehension
- Cognitive projects and the trustworthiness of positive truth
- On the costs of classical logic
- Another look at reflection
- Developing continuity theory in a formal predicative set theory
- Revision theory without -inconsistency
This page was built for publication: Reflecting on incompleteness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3981446)
