Inner models and infinite computations

Información del proyecto

IMIC

Identificador del acuerdo de subvención: 794020

DOI

10.3030/794020

Proyecto cerrado

Fecha de la firma de la CE 21 Febrero 2018

Fecha de inicio 1 Julio 2018

Fecha de finalización 14 Enero 2021

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 183 454,80

Aportación de la UE

€ 183 454,80

Coordinado por

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Autores: Asaf Karagila, Philipp Schlicht
Publicado en: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Edición 476/2239, 2020, Página(s) 20190782, ISSN 1364-5021
Editor: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Autores: Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Publicado en: Fundamenta Mathematicae, Edición 244/3, 2019, Página(s) 209-241, ISSN 0016-2736
Editor: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Autores: Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Publicado en: Annals of Pure and Applied Logic, Edición 172/4, 2021, Página(s) 102939, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Autores: Merlin Carl, Benjamin Rin, Philipp Schlicht
Publicado en: Logical Methods in Computer Science, Edición 16/2, 2020, Página(s) 2:1–2:16, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Autores: VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Publicado en: The Journal of Symbolic Logic, Edición 85/3, 2020, Página(s) 869-905, ISSN 0022-4812
Editor: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Autores: Fabiana Castiblanco, Philipp Schlicht
Publicado en: Annals of Pure and Applied Logic, Edición 172/4, 2021, Página(s) 102918, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Autores: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Publicado en: Information Processing Letters, Edición 149, 2019, Página(s) 19-24, ISSN 0020-0190
Editor: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Autores: Nies, Andre; Schlicht, Philipp; Tent, Katrin
Publicado en: 2021
Editor: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Autores: Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Publicado en: Israel Journal of Mathematics, 2021
Editor: Accepted

Decision times of infinite computations

Autores: Carl, Merlin; Schlicht, Philipp; Welch, Philip
Publicado en: 2021
Editor: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Autores: Lücke, Philipp; Schlicht, Philipp
Publicado en: Research Trends in Contemporary Logic, 2021
Editor: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

Autores: Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Publicado en: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Edición 12038, 2020, Página(s) 141-153, ISBN 978-3-030-40607-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_9