Carl, Merlin

Lade...
Profilbild
E-Mail-Adresse
ORCID
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Carl
Vorname
Merlin
Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 10 von 40
  • Veröffentlichung
    Zeitschriftenartikel
    Models of true arithmetic are integer parts of models of real exponentation
    (2021) Carl, Merlin; Krapp, Lothar Sebastian
    Erschienen 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
    Krapp_2-1dezh6kqr1uhq7.pdf
  • Veröffentlichung
    Zeitschriftenartikel
    Reachability for infinite time Turing machines with long tapes
    (2020) Carl, Merlin; Rin, Benjamin; Schlicht, Philipp
    Erschienen 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
    Carl_2-ytm4xcfbzcf43.pdf
  • Veröffentlichung
    Zeitschriftenartikel
    Einige Bemerkungen Kurt Gödels zur Mengenlehre
    (2019) Carl, Merlin; Engelen, Eva-Maria
    Erschienen in: Siegener Beiträge zur Geschichte und Philosophie der Mathematik : SieB. universi, Universitätsverlag Siegen. 2019, 11, pp. 143-169. ISSN 2197-5590
  • Veröffentlichung
    Zeitschriftenartikel
    Randomness via infinite computation and effective descriptive set theory
    (2018) Carl, Merlin; Schlicht, Philipp
    Erschienen 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öffentlichung
    Beitrag zu einem Konferenzband
    Some Observations on Infinitary Complexity
    (2018) Carl, Merlin
    Erschienen 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öffentlichung
    Beitrag zu einem Konferenzband
    Taming Koepke's Zoo
    (2018) Carl, Merlin; Ouazzani, Sabrina; Welch, Philip
    Erschienen 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öffentlichung
    Zeitschriftenartikel
    Recognizable sets and Woodin cardinals : Computation beyond the constructible universe
    (2018) Carl, Merlin; Schlicht, Philipp; Welch, Philip
    Erschienen 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öffentlichung
    Zeitschriftenartikel
    The Bolzano-Weierstrass theorem in generalised analysis
    (2018) Carl, Merlin; Galeotti, Lorenzo; Löwe, Benedikt
    Erschienen in: Houston Journal of Mathematics. 2018, 44(4), pp. 1081-1109. ISSN 0362-1588
  • Veröffentlichung
    Zeitschriftenartikel
    Infinite time recognizability from generic oracles and the recognizable jump operator
    (2017) Carl, Merlin
    Erschienen in: Computability. 2017, 6(3), pp. 223-247. ISSN 2211-3568. eISSN 2211-3576. Available under: doi: 10.3233/COM-160061
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Koepke 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