Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
Search Results
Now showing 1 - 10 of 40
- PublicationJournal articleModels of true arithmetic are integer parts of models of real exponentation(2021) Carl, Merlin; Krapp, Lothar SebastianPublished in: Journal of Logic and Analysis ; (2021), 13. - 3. - Department of Philosophy, Carnegie Mellon University. - ISSN 1759-9008
- PublicationJournal articleReachability for infinite time Turing machines with long tapes(2020) Carl, Merlin; Rin, Benjamin; Schlicht, PhilippPublished in: Logical Methods in Computer Science ; 16 (2020), 2. - International Federation for Computational Logic (IFCoLog) ; TU Braunschweig. - eISSN 1860-5974
- PublicationJournal articleEinige Bemerkungen Kurt Gödels zur Mengenlehre(2019) Carl, Merlin; Engelen, Eva-MariaPublished in: Siegener Beiträge zur Geschichte und Philosophie der Mathematik : SieB ; 11 (2019). - pp. 143-169. - universi, Universitätsverlag Siegen. - ISSN 2197-5590
- PublicationJournal articleRandomness via infinite computation and effective descriptive set theory(2018) Carl, Merlin; Schlicht, PhilippPublished in: The Journal of Symbolic Logic ; 83 (2018), 2. - pp. 766-789. - ISSN 0022-4812. - eISSN 1943-5886
- PublicationContribution to a conference collectionSome Observations on Infinitary Complexity(2018) Carl, MerlinPublished in: Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings / Manea, Florin; Miller, Russell G.; Nowotka, Dirk (ed.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 10936). - pp. 118-125. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-94417-3
- PublicationContribution to a conference collectionTaming Koepke's Zoo(2018) Carl, Merlin; Ouazzani, Sabrina; Welch, PhilipPublished in: Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings / Manea, Florin; Miller, Russell G.; Nowotka, Dirk (ed.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 10936). - pp. 126-135. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-94417-3
- PublicationJournal articleThe Bolzano-Weierstrass theorem in generalised analysis(2018) Carl, Merlin; Galeotti, Lorenzo; Löwe, BenediktPublished in: Houston Journal of Mathematics ; 44 (2018), 4. - pp. 1081-1109. - ISSN 0362-1588
- PublicationJournal articleRecognizable sets and Woodin cardinals : Computation beyond the constructible universe(2018) Carl, Merlin; Schlicht, Philipp; Welch, PhilipPublished in: Annals of Pure and Applied Logic ; 169 (2018), 4. - pp. 312-332. - ISSN 0168-0072. - eISSN 1873-2461
- PublicationJournal articleInfinite time recognizability from generic oracles and the recognizable jump operator(2017) Carl, MerlinPublished in: Computability ; 6 (2017), 3. - pp. 223-247. - ISSN 2211-3568. - eISSN 2211-3576
- PublicationContribution to a conference collectionKoepke Machines and Satisfiability for Infinitary Propositional Languages(2017) Carl, Merlin; Löwe, Benedikt; Rin, Benjamin G.Published in: Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / Kari, Jarkko et al. (ed.). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10307). - pp. 187-197. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-58740-0
