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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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