Search open-access research in Arabic and English

arXiv 2018-08-01 EN

A comparison of minimal systems for constructive analysis

Vafeiadou, Garyfallia

arXiv 2014-07-13 EN

Constructive Geometry and the Parallel Postulate

Beeson, Michael

arXiv 2014-07-13 EN

A Constructive Version of Tarski's Geometry

Beeson, Michael

arXiv 2014-01-06 EN

Extensionality of lambda-*

Polonsky, Andrew

arXiv 2013-03-14 EN

CZF does not have the Existence Property

Swan, Andrew W

arXiv 2010-05-24 EN

A simple computational interpretation of set theory

Méhkeri, Daniel