2 papers
math.LO2020
Intuitionistic Mathematics and Logic
Joan R. Moschovakis, Garyfallia Vafeiadou
The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincaré, Kronecker and others. The f…
math.LO2018
A comparison of minimal systems for constructive analysis
Garyfallia Vafeiadou
We establish a precise relation between M, a subsystem of the formal axiomatic system of intuitionistic analysis FIM of S. C. Kleene, and elementary analysis EL of A. S. Troelstra,…