Merlin Carl
Identifiers
- name variant Merlin Carl 0.60 · backfill
Papers (31)
- Reduction Complexities in Set Theory math.LO · 2025 · author #1
- Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines math.LO · 2024 · author #1
- Almost sure OTM-realizability math.LO · 2024 · author #1
- Lower bounds on $\beta(\alpha)$ and other properties of $\alpha$-ITRMs math.LO · 2021 · author #1
- The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines math.LO · 2020 · author #1
- Taming Koepke's Zoo II: Register Machines math.LO · 2019 · author #1
- A Note on Clockability for Ordinal Turing Machines math.LO · 2019 · author #1
- Space and Time Complexity for Infinite Time Turing Machines math.LO · 2019 · author #1
- Effectivity and Reducibility with Ordinal Turing Machines math.LO · 2018 · author #1
- A transfer principle for second-order arithmetic, and applications math.LO · 2018 · author #1
- Some Observations on Infinitary Complexity math.LO · 2018 · author #1
- Canonical Truth math.LO · 2017 · author #1
- Space-Bounded OTMs and REG$^{\infty}$ math.LO · 2017 · author #1
- Randomness via infinite computation and effective descriptive set theory math.LO · 2016 · author #1
- A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic math.LO · 2016 · author #1
- Generalized Effective Reducibility math.LO · 2016 · author #1
- Recognizable sets and Woodin cardinals: Computation beyond the constructible universe math.LO · 2015 · author #1
- Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator math.LO · 2015 · author #1
- Randomness and Degree Theory for Infinite Time Register Machines math.LO · 2015 · author #1
- A Note on Always Decidable Propositional Forms math.LO · 2015 · author #1
- A Note on the Decidability of the Necessity of Axioms math.LO · 2014 · author #1
- The Lost Melody Phenomenon math.LO · 2014 · author #1
- Structures Associated with Real Closed Fields and the Axiom of Choice math.LO · 2014 · author #1
- A note on Autoreducibility for Infinite Time Register Machines and parameter-free Ordinal Turing Machines math.LO · 2014 · author #1
- Algorithmic Randomness for Infinite Time Register Machines math.LO · 2014 · author #1
- Towards a Church-Turing-Thesis for Infinitary Computations math.LO · 2013 · author #1
- Models of true arithmetic are integer parts of nice real closed fields math.LO · 2013 · author #1
- Infinite computations with random oracles math.LO · 2013 · author #1
- Optimal Results on ITRM-recognizability math.LO · 2013 · author #1
- The distribution of ITRM-recognizable reals math.LO · 2012 · author #1
- On the Value Group of a Model of Peano Arithmetic math.LO · 2012 · author #1
Mentions
- 1502.02545 #1 · backfill · confidence 0.70 Merlin Carl
- 1408.5314 #1 · backfill · confidence 0.70 Merlin Carl
- 1402.1063 #1 · backfill · confidence 0.70 Merlin Carl
- 1307.6599 #1 · backfill · confidence 0.70 Merlin Carl
- 1307.0160 #1 · backfill · confidence 0.70 Merlin Carl
- 1205.2254 #1 · backfill · confidence 0.70 Merlin Carl
- 2403.10280 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 2102.13531 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 2009.10582 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1907.09513 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1906.10087 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1905.06832 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1811.11630 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1801.10027 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1712.02566 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1707.05297 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1612.02982 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1601.01899 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1512.06101 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1508.06493 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1508.04618 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1402.6130 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1401.1734 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1407.3624 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1307.6595 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1306.5128 #1 · arxiv_oai · confidence 0.70 Merlin Carl
- 1208.1901 #1 · arxiv_oai · confidence 0.70 Merlin Carl
Frequent Coauthors
- Philipp Schlicht 4 shared papers
- Asgar Jamneshan 1 shared papers
- Paola D'Aquino 1 shared papers
- Philip Welch 1 shared papers
- Salma Kuhlmann 1 shared papers