Inner models and infinite computations

Informacje na temat projektu

IMIC

Identyfikator umowy o grant: 794020

DOI

10.3030/794020

Projekt został zamknięty

Data podpisania przez KE 21 Lutego 2018

Data rozpoczęcia 1 Lipca 2018

Data zakończenia 14 Stycznia 2021

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 183 454,80

Wkład UE

€ 183 454,80

Koordynowany przez

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (7)

How to have more things by forgetting how to count them

Autorzy: Asaf Karagila, Philipp Schlicht
Opublikowane w: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Numer 476/2239, 2020, Strona(/y) 20190782, ISSN 1364-5021
Wydawca: Royal Society of London
DOI: 10.1098/rspa.2019.0782

Borel subsets of the real line and continuous reducibility

Autorzy: Daisuke Ikegami, Philipp Schlicht, Hisao Tanaka
Opublikowane w: Fundamenta Mathematicae, Numer 244/3, 2019, Strona(/y) 209-241, ISSN 0016-2736
Wydawca: Polska Akademia Nauk
DOI: 10.4064/fm644-10-2018

Long games and σ-projective sets

Autorzy: Juan P. Aguilera, Sandra Müller, Philipp Schlicht
Opublikowane w: Annals of Pure and Applied Logic, Numer 172/4, 2021, Strona(/y) 102939, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2020.102939

Reachability for infinite time Turing machines with long tapes

Autorzy: Merlin Carl, Benjamin Rin, Philipp Schlicht
Opublikowane w: Logical Methods in Computer Science, Numer 16/2, 2020, Strona(/y) 2:1–2:16, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(2:2)2020

THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Autorzy: VICTORIA GITMAN, JOEL DAVID HAMKINS, PETER HOLY, PHILIPP SCHLICHT, KAMERYN J. WILLIAMS
Opublikowane w: The Journal of Symbolic Logic, Numer 85/3, 2020, Strona(/y) 869-905, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.89

Preserving levels of projective determinacy by tree forcings

Autorzy: Fabiana Castiblanco, Philipp Schlicht
Opublikowane w: Annals of Pure and Applied Logic, Numer 172/4, 2021, Strona(/y) 102918, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2020.102918

The isomorphism problem for tree-automatic ordinals with addition

Autorzy: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
Opublikowane w: Information Processing Letters, Numer 149, 2019, Strona(/y) 19-24, ISSN 0020-0190
Wydawca: Elsevier BV
DOI: 10.1016/j.ipl.2019.05.004

Other (3)

Coarse groups, and the isomorphism problem for oligomorphic groups

Autorzy: Nies, Andre; Schlicht, Philipp; Tent, Katrin
Opublikowane w: 2021
Wydawca: Submitted

Lebesgue's Density Theorem and definable selectors for ideals

Autorzy: Müller, Sandra; Schlicht, Philipp; Schrittesser, David; Weinert, Thilo
Opublikowane w: Israel Journal of Mathematics, 2021
Wydawca: Accepted

Decision times of infinite computations

Autorzy: Carl, Merlin; Schlicht, Philipp; Welch, Philip
Opublikowane w: 2021
Wydawca: Submitted

Book chapters (2)

Descriptive properties of higher Kurepa trees

Autorzy: Lücke, Philipp; Schlicht, Philipp
Opublikowane w: Research Trends in Contemporary Logic, 2021
Wydawca: College Publications

Ordered Semiautomatic Rings with Applications to Geometry

Autorzy: Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr
Opublikowane w: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Numer 12038, 2020, Strona(/y) 141-153, ISBN 978-3-030-40607-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_9