-
A simple presentation of the effective topos
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof... -
Weil spaces and Weil-Lie groups
We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the... -
Vers une Géométrie Symbolique
Rapport interne.
