scientific article; zbMATH DE number 7599486

MaRDI QIDQ5040167zbMATH OpenFDO

Authors Steve Awodey

Publication date 11 October 2022

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38) Foundations, relations to logic and deductive systems (18A15) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Recommendations

• Structuralism, Invariance, and Univalence
• Invariants and mathematical structuralism
• Structuralism and Representation Theorems†
• Structuralism and isomorphism
• Univalent foundations as structuralist foundations
• Structures and Structural Realism
• Structuralism, model theory and reduction
• Structuralism and meta-mathematics
• scientific article; zbMATH DE number 3966049
• The mereology of structural universals

Cited in

(6)

• The mathematical description of a generic physical system
• Ante RemStructuralism and the No-Naming Constraint
• scientific article; zbMATH DE number 4008336 (Why is no real title available?)
• Unirationality of Ueno-Campana's threefold
• Structuralism, Invariance, and Univalence
• Changing the logic without changing the subject: the case of computability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040167)