The following pages link to Reflecting on incompleteness (Q3981446):
Displaying 27 items.
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- Gödelian sentences and semantic arguments (Q5061410) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING (Q5414134) (← links)
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH (Q5850987) (← links)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- On reflection principles (Q5901498) (← links)
- An open formalism against incompleteness (Q5937853) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
- The substitutional analysis of logical consequence (Q6495237) (← links)
