Resultados de búsqueda - Carl, Merlin

Limitar resultados
  1. 1
    Imagen de Portada

    The distribution of ITRM-recognizable reals Autoría: Carl, Merlin

    Publicado 2012
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    Optimal Results on ITRM-recognizability Autoría: Carl, Merlin

    Publicado 2013
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    Models of true arithmetic are integer parts of nice real closed fields Autoría: Carl, Merlin

    Publicado 2013
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    Algorithmic Randomness for Infinite Time Register Machines Autoría: Carl, Merlin

    Publicado 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    Structures Associated with Real Closed Fields and the Axiom of Choice Autoría: Carl, Merlin

    Publicado 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    The Lost Melody Phenomenon Autoría: Carl, Merlin

    Publicado 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

    Randomness and Degree Theory for Infinite Time Register Machines Autoría: Carl, Merlin

    Publicado 2015
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

    Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator Autoría: Carl, Merlin

    Publicado 2015
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

    Generalized Effective Reducibility Autoría: Carl, Merlin

    Publicado 2016
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

    Space-Bounded OTMs and REG$^{\infty}$ Autoría: Carl, Merlin

    Publicado 2017
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

    Some Observations on Infinitary Complexity Autoría: Carl, Merlin

    Publicado 2018
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

    Effectivity and Reducibility with Ordinal Turing Machines Autoría: Carl, Merlin

    Publicado 2018
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

    A Note on OTM-Realizability and Constructive Set Theories Autoría: Carl, Merlin

    Publicado 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  14. 14
    Imagen de Portada

    Space and Time Complexity for Infinite Time Turing Machines Autoría: Carl, Merlin

    Publicado 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  15. 15
    Imagen de Portada

    A Note on Clockability for Ordinal Turing Machines Autoría: Carl, Merlin

    Publicado 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  16. 16
    Imagen de Portada

    Taming Koepke's Zoo II: Register Machines Autoría: Carl, Merlin

    Publicado 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  17. 17
    Imagen de Portada

    The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines Autoría: Carl, Merlin

    Publicado 2020
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  18. 18
    Imagen de Portada

    Lower bounds on $β(α)$ and other properties of $α$-ITRMs Autoría: Carl, Merlin

    Publicado 2021
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  19. 19
    Imagen de Portada

    The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines Autoría: Carl, Merlin

    Publicado 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  20. 20
    Imagen de Portada

    Improving the Diproche CNL through Autoformalization via Large Language Models Autoría: Carl, Merlin

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: