Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
8 results
Search Results
Now showing 1 - 8 of 8
- 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 articleOptimal Results on Recognizability for Infinite Time Register Machines(2015) Carl, MerlinPublished in: The Journal of Symbolic Logic ; 80 (2015), 4. - pp. 1116-1130. - ISSN 0022-4812. - eISSN 1943-5886
- PublicationWorking Paper/Technical ReportInfinite computations with random oracles(2013) Carl, Merlin; Schlicht, Philipp
- PublicationPreprintFormal and Natural Proof : a phenomenological approach(2013) Carl, Merlin
- PublicationPreprintModels of true arithmetic are integer parts of nice real closed fields(2013) Carl, Merlin
- PublicationPreprintValue Groups of Real Closed Fields and Fragments of Peano Arithmetic(2012) Kuhlmann, Salma; Carl, Merlin; D'Aquino, Paola
