Copertina

Randomness via infinite computation and effective descriptive set theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Carl, Merlin, Schlicht, Philipp
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Canonical Truth
di: Carl, Merlin, et al.
Pubblicazione: (2017)

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

Algorithmic Randomness for Infinite Time Register Machines
di: Carl, Merlin
Pubblicazione: (2014)

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

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

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

Generalized Effective Reducibility
di: Carl, Merlin
Pubblicazione: (2016)

The Lost Melody Phenomenon
di: Carl, Merlin
Pubblicazione: (2014)

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

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

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

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

Recognizable Realizability
di: Carl, Merlin
Pubblicazione: (2024)

Taming Koepke's Zoo II: Register Machines
di: Carl, Merlin
Pubblicazione: (2019)

Reduction Complexities in Set Theory
di: Carl, Merlin
Pubblicazione: (2025)

Optimal Results on ITRM-recognizability
di: Carl, Merlin
Pubblicazione: (2013)

A Note on Clockability for Ordinal Turing Machines
di: Carl, Merlin
Pubblicazione: (2019)

The distribution of ITRM-recognizable reals
di: Carl, Merlin
Pubblicazione: (2012)

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

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

A Note on Power-OTMs
di: Carl, Merlin
Pubblicazione: (2024)

Some Observations on Infinitary Complexity
di: Carl, Merlin
Pubblicazione: (2018)

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

Effectivity and Reducibility with Ordinal Turing Machines
di: Carl, Merlin
Pubblicazione: (2018)

Space and Time Complexity for Infinite Time Turing Machines
di: Carl, Merlin
Pubblicazione: (2019)

Almost sure OTM-realizability
di: Carl, Merlin
Pubblicazione: (2024)

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

Fodor space in generalized descriptive set theory
di: Feldman, Ido, et al.
Pubblicazione: (2026)

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

Uncountable sets and an infinite linear order game
di: Matos-Wiederhold, Tonatiuh, et al.
Pubblicazione: (2024)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
di: Melleray, Julien
Pubblicazione: (2026)

Strong negation in the theory of computable functionals TCF
di: Köpp, Nils, et al.
Pubblicazione: (2022)

Tarskian truth theories over set theory
di: Enayat, Ali
Pubblicazione: (2026)

Gradualist descriptionalist set theory
di: Simmons, David
Pubblicazione: (2026)

The Ginsburg--Sands theorem and computability theory
di: Benham, Heidi, et al.
Pubblicazione: (2024)

Finite combinatorics and computability theory
di: Dzhafarov, Damir D., et al.
Pubblicazione: (2026)

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)

Choice and independence of premise rules in intuitionistic set theory
di: Frittaion, Emanuele, et al.
Pubblicazione: (2024)