The following pages link to (Q3464615):
Displaying 14 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Extension and interpretability (Q2658276) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)