The following pages link to (Q4754494):
Displaying 10 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)
- Infinitesimals via Cauchy sequences: refining the classical equivalence (Q2053624) (← links)
- Nicht-Standardmodelle der Zahlentheorie (Q2562781) (← links)
- A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type (Q3272472) (← links)
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks (Q5030479) (← links)
- Two-track depictions of Leibniz's fictions (Q6169811) (← links)
