-
1
-
2
Morse set theory as a foundation for constructive mathematics
Veröffentlicht in Theoretical computer science
VolltextArtikel -
3
Locating Ax, where A is a subspace of B(H)
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
4
Compactness notions for an apartness space
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
5
A constructive examination of rectifiability
Veröffentlicht in Journal of logic and analysis
VolltextArtikel -
6
How to construct a product of a-frames
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
7
Z-stability in Constructive Analysis
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
8
-
9
-
10
-
11
Constructive notions of equicontinuity
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
12
Uniformly convex Banach spaces are reflexive-constructively
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
13
Glueing continuous functions constructively
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
14
Apartness spaces and uniform neighbourhood structures
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
15
-
16
Constructive aspects of Riemann’s permutation theorem for series
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
17
-
18
-
19
-
20
Uniform Continuity Properties of Preference Relations
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel