The following pages link to (Q4360860):
Displaying 5 items.
- Tarski and Gödel: Between the lines (Q2702728) (← links)
- (Q3079627) (← links)
- Shoenfield is Gödel after Krivine (Q3437042) (← links)
- Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results (Q3689158) (← links)
- Skolem and pessimism about proof in mathematics (Q5434472) (← links)