Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
15 results
Search Results
Now showing 1 - 10 of 15
- 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
- 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 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 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
- PublicationJournal articleOn the value group of a model of Peano Arithmetic(2017) Carl, Merlin; D’Aquino, Paola; Kuhlmann, SalmaPublished in: Forum Mathematicum ; 29 (2017), 4. - pp. 951-957. - ISSN 0933-7741. - eISSN 1435-5337
- PublicationJournal articleInfinite Computations with Random Oracles(2017) Carl, Merlin; Schlicht, PhilippPublished in: Notre Dame Journal of Formal Logic ; 58 (2017), 2. - pp. 249-270. - ISSN 0029-4527. - eISSN 1939-0726
- PublicationJournal articleRandomness and Degree Theory for Infinite Time Register Machines(2016) Carl, MerlinPublished in: Computability ; 5 (2016), 2. - pp. 181-196. - ISSN 2211-3568. - eISSN 2211-3576
