-
1
Weak systems of determinacy and arithmetical quasi-inductive definitions
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
2
-
3
-
4
The Complexity of the Dependence Operator
Veröffentlicht in Journal of philosophical logic
VolltextArtikel -
5
SOME OBSERVATIONS ON TRUTH HIERARCHIES
Veröffentlicht in The review of symbolic logic
VolltextArtikel -
6
-
7
-
8
-
9
-
10
Free subsets in internally approachable models
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
11
-
12
On the Possibility, or Otherwise, of Hypercomputation
Veröffentlicht in The British journal for the philosophy of science
VolltextArtikel -
13
-
14
Determinacy in strong cardinal models
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
15
-
16
-
17
-
18
-
19
-
20