-
1
On the Computability of Conditional Probability
Veröffentlicht in Journal of the ACM
VolltextArtikel -
2
Indivisible sets and well‐founded orientations of the Rado graph
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
3
An introduction to feedback Turing computability
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
4
On computability and disintegration
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
5
INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
Veröffentlicht in Forum of mathematics. Sigma
VolltextArtikel -
6
SHEAF RECURSION AND A SEPARATION THEOREM
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
7
-
8
Feedback computability on Cantor space
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
9
Encoding Complete Metric Structures by Classical Structures
Veröffentlicht in Logica universalis
VolltextArtikel -
10
A Maximality Theorem for Continuous First Order Theories
Veröffentlicht in Reports on mathematical logic
VolltextArtikel -
11
The Keisler Order in Continuous Logic
Veröffentlicht in Bulletin of the Iranian Mathematical Society
VolltextArtikel -
12
On computable aspects of algebraic and definable closure
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
13
Categoricity in multiuniversal classes
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
14
-
15
Vaught’s Conjecture Without Equality
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
16
A classification of orbits admitting a unique invariant measure
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
17
The number of countable models in realizability toposes
Veröffentlicht in Journal of pure and applied algebra
VolltextArtikel -
18
-
19
Priors on exchangeable directed graphs
Veröffentlicht in Electronic journal of statistics
VolltextArtikel -
20
Invariant measures via inverse limits of finite structures
Veröffentlicht in European journal of combinatorics
VolltextArtikel