The following pages link to (Q4040058):
Displaying 4 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)
- (Q4518170) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
