Imagen de Portada

Approximation of hyperarithmetic analysis by $ω$-model reflection

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Hashimoto, Koki
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Connecting real and hyperarithmetical analysis
por: Sanders, Sam
Publicado: (2024)

Martin's conjecture for regressive functions on the hyperarithmetic degrees
por: Lutz, Patrick
Publicado: (2023)

Listing the hyperarithmetical functions
por: Miller, Joseph S., et al.
Publicado: (2026)

A Solovay-like model at $\aleph_ω$
por: Poveda, Alejandro, et al.
Publicado: (2025)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
por: Gerdes, Peter M.
Publicado: (2025)

Varsovian models $ω$
por: Schlutzenberg, Farmer
Publicado: (2022)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
por: Benhamou, Tom, et al.
Publicado: (2024)

Equational theory of ordinals with addition and left multiplication by $ω$
por: Choffrut, Christian
Publicado: (2024)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
por: Hoffelner, Stefan
Publicado: (2025)

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models
por: Brian, Will, et al.
Publicado: (2026)

$ω$-Regular Energy Problems
por: Dziadek, Sven, et al.
Publicado: (2022)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
por: Damaj, Jad, et al.
Publicado: (2024)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
por: Blue, Douglas, et al.
Publicado: (2024)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
por: Aksornthong, Navin, et al.
Publicado: (2023)

An algebraic theory of ω-regular languages, via μν-expressions
por: Das, Anupam, et al.
Publicado: (2025)

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
por: Bannister, Nathaniel
Publicado: (2025)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
por: Gilton, Thomas, et al.
Publicado: (2022)

Complete $ω$-Regular Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2026)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
por: Eshkol, Julian
Publicado: (2025)

Globular weak $ω$-categories as models of a type theory
por: Benjamin, Thibaut, et al.
Publicado: (2021)

A Hierarchy of Supermartingales for $ω$-Regular Verification
por: Kura, Satoshi, et al.
Publicado: (2025)

Multi-clocked Guarded Recursion Beyond ω
por: Møgelberg, Rasmus Ejlers
Publicado: (2025)

Structures preserved by primitive actions of $S_ω$
por: Bodirsky, Manuel, et al.
Publicado: (2025)

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

Computational Paths Form a Weak ω-Groupoid
por: Ramos, Arthur F., et al.
Publicado: (2025)

Invertible cells in $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2024)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
por: Bodor, Bertalan, et al.
Publicado: (2025)

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

The Josefson--Nissenzweig theorem and filters on $ω$
por: Marciszewski, Witold, et al.
Publicado: (2022)

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

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
por: Asperó, David, et al.
Publicado: (2022)

Relative leftmost path principles and omega-model reflections of transfinite inductions
por: Suzuki, Yudai
Publicado: (2024)

A formulation of D-institution using functor categories
por: Hashimoto, Go
Publicado: (2026)

Induction rules for Transition Algebra
por: Hashimoto, Go
Publicado: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2025)

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

A consistency theorem for cardinal sequences of length $< ω_3$
por: Martínez, Juan Carlos, et al.
Publicado: (2025)

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

Symbolic ω-automata with obligations
por: Di Stefano, Luca
Publicado: (2025)