Buchumschlag

Space-Bounded OTMs and REG$^{\infty}$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Carl, Merlin
Format:	Preprint
Veröffentlicht:	2017
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Note on Power-OTMs
von: Carl, Merlin
Veröffentlicht: (2024)

Space and Time Complexity for Infinite Time Turing Machines
von: Carl, Merlin
Veröffentlicht: (2019)

The Lost Melody Phenomenon
von: Carl, Merlin
Veröffentlicht: (2014)

Randomness and Degree Theory for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2015)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
von: Carl, Merlin
Veröffentlicht: (2015)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
von: Carl, Merlin
Veröffentlicht: (2020)

Structures Associated with Real Closed Fields and the Axiom of Choice
von: Carl, Merlin
Veröffentlicht: (2014)

A Note on OTM-Realizability and Constructive Set Theories
von: Carl, Merlin
Veröffentlicht: (2019)

Recognizable Realizability
von: Carl, Merlin
Veröffentlicht: (2024)

Algorithmic Randomness for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2014)

Taming Koepke's Zoo II: Register Machines
von: Carl, Merlin
Veröffentlicht: (2019)

Reduction Complexities in Set Theory
von: Carl, Merlin
Veröffentlicht: (2025)

Optimal Results on ITRM-recognizability
von: Carl, Merlin
Veröffentlicht: (2013)

A Note on Clockability for Ordinal Turing Machines
von: Carl, Merlin
Veröffentlicht: (2019)

The distribution of ITRM-recognizable reals
von: Carl, Merlin
Veröffentlicht: (2012)

Models of true arithmetic are integer parts of nice real closed fields
von: Carl, Merlin
Veröffentlicht: (2013)

Lower bounds on $β(α)$ and other properties of $α$-ITRMs
von: Carl, Merlin
Veröffentlicht: (2021)

Some Observations on Infinitary Complexity
von: Carl, Merlin
Veröffentlicht: (2018)

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
von: Carl, Merlin
Veröffentlicht: (2022)

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
von: Carl, Merlin
Veröffentlicht: (2024)

Generalized Effective Reducibility
von: Carl, Merlin
Veröffentlicht: (2016)

Effectivity and Reducibility with Ordinal Turing Machines
von: Carl, Merlin
Veröffentlicht: (2018)

Almost sure OTM-realizability
von: Carl, Merlin
Veröffentlicht: (2024)

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
von: Carl, Merlin
Veröffentlicht: (2023)

Canonical Truth
von: Carl, Merlin, et al.
Veröffentlicht: (2017)

Randomness via infinite computation and effective descriptive set theory
von: Carl, Merlin, et al.
Veröffentlicht: (2016)

Improving the Diproche CNL through Autoformalization via Large Language Models
von: Carl, Merlin
Veröffentlicht: (2023)

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
von: Carl, Merlin, et al.
Veröffentlicht: (2015)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
von: Suárez, Juan M Santiago, et al.
Veröffentlicht: (2025)

Cardinal Characteristics on Bounded Generalised Baire Spaces
von: van der Vlugt, Tristan
Veröffentlicht: (2023)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

The $K_\infty$ Homotopy $λ$-Model
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2025)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Tolerance and the Bounds
von: Rohan French
Veröffentlicht: (2021)

Ramsey Theory and Bounding in Arithmetic
von: Cholak, Peter
Veröffentlicht: (2026)

Bounded depth in Hilbert algebras
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Uniform Bounds in D-Minimal Structures
von: Farris, Madie, et al.
Veröffentlicht: (2026)