On the constructive axiomatic method

DOI10.2143/LEA.242.0.3284751MaRDI QIDQ5197387zbMATH OpenFDO

Authors Andrei Rodin

Publication date 23 September 2019

Full work available at URL https://doi.org/10.2143/LEA.242.0.3284751

zbMATH Keywords

axiomatic methodconstructive mathematicsEuclidhomotopy type theorytopos theory

Mathematics Subject Classification ID

Type theory (03B38) Other constructive mathematics (03F65) Categorical logic, topoi (03G30)

Recommendations

• What is the axiomatic method?
• The axiomatic method in theory and in practice
• Axiomatic method and category theory
• Structuralism, Invariance, and Univalence
• The ways of Hilbert's axiomatics: structural and formal

Cited in

(9)

• On conforming axiomatics
• Axiomatic method and category theory
• A meaning explanation for HoTT
• On the Construction of Semi-Iterative Methods
• What is the axiomatic method?
• Some axioms for constructive analysis
• The Semantic Function of the Axiomatic Method
• scientific article; zbMATH DE number 7238887 (Why is no real title available?)
• Models of HoTT and the Constructive View of Theories

This page was built for publication: On the constructive axiomatic method

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