Cover Image

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carl, Merlin, Schlicht, Philipp, Welch, Philip
Format:	Preprint
Published:	2015
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
by: Blue, Douglas, et al.
Published: (2026)

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

A synthetic overview on some known characterizations of Woodin cardinals
by: Gullà, Gabriele
Published: (2024)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

Congruence Preservation, Lattices and Recognizability
by: Cegielski, Patrick, et al.
Published: (2024)

The Baire and perfect set properties at singulars cardinals
by: Dimonte, Vincenzo, et al.
Published: (2024)

Automorphism groups of non-Archimedean groups
by: Nies, Andre, et al.
Published: (2025)

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

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

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)

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)

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

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

The distribution of ITRM-recognizable reals
by: Carl, Merlin
Published: (2012)

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

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)

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)

No cardinal correct inner model elementarily embeds into the universe
by: Goldberg, Gabriel, et al.
Published: (2024)

Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)

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

Density cardinals
by: Brech, Christina, et al.
Published: (2024)

A note on the cardinality of definable families of sets in o‐minimal structures
by: Pablo Andújar Guerrero
Published: (2024)

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

Two-cardinal Kurepa Hypotheses
by: Wu, Fanxin
Published: (2025)