Dr. Philipp Schlicht
Articles
Updated February 2018

Writability and reachability of alphatape infinite time Turing machines
with Merlin Carl and Benjamin Rin,
submitted 2018

The exact strength of the class forcing theorem
with Victoria Gitman, Joel David Hamkins, Peter Holy and Kameryn Williams,
submitted 2017

Sufficient conditions for the forcing theorem, and turning proper classes into sets
with Peter Holy and Regula Krapf,
submitted 2017

Borel subsets of the real line and continuous reducibility
with Daisuke Ikegami and Hisao Tanaka,
submitted 2016

A hierarchy of Ramseylike cardinals
with Peter Holy,
accepted for Fundamenta Mathematicae

Randomness via infinite computation and effective descriptive set theory
with Merlin Carl,
accepted for Journal of Symbolic Logic

Measurable cardinals and good Sigma_1(kappa)wellorderings
with Philipp Lücke,
accepted for Mathematical Logic Quarterly

Characterizations of pretameness and the Ordcc
with Peter Holy and Regula Krapf,
accepted for Annals of Pure and Applied Logic

Continuous reducibility and dimension of metric spaces,
to appear in Archive for Mathematical Logic (appeared online)

Recognizable sets and Woodin cardinals: computation beyond the constructible universe
with Merlin Carl and Philip Welch,
Annals of Pure and Applied Logic 169, 4 (2018), 312332

Perfect subsets of generalized Baire spaces and long games,
Journal of Symbolic Logic 82, 4 (2017),13171355

Sigma_1(kappa)definable subsets of H(kappa^+)
with Philipp Lücke and Ralf Schindler,
Journal of Symbolic Logic 82, 3 (2017), 11061131

Choiceless Ramsey Theory for Linear Orders
with Philipp Lücke and Thilo Weinert,
Order 34, 3 (2017), 369418

Pumping for ordinal automatic structures
with Alexander Kartzow and Martin Huschenbett,
Computability 6, 2 (2017), 125164

Infinite computations with random oracles
with Merlin Carl,
Notre Dame Journal of Formal Logic 58, 2 (2017), 249270

The Hurewicz dichotomy for generalized Baire spaces
with Luca Motto Ros and Philipp Lücke,
Israel Journal of Mathematics 216, 2 (2016), 9731022

Class forcing, the forcing theorem, and Boolean completions
with Peter Holy, Regula Krapf, Philipp Lücke and Ana Njegomir,
Journal of Symbolic Logic 81, 4 (2016), 15001530

Generalized Choquet spaces
with Samuel Coskey,
Fundamenta Mathematicae 232 (2016), 227248

Treeautomatic scattered linear orders
with Sanjay Jain, Bakhadyr Khoussainov, and Frank Stephan,
Theoretical Computer Science 626 (2016), 8396

Continuous images of closed sets in generalized Baire spaces
with Philipp Lücke,
Israel Journal of Mathematics 209, 1 (2015), 421461

Wadgelike reducibilities in arbitrary quasiPolish spaces
with Luca Motto Ros and Victor Selivanov,
Mathematical Structures in Computer Science 25 , 8 (2015), 17051754

Lipschitz and uniformly continuous reducibilities on ultrametric Polish spaces
with Luca Motto Ros,
Logic, Computation, Hierarchies, Ontos Mathematical Logic 4(2014), De Gruyter, Berlinx, 213258

Thin equivalence relations and inner models
Annals of Pure and Applied Logic 165, 10 (2014), 15771625
The results in Section 3.2 are only proved for forcings which are additionaly ccc in every inner model, as noticed by Ralf Schindler.

Automata on ordinals and automaticity of linear orders
with Frank Stephan,
Annals of Pure and Applied Logic 164, 5 (2013), 523527

A minimal Prikrytype forcing for singularizing a measurable cardinal
with Karen Räsch and Peter Koepke,
Journal of Symbolic Logic 78, 1 (2013), 85100

Tree representations via ordinal machines
with Benjamin Seyfferth,
Computablility 1, 1 (2012), 4557

Nonisomorphism invariant Borel quantifiers
with Fredrik Engström, Proceedings of the American Mathematical Society 139 (2011), 44874496

Thin equivalence relations in scaled pointclasses
with Ralf Schindler, Mathematical Logic Quarterly 57, 6 (2011), 615620
Conference articles

Automatic learning from repetitive texts
with Rupert Hölzl, Sanjay Jain, Karen Seidel and Frank Stephan,
Algorithmic Learning Theory (ALT), Kyoto 2017, Proceedings of Machine Learning Research 76 (2017), 129150

The recognizability strength of infinite time Turing machines with ordinal parameters
with Merlin Carl,
Computability in Europe (CiE): Unveiling Dynamics and Complexity, Turku 2017, Lecture Notes in Computer Science 10307 (2017), 198209

Structures without scatteredautomatic presentation
with Alexander Kartzow,
Computability in Europe (CiE): The Nature of Computation, Logic, Algorithms, Applications, Milano 2013, Lecture Notes in Computer Science 7921 (2013), 273283

The mateinn problem of infinite chess is decidable
with Dan Brumleve and Joel David Hamkins,
Computability in Europe (CiE): How the world computes, Turing Centenary Conference 2012, Lecture Notes in Computer Science 7318 (2012), 7888

Automata on ordinals and linear orders
with Frank Stephan,
Computability in Europe (CiE): Models of Computation in Context, Sofia 2011, Lecture Notes in Computer Science 6735 (2011), 252259
Unpublished notes
Theses

Topics in generalized and classical descriptive set theory, Habilitation Thesis, Universität Bonn 2017
Consists of the papers: Perfect subsets of generalized Baire spaces and long games, The Hurewicz dichotomy for generalized Baire spaces, Generalized Choquet spaces, Continuous images of closed sets in generalized Baire spaces, Continuous reducibility and dimension of metric spaces, Borel subsets of the real line and continuous reducibility, Lipschitz and uniformly continuous reducibilities on ultrametric Polish spaces, Recognizable sets and Woodin cardinals: Computation beyond the constructible universe

Thin equivalence relations in L(R) and inner models Dissertation, Universität Münster 2008
Upcoming conferences
 Incontrato Italiano Insiemi e Modelli, Torino, February 2123, 2018
 Descriptive Set Theory Conference, Bernoulli Center Lausanne, June 1822, 2018
 Novi Sad Conference in Set Theory and General Topology, Novi Sad, July 25, 2018
 First Girona conference on inner model theory, July 1627, 2018
 Academy Colloquium and Master Class on Generalized Baire Spaces, Amsterdam, August 2224, 2018
Last changed: 14 December 2017