The following pages link to (Q4754494):
Displayed 7 items.
- What languages have Tarski truth definitions? (Q598271) (← links)
- Thoralf Skolem in memoriam (1887-1963) (Q1131356) (← links)
- Is Leibnizian calculus embeddable in first order logic? (Q1616106) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- The Mathematical Intelligencer flunks the Olympics (Q1655498) (← links)
- Nicht-Standardmodelle der Zahlentheorie (Q2562781) (← links)
- (Q3272472) (← links)