| Publication | Date of Publication | Type |
|---|
| Algorithmic barriers to representing conditional independence | 2024-12-19 | Paper |
| Computable PAC learning of continuous features | 2024-12-06 | Paper |
| Computability of Countable Sunflowers | 2023-11-21 | Paper |
| Algebraic Sunflowers | 2023-10-24 | Paper |
| Cohen Generic Structures with Functions | 2023-10-17 | Paper |
| The Keisler order in continuous logic | 2023-02-01 | Paper |
| A Maximality Theorem for Continuous First Order Theories | 2022-12-15 | Paper |
| Potential isomorphisms of generalized approach spaces | 2022-04-12 | Paper |
| On computable aspects of algebraic and definable closure | 2022-02-08 | Paper |
| On computable learning of continuous features | 2021-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002829 | 2021-07-28 | Paper |
| Encoding complete metric structures by classical structures | 2021-02-17 | Paper |
| Computability of algebraic and definable closure | 2020-05-06 | Paper |
| Indivisible sets and well‐founded orientations of the Rado graph | 2020-05-06 | Paper |
| An introduction to feedback Turing computability | 2020-04-29 | Paper |
| On the Computability of Conditional Probability | 2020-02-11 | Paper |
| Categoricity in multiuniversal classes | 2019-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376658 | 2019-05-17 | Paper |
| The entropy function of an invariant measure | 2018-09-06 | Paper |
| Categoricity in multiuniversal classes | 2018-04-24 | Paper |
| Feedback Turing Computability, and Turing Computability as Feedback | 2018-04-23 | Paper |
| On the computability of graphons | 2018-01-31 | Paper |
| Stable regularity for relational structures | 2017-12-26 | Paper |
| Graph Turing machines | 2017-12-20 | Paper |
| On computability and disintegration | 2017-11-22 | Paper |
| Properly ergodic structures | 2017-10-25 | Paper |
| Countable infinitary theories admitting an invariant measure | 2017-10-17 | Paper |
| Feedback computability on Cantor space | 2017-08-03 | Paper |
| On the computability of graph Turing machines | 2017-03-28 | Paper |
| Priors on exchangeable directed graphs | 2017-01-11 | Paper |
| A classification of orbits admitting a unique invariant measure | 2016-10-26 | Paper |
| INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES | 2016-07-06 | Paper |
| Invariant measures via inverse limits of finite structures | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3456848 | 2015-12-09 | Paper |
| Vaught's conjecture without equality | 2015-11-30 | Paper |
| Representations of Aut(M)-Invariant Measures | 2015-09-21 | Paper |
| Completeness in generalized ultrametric spaces | 2015-03-17 | Paper |
| On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos | 2015-02-05 | Paper |
| SHEAF RECURSION AND A SEPARATION THEOREM | 2014-12-05 | Paper |
| A Notion of a Computational Step for Partial Combinatory Algebras | 2013-05-28 | Paper |
| The number of countable models in realizability toposes | 2012-10-16 | Paper |
| Invariant measures concentrated on countable structures | 2012-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093856 | 2011-10-19 | Paper |
| Relativized Grothendieck topoi | 2011-08-26 | Paper |
| Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets | N/A | Paper |
