Pages that link to "Item:Q4344177"
From MaRDI portal
The following pages link to Structure in Mathematics and Logic: A Categorical Perspective (Q4344177):
Displaying 11 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Structuralism and meta-mathematics (Q707711) (← links)
- Mathematical pluralism: The case of smooth infinitesimal analysis (Q853816) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- What we talk about when we talk about numbers (Q1799042) (← links)
- On representational capacities, with an application to general relativity (Q1985875) (← links)
- THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977 (Q4918377) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- Higher Structures in M‐Theory (Q6058784) (← links)
