Pages that link to "Item:Q3094181"
From MaRDI portal
The following pages link to A pluralist approach to the formalisation of mathematics (Q3094181):
Displaying 5 items.
- Mathematical pluralism: The case of smooth infinitesimal analysis (Q853816) (← links)
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics (Q2441763) (← links)
- A Defence of Mathematical Pluralism (Q3369211) (← links)
- (Q5215800) (← links)
- Equiconsistency of the minimalist foundation with its classical version (Q6652037) (← links)