Inner models and infinite computations

Informations projet

IMIC

N° de convention de subvention: 794020

DOI

10.3030/794020

Projet clôturé

Date de signature de la CE 21 Février 2018

Date de début 1 Juillet 2018

Date de fin 14 Janvier 2021

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 183 454,80

Contribution de l’UE

€ 183 454,80

Coordonné par

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Auteurs: Asaf Karagila, Philipp Schlicht
Publié dans: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Numéro 476/2239, 2020, Page(s) 20190782, ISSN 1364-5021
Éditeur: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Auteurs: Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Publié dans: Fundamenta Mathematicae, Numéro 244/3, 2019, Page(s) 209-241, ISSN 0016-2736
Éditeur: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Auteurs: Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Publié dans: Annals of Pure and Applied Logic, Numéro 172/4, 2021, Page(s) 102939, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Auteurs: Merlin Carl, Benjamin Rin, Philipp Schlicht
Publié dans: Logical Methods in Computer Science, Numéro 16/2, 2020, Page(s) 2:1–2:16, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Auteurs: VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Publié dans: The Journal of Symbolic Logic, Numéro 85/3, 2020, Page(s) 869-905, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Auteurs: Fabiana Castiblanco, Philipp Schlicht
Publié dans: Annals of Pure and Applied Logic, Numéro 172/4, 2021, Page(s) 102918, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Auteurs: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Publié dans: Information Processing Letters, Numéro 149, 2019, Page(s) 19-24, ISSN 0020-0190
Éditeur: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Auteurs: Nies, Andre; Schlicht, Philipp; Tent, Katrin
Publié dans: 2021
Éditeur: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Auteurs: Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Publié dans: Israel Journal of Mathematics, 2021
Éditeur: Accepted

Decision times of infinite computations

Auteurs: Carl, Merlin; Schlicht, Philipp; Welch, Philip
Publié dans: 2021
Éditeur: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Auteurs: Lücke, Philipp; Schlicht, Philipp
Publié dans: Research Trends in Contemporary Logic, 2021
Éditeur: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

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