Philipp Schlicht Mathematics

Publications

Most of my papers and preprints can be found on the Arxiv. A complete list of my papers follows, of which 40 appeared in journals, 2 in books and 6 in conference proceedings, or are accepted.

Set theory
  1. Generalized Polish spaces at regular uncountable cardinals
    with Claudio Agostini and Luca Motto Ros, Journal of the London Mathematical Society 108, 5 (2023), 1886-1929
  2. Asymmetric cut and choose games
    with Peter Holy, Christopher Turner and Philip Welch, 31 pages, accepted for Bulletin of Symbolic Logic in January 2023
  3. Forcing axioms via ground model interpretations
    with Christopher Turner, 49 pages, Annals of Pure and Applied Logic 174, 6 (2023), 103260
  4. Uniformization and internal absoluteness
    with Sandra Müller, Proceedings of the American Mathematical Society 151, 7 (2023), 3089–3102
  5. Descriptive properties of higher Kurepa trees
    with Philipp Lücke, 16 pages, accepted in December 2020 for Research Trends in Contemporary Logic (book chapter)
  6. Coarse groups, and the isomorphism problem for oligomorphic groups
    with Andre Nies and Katrin Tent, Journal of Mathematical Logic 22, 1 (2022), 2150029
  7. Lebesgue's density theorem and definable selectors for ideals
    with Sandra Müller, David Schrittesser and Thilo Weinert, Israel Journal of Mathematics 249 (2022), 501–551
  8. Ideal topologies in higher descriptive set theory
    with Peter Holy, Marlene Koelbing and Wolfgang Wohofsky, Annals of Pure and Applied Logic, 173, 4 (2022), 103061, 36 pages
  9. Decision times of infinite computations
    with Philipp Welch and Merlin Carl, Notre Dame Journal of Formal Logic 63, 2 (2022), 197-212
  10. Canonical truth
    with Merlin Carl, Axiomathes (2022), 19 pages
  11. Long games and sigma-projective sets
    with Juan P. Aguilera and Sandra Müller, Annals of Pure and Applied Logic 172, 4 (2021), 102939
  12. Preserving levels of projective determinacy by tree forcings
    with Fabiana Castiblanco, Annals of Pure and Applied Logic 172, 4 (2021), 102918
  13. How to have more things by forgetting how to count them
    with Asaf Karagila, Proceedings of the Royal Society A, Volume 476, Issue 2239 (2020)
  14. The exact strength of the class forcing theorem
    with Victoria Gitman, Joel David Hamkins, Peter Holy and Kameryn Williams, Journal of Symbolic Logic, The Journal of Symbolic Logic, 85, 3 (2020), 869-905
  15. Reachability for infinite time Turing machines with long tapes
    with Benjamin Rin and Merlin Carl, Logical Methods in Computer Science 16, 2 (2020), 1–16
  16. Sufficient conditions for the forcing theorem, and turning proper classes into sets
    with Peter Holy and Regula Krapf, Fundamenta Mathematicae 246 (2019), 27-44
  17. Borel subsets of the real line and continuous reducibility
    with Daisuke Ikegami and Hisao Tanaka, Fundamenta Mathematicae 244 (2019), 209-241
  18. Characterizations of pretameness and the Ord-cc
    with Peter Holy and Regula Krapf, Annals of Pure and Applied Logic 169, 8 (2018), 775-802
  19. A hierarchy of Ramsey-like cardinals
    with Peter Holy, Fundamenta Mathematicae 242 (2018), 49-74
  20. Measurable cardinals and good Sigma_1(kappa)-wellorderings
    with Philipp Lücke, Mathematical Logic Quarterly 64, 3 (2018), 207-217
  21. 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
  22. Randomness via infinite computation and effective descriptive set theory
    with Merlin Carl, Journal of Symbolic Logic 83, 2 (2018), 766-789
  23. Continuous reducibility and dimension of metric spaces
    Archive for Mathematical Logic 57, 3 (2018), 329-359
  24. Choiceless Ramsey Theory for Linear Orders
    with Philipp Lücke and Thilo Weinert, Order 34, 3 (2017), 369-418
  25. Perfect subsets of generalized Baire spaces and long games
    Journal of Symbolic Logic 82, 4 (2017),1317-1355
  26. Sigma_1(kappa)-definable subsets of H(kappa^+)
    with Philipp Lücke and Ralf Schindler, Journal of Symbolic Logic 82, 3 (2017), 1106-1131
  27. Infinite computations with random oracles
    with Merlin Carl, Notre Dame Journal of Formal Logic 58, 2 (2017), 249-270
  28. 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
  29. 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
  30. The Hurewicz dichotomy for generalized Baire spaces
    with Luca Motto Ros and Philipp Lücke, Israel Journal of Mathematics 216, 2 (2016), 973-1022
  31. Generalized Choquet spaces
    with Samuel Coskey, Fundamenta Mathematicae 232 (2016), 227-248
  32. Continuous images of closed sets in generalized Baire spaces
    with Philipp Lücke, Israel Journal of Mathematics 209, 1 (2015), 421-461
  33. 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
  34. Lipschitz and uniformly continuous reducibilities on ultrametric Polish spaces
    with Luca Motto Ros, Logic, Computation, Hierarchies, Ontos Mathematical Logic 4 (2014), De Gruyter, Berlin, 213-258
  35. Thin equivalence relations and inner models (correction: Section 3.2 needs the forcings to be ccc in all inner models, noticed by Ralf Schindler)
    Annals of Pure and Applied Logic 165, 10 (2014), 1577-1625
  36. 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
  37. Tree representations via ordinal machines
    with Benjamin Seyfferth, Computablility 1, 1 (2012), 45-57
  38. Non-isomorphism invariant Borel quantifiers
    with Fredrik Engström, Proceedings of the American Mathematical Society 139 (2011), 4487-4496
  39. Thin equivalence relations in scaled pointclasses
    with Ralf Schindler, Mathematical Logic Quarterly 57, 6 (2011), 615-620
Computability
  1. Ordered Semiautomatic Rings with Applications to Geometry
    with Ziyuan Gao, Sanjay Jain, Ji Qi, Frank Stephan and Jacob Tarr, Language and Automata Theory and Applications. LATA 2020. Lecture Notes in Computer Science 12038
  2. The isomorphism problem for tree-automatic ordinals with addition
    with Sanjay Jain, Bakhadyr Khoussainov, and Frank Stephan, Information Processing Letters 149 (2019), 19-24
  3. 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
  4. Pumping for ordinal automatic structures
    with Alexander Kartzow and Martin Huschenbett, Computability 6, 2 (2017), 125-164
  5. Tree-automatic scattered linear orders
    with Sanjay Jain, Bakhadyr Khoussainov, and Frank Stephan, Theoretical Computer Science 626 (2016), 83-96
  6. 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
  7. Automata on ordinals and automaticity of linear orders
    with Frank Stephan, Annals of Pure and Applied Logic 164, 5 (2013), 523-527
  8. 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
  9. 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
Theses
  1. Topics in generalized and classical descriptive set theory (a collection of 8 of my papers), Habilitation, Universität Bonn 2017
  2. Thin equivalence relations in L(R) and inner models Dissertation, Universität Münster 2008
Unpublished notes
  1. Iterations of simply definable proper forcings, 2021
  2. Separation in class forcing extensions with Peter Holy and Regula Krapf, 2017
  3. ZFC without parameters with Ralf Schindler, 2016
Edited books
  1. Infinity, Computability and Metamathematics, College Publications (2014), co-edited with Stefan Geschke and Benedikt Löwe