Carl, Merlin
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Carl
Vorname
Merlin
Name
40 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 40
- VeröffentlichungZeitschriftenartikelModels of true arithmetic are integer parts of models of real exponentation(2021) Carl, Merlin; Krapp, Lothar SebastianErschienen in: Journal of Logic and Analysis. Department of Philosophy, Carnegie Mellon University. 2021, (13), 3. ISSN 1759-9008. Available under: doi: 10.4115/jla.2021.13.3
- VeröffentlichungZeitschriftenartikelReachability for infinite time Turing machines with long tapes(2020) Carl, Merlin; Rin, Benjamin; Schlicht, PhilippErschienen in: Logical Methods in Computer Science. International Federation for Computational Logic (IFCoLog) ; TU Braunschweig. 2020, 16(2). eISSN 1860-5974. Available under: doi: 10.23638/LMCS-16(2:2)2020
- VeröffentlichungZeitschriftenartikelEinige Bemerkungen Kurt Gödels zur Mengenlehre(2019) Carl, Merlin; Engelen, Eva-MariaErschienen in: Siegener Beiträge zur Geschichte und Philosophie der Mathematik : SieB. universi, Universitätsverlag Siegen. 2019, 11, pp. 143-169. ISSN 2197-5590
- VeröffentlichungZeitschriftenartikelRandomness via infinite computation and effective descriptive set theory(2018) Carl, Merlin; Schlicht, PhilippErschienen in: The Journal of Symbolic Logic. 2018, 83(2), pp. 766-789. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2018.3
- VeröffentlichungBeitrag zu einem KonferenzbandSome Observations on Infinitary Complexity(2018) Carl, MerlinErschienen in: MANEA, Florin, ed., Russell G. MILLER, ed., Dirk NOWOTKA, ed.. Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings. Cham: Springer, 2018, pp. 118-125. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-94417-3. Available under: doi: 10.1007/978-3-319-94418-0_12
- VeröffentlichungBeitrag zu einem KonferenzbandTaming Koepke's Zoo(2018) Carl, Merlin; Ouazzani, Sabrina; Welch, PhilipErschienen in: MANEA, Florin, ed., Russell G. MILLER, ed., Dirk NOWOTKA, ed.. Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings. Cham: Springer, 2018, pp. 126-135. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-94417-3. Available under: doi: 10.1007/978-3-319-94418-0_13
- VeröffentlichungZeitschriftenartikelRecognizable sets and Woodin cardinals : Computation beyond the constructible universe(2018) Carl, Merlin; Schlicht, Philipp; Welch, PhilipErschienen in: Annals of Pure and Applied Logic. 2018, 169(4), pp. 312-332. ISSN 0168-0072. eISSN 1873-2461. Available under: doi: 10.1016/j.apal.2017.12.007
- VeröffentlichungZeitschriftenartikelThe Bolzano-Weierstrass theorem in generalised analysis(2018) Carl, Merlin; Galeotti, Lorenzo; Löwe, BenediktErschienen in: Houston Journal of Mathematics. 2018, 44(4), pp. 1081-1109. ISSN 0362-1588
- VeröffentlichungZeitschriftenartikelInfinite time recognizability from generic oracles and the recognizable jump operator(2017) Carl, MerlinErschienen in: Computability. 2017, 6(3), pp. 223-247. ISSN 2211-3568. eISSN 2211-3576. Available under: doi: 10.3233/COM-160061
- VeröffentlichungBeitrag zu einem KonferenzbandKoepke Machines and Satisfiability for Infinitary Propositional Languages(2017) Carl, Merlin; Löwe, Benedikt; Rin, Benjamin G.Erschienen in: KARI, Jarkko, ed. and others. Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Cham: Springer, 2017, pp. 187-197. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-58740-0. Available under: doi: 10.1007/978-3-319-58741-7_19