Inner models and infinite computations

Project Information

IMIC

Grant agreement ID: 794020

DOI 10.3030/794020

Project closed

EC signature date 21 February 2018

Start date 1 July 2018

End date 14 January 2021

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 183 454,80

EU contribution € 183 454,80

Coordinated by

UNIVERSITY OF BRISTOL
United Kingdom

Publications

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Author(s): Asaf Karagila, Philipp Schlicht
Published in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Issue 476/2239, 2020, Page(s) 20190782, ISSN 1364-5021
Publisher: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Author(s): Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Published in: Fundamenta Mathematicae, Issue 244/3, 2019, Page(s) 209-241, ISSN 0016-2736
Publisher: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Author(s): Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Published in: Annals of Pure and Applied Logic, Issue 172/4, 2021, Page(s) 102939, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Author(s): Merlin Carl, Benjamin Rin, Philipp Schlicht
Published in: Logical Methods in Computer Science, Issue 16/2, 2020, Page(s) 2:1–2:16, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Author(s): VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Published in: The Journal of Symbolic Logic, Issue 85/3, 2020, Page(s) 869-905, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Author(s): Fabiana Castiblanco, Philipp Schlicht
Published in: Annals of Pure and Applied Logic, Issue 172/4, 2021, Page(s) 102918, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Author(s): Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Published in: Information Processing Letters, Issue 149, 2019, Page(s) 19-24, ISSN 0020-0190
Publisher: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Author(s): Nies, Andre; Schlicht, Philipp; Tent, Katrin
Published in: 2021
Publisher: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Author(s): Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Published in: Israel Journal of Mathematics, 2021
Publisher: Accepted

Decision times of infinite computations

Author(s): Carl, Merlin; Schlicht, Philipp; Welch, Philip
Published in: 2021
Publisher: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Author(s): Lücke, Philipp; Schlicht, Philipp
Published in: Research Trends in Contemporary Logic, 2021
Publisher: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

Author(s): Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Published in: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Issue 12038, 2020, Page(s) 141-153, ISBN 978-3-030-40607-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_9