:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Carl, Merlin
Format:	Preprint
Published:	2012
Subjects:	Logic
Online Access:	https://arxiv.org/abs/1208.1901
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimal Results on ITRM-recognizability
by: Carl, Merlin
Published: (2013)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)

The Lost Melody Phenomenon
by: Carl, Merlin
Published: (2014)

Randomness and Degree Theory for Infinite Time Register Machines
by: Carl, Merlin
Published: (2015)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
by: Carl, Merlin
Published: (2015)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
by: Carl, Merlin
Published: (2020)

Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)

Space-Bounded OTMs and REG$^{\infty}$
by: Carl, Merlin
Published: (2017)

A Note on OTM-Realizability and Constructive Set Theories
by: Carl, Merlin
Published: (2019)

Recognizable Realizability
by: Carl, Merlin
Published: (2024)

Algorithmic Randomness for Infinite Time Register Machines
by: Carl, Merlin
Published: (2014)

Taming Koepke's Zoo II: Register Machines
by: Carl, Merlin
Published: (2019)

Reduction Complexities in Set Theory
by: Carl, Merlin
Published: (2025)

A Note on Clockability for Ordinal Turing Machines
by: Carl, Merlin
Published: (2019)

Lower bounds on $β(α)$ and other properties of $α$-ITRMs
by: Carl, Merlin
Published: (2021)

A Note on Power-OTMs
by: Carl, Merlin
Published: (2024)

Some Observations on Infinitary Complexity
by: Carl, Merlin
Published: (2018)

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

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
by: Carl, Merlin
Published: (2024)

Generalized Effective Reducibility
by: Carl, Merlin
Published: (2016)

Effectivity and Reducibility with Ordinal Turing Machines
by: Carl, Merlin
Published: (2018)

Space and Time Complexity for Infinite Time Turing Machines
by: Carl, Merlin
Published: (2019)

Almost sure OTM-realizability
by: Carl, Merlin
Published: (2024)

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
by: Carl, Merlin
Published: (2023)

Canonical Truth
by: Carl, Merlin, et al.
Published: (2017)

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)

Improving the Diproche CNL through Autoformalization via Large Language Models
by: Carl, Merlin
Published: (2023)

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
by: Carl, Merlin, et al.
Published: (2015)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
by: Hausmann, Daniel, et al.
Published: (2025)

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

Almost real closed fields with real analytic structure
by: Nguyen, Kien Huu, et al.
Published: (2024)

RV32I in ACL2
by: Kwan, Carl
Published: (2025)

Analytic holonomicity of real C$^{\mathrm{exp}}$-class distributions
by: Aizenbud, Avraham, et al.
Published: (2024)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Non-distributive relatives of ETL and NFL
by: Kozhemiachenko, Daniil
Published: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

Priestley-style duality for filter-distributive congruential logics
by: Esteban, María, et al.
Published: (2020)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)