Inner models and infinite computations

Informazioni relative al progetto

IMIC

ID dell’accordo di sovvenzione: 794020

DOI

10.3030/794020

Progetto chiuso

Data della firma CE 21 Febbraio 2018

Data di avvio 1 Luglio 2018

Data di completamento 14 Gennaio 2021

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 183 454,80

Contributo UE

€ 183 454,80

Coordinato da

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Autori: Asaf Karagila, Philipp Schlicht
Pubblicato in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Numero 476/2239, 2020, Pagina/e 20190782, ISSN 1364-5021
Editore: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Autori: Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Pubblicato in: Fundamenta Mathematicae, Numero 244/3, 2019, Pagina/e 209-241, ISSN 0016-2736
Editore: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Autori: Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Pubblicato in: Annals of Pure and Applied Logic, Numero 172/4, 2021, Pagina/e 102939, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Autori: Merlin Carl, Benjamin Rin, Philipp Schlicht
Pubblicato in: Logical Methods in Computer Science, Numero 16/2, 2020, Pagina/e 2:1–2:16, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Autori: VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Pubblicato in: The Journal of Symbolic Logic, Numero 85/3, 2020, Pagina/e 869-905, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Autori: Fabiana Castiblanco, Philipp Schlicht
Pubblicato in: Annals of Pure and Applied Logic, Numero 172/4, 2021, Pagina/e 102918, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Autori: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Pubblicato in: Information Processing Letters, Numero 149, 2019, Pagina/e 19-24, ISSN 0020-0190
Editore: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Autori: Nies, Andre; Schlicht, Philipp; Tent, Katrin
Pubblicato in: 2021
Editore: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Autori: Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Pubblicato in: Israel Journal of Mathematics, 2021
Editore: Accepted

Decision times of infinite computations

Autori: Carl, Merlin; Schlicht, Philipp; Welch, Philip
Pubblicato in: 2021
Editore: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Autori: Lücke, Philipp; Schlicht, Philipp
Pubblicato in: Research Trends in Contemporary Logic, 2021
Editore: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

Autori: Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Pubblicato in: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Numero 12038, 2020, Pagina/e 141-153, ISBN 978-3-030-40607-3
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_9