Dr. Philipp Schlicht

Articles

Updated February 2018


• Writability and reachability of alpha-tape 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 Ramsey-like 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 Ord-cc 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), 312-332


• Perfect subsets of generalized Baire spaces and long games, Journal of Symbolic Logic 82, 4 (2017),1317-1355


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


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


• Pumping for ordinal automatic structures with Alexander Kartzow and Martin Huschenbett, Computability 6, 2 (2017), 125-164


• Infinite computations with random oracles with Merlin Carl, Notre Dame Journal of Formal Logic 58, 2 (2017), 249-270


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


• 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), 1500-1530


• Generalized Choquet spaces with Samuel Coskey, Fundamenta Mathematicae 232 (2016), 227-248


• Tree-automatic scattered linear orders with Sanjay Jain, Bakhadyr Khoussainov, and Frank Stephan, Theoretical Computer Science 626 (2016), 83-96


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


• Wadge-like reducibilities in arbitrary quasi-Polish spaces with Luca Motto Ros and Victor Selivanov, Mathematical Structures in Computer Science 25 , 8 (2015), 1705-1754


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


• Thin equivalence relations and inner models Annals of Pure and Applied Logic 165, 10 (2014), 1577-1625 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), 523-527


• A minimal Prikry-type forcing for singularizing a measurable cardinal with Karen Räsch and Peter Koepke, Journal of Symbolic Logic 78, 1 (2013), 85-100


• Tree representations via ordinal machines with Benjamin Seyfferth, Computablility 1, 1 (2012), 45-57


• Non-isomorphism invariant Borel quantifiers with Fredrik Engström, Proceedings of the American Mathematical Society 139 (2011), 4487-4496


• Thin equivalence relations in scaled pointclasses with Ralf Schindler, Mathematical Logic Quarterly 57, 6 (2011), 615-620

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), 129-150


• 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), 198-209


• Structures without scattered-automatic presentation with Alexander Kartzow, Computability in Europe (CiE): The Nature of Computation, Logic, Algorithms, Applications, Milano 2013, Lecture Notes in Computer Science 7921 (2013), 273-283


• The mate-in-n 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), 78-88


• 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), 252-259

Unpublished notes

• Canonical truth with Merlin Carl, 2017

• Separation in class forcing extensions with Peter Holy and Regula Krapf, 2017

• ZFC without parameters with Ralf Schindler, 2016

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 21-23, 2018


• Descriptive Set Theory Conference, Bernoulli Center Lausanne, June 18-22, 2018


• Novi Sad Conference in Set Theory and General Topology, Novi Sad, July 2-5, 2018


• First Girona conference on inner model theory, July 16-27, 2018


• Academy Colloquium and Master Class on Generalized Baire Spaces, Amsterdam, August 22-24, 2018