The following pages link to (Q4040058):
Displaying 7 items.
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter (Q2771728) (← links)
- (Q3412985) (← links)
- (Q4518170) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics (Q5068823) (← links)