Pages that link to "Item:Q4344177"

The following pages link to Structure in Mathematics and Logic: A Categorical Perspective (Q4344177):

Displayed 12 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)
• Set Theory and Structures (Q6075428) ‎ (← links)