If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Андрей Вячеславович Родин is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Categorical Математика
History of Mathematics Математика
Category Theory Математика
Invariant Математика
Mathematics Гуманитарные науки и искусство
Mathematics Education Математика
Category Structure Гуманитарные науки и искусство
Axiomatic System Гуманитарные науки и искусство

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1996 2018

Models of HoTT and the Constructive View of Theories

Родин, А. В., 2018, (Accepted/In press) Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centrone, S. (ed.). Springer

Research outputpeer-review

1 Citation (Scopus)

On Constructive Axiomatic Method

Родин, А. В., 2018, In : Logique et Analyse. 61, 242, p. 201-231 30 p.

Research outputpeer-review

Axiomatic System
David Hilbert

Rules versus Axioms: a Constructive View of Theories

Родин, А. В., 2018, Handbook of 6th World Congress and School on Universal Logic (June 16-26, 2018, Vichy, France), Université Clermont Auvergne, 2018. Beziau, J-Y. (ed.). Clermont Auvergne, p. 541-542 1 p.

Research outputpeer-review