The following pages link to Reflecting on incompleteness (Q3981446):
Displaying 50 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- One hundred years of semantic paradox (Q266649) (← links)
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- Classes and truths in set theory (Q450946) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Theories of truth without standard models and Yablo's sequences (Q622620) (← links)
- Tarskian and Kripkean truth (Q676185) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Reference and truth (Q777946) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- Minimalism and the generalisation problem: on Horwich's second solution (Q1709090) (← links)
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth (Q1749803) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- A system of complete and consistent truth (Q1893134) (← links)
- Levels of truth (Q1903585) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- A note on the unprovability of consistency in formal theories of truth (Q2056216) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Naive infinitism: the case for an inconsistency approach to infinite collections (Q2345398) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Slow reflection (Q2407272) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Truth and the Liar (Q2909751) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- AXIOMS FOR GROUNDED TRUTH (Q2940867) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN (Q2940876) (← links)
- T-EQUIVALENCES FOR POSITIVE SENTENCES (Q3094190) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Absolute Infinity in Class Theory and in Theology (Q3295819) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- About Truth and Types (Q3305551) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- REVISION REVISITED (Q4899963) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- The Ontological Innocence of Schematic Logic (Q5013623) (← links)
