Inner models and infinite computations

Projektinformationen

IMIC

ID Finanzhilfevereinbarung: 794020

DOI

10.3030/794020

Projekt abgeschlossen

EK-Unterschriftsdatum 21 Februar 2018

Startdatum 1 Juli 2018

Enddatum 14 Januar 2021

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 183 454,80

EU-Beitrag

€ 183 454,80

Koordiniert durch

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Autoren: Asaf Karagila, Philipp Schlicht
Veröffentlicht in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Ausgabe 476/2239, 2020, Seite(n) 20190782, ISSN 1364-5021
Herausgeber: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Autoren: Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Veröffentlicht in: Fundamenta Mathematicae, Ausgabe 244/3, 2019, Seite(n) 209-241, ISSN 0016-2736
Herausgeber: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Autoren: Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe 172/4, 2021, Seite(n) 102939, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Autoren: Merlin Carl, Benjamin Rin, Philipp Schlicht
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 16/2, 2020, Seite(n) 2:1–2:16, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Autoren: VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 85/3, 2020, Seite(n) 869-905, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Autoren: Fabiana Castiblanco, Philipp Schlicht
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe 172/4, 2021, Seite(n) 102918, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Autoren: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Veröffentlicht in: Information Processing Letters, Ausgabe 149, 2019, Seite(n) 19-24, ISSN 0020-0190
Herausgeber: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Autoren: Nies, Andre; Schlicht, Philipp; Tent, Katrin
Veröffentlicht in: 2021
Herausgeber: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Autoren: Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Veröffentlicht in: Israel Journal of Mathematics, 2021
Herausgeber: Accepted

Decision times of infinite computations

Autoren: Carl, Merlin; Schlicht, Philipp; Welch, Philip
Veröffentlicht in: 2021
Herausgeber: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Autoren: Lücke, Philipp; Schlicht, Philipp
Veröffentlicht in: Research Trends in Contemporary Logic, 2021
Herausgeber: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

Autoren: Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Veröffentlicht in: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Ausgabe 12038, 2020, Seite(n) 141-153, ISBN 978-3-030-40607-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_9