-
1
-
2
An introduction to feedback Turing computability
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
3
-
4
-
5
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
6
-
7
-
8
-
9
Notions of Cauchyness and metastability
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
10
Elementary epimorphisms between models of set theory
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
11
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
12
ZERO SETS OF UNIVARIATE POLYNOMIALS
Veröffentlicht in Transactions of the American Mathematical Society
VolltextArtikel -
13
Feedback computability on Cantor space
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
14
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
15
-
16
Signed-bit representations of real numbers
Veröffentlicht in Journal of logic and analysis
VolltextArtikel -
17
-
18
Topological forcing semantics with settling
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
19
-
20