Copertina

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Gerdes, Peter M.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03D30 (Primary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

Products of Directed Sets with Calibre $(ω_1, ω)$
di: Gartside, Paul, et al.
Pubblicazione: (2024)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
di: Andretta, Alessandro, et al.
Pubblicazione: (2023)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
di: Banerjee, Rishi, et al.
Pubblicazione: (2024)

$ω$-consistency for Different Arrays of Quantifiers
di: Santos, Paulo Guilherme
Pubblicazione: (2024)

Varsovian models $ω$
di: Schlutzenberg, Farmer
Pubblicazione: (2022)

Models for short sequences of measures in the cofinality-$ω$ constructible model
di: Ya'ar, Ur
Pubblicazione: (2021)

Contrasting the Halves of an Ahmad Pair
di: Ravishankar, Karthik
Pubblicazione: (2025)

Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
di: Dow, Alan, et al.
Pubblicazione: (2023)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
di: Hoffelner, Stefan
Pubblicazione: (2026)

A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
di: Lin, Deren, et al.
Pubblicazione: (2022)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
di: Tanaka, Yoshihito
Pubblicazione: (2025)

Polyhedrality for twisted sums with $C(ω^α)$
di: Castillo, Jesús M. F., et al.
Pubblicazione: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
di: Lietz, Andreas
Pubblicazione: (2024)

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

Noetherian Properties, Large Cardinals, and Independence Around $\aleph_ω$
di: Soukup, Lajos, et al.
Pubblicazione: (2025)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Variants of Solovay reducibility
di: Titov, Ivan
Pubblicazione: (2024)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Adding $\aleph_ω$ many Cohen reals
di: Marun, Pedro, et al.
Pubblicazione: (2025)

Long Strong Chains of Subsets of $ω_1$
di: Asperó, David, et al.
Pubblicazione: (2026)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

An Iteration Theorem for $ω_1$-preserving Forcings
di: Lietz, Andreas
Pubblicazione: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
di: Malbos, Philippe, et al.
Pubblicazione: (2025)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
di: Titov, Ivan
Pubblicazione: (2024)

The Nikodym property and filters on $ω$
di: Żuchowski, Tomasz
Pubblicazione: (2024)

The Polynomial Hierarchy and $ω$-categorical CSPs
di: Pro, Santiago Guzmán, et al.
Pubblicazione: (2026)

Bounding finite-image sequences of length $ω^k$
di: Altman, Harry
Pubblicazione: (2024)

When does $\aleph_1$-categoricity imply $ω$-stability?
di: Baldwin, John T., et al.
Pubblicazione: (2023)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)

On ends of degree $ω_1$
di: Aurichi, Leandro, et al.
Pubblicazione: (2024)