8 citations · 8 across the 2 of their papers we have counts for
2 papers
math.HO2014★ 8 cited
On Constructive Axiomatic Method
Andrei Rodin
In this last version of the paper one may find a critical overview of some recent philosophical literature on Axiomatic Method and Genetic Method.
math.HO2012
Univalence and Constructive Identity
Andrei Rodin
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences j…