Garyfallia Vafeiadou
From MaRDI portal
Person:453177
Available identifiers
zbMath Open vafeiadou.garyfalliaMaRDI QIDQ453177
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Minimum classical extensions of constructive theories | 2022-03-22 | Paper |
Intuitionistic Mathematics and Logic | 2020-03-04 | Paper |
A comparison of minimal systems for constructive analysis | 2018-08-01 | Paper |
Some axioms for constructive analysis | 2012-09-18 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Garyfallia Vafeiadou