Imagen de Portada

Equational theory of ordinals with addition and left multiplication by $ω$

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Choffrut, Christian
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

Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
por: Choffrut, Christian
Publicado: (2024)

Message complexity for unary multiautomata systems
por: Choffrut, Christian
Publicado: (2024)

Constructive theory of ordinals
por: Coquand, Thierry, et al.
Publicado: (2022)

Realizing the totally unordered structure of ordinals
por: Fontanella, Laura, et al.
Publicado: (2025)

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

An ordinal analysis of a single stable ordinal
por: Arai, Toshiyasu
Publicado: (2022)

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

Games with backtracking options corresponding to the ordinal analysis of $PA$
por: Ken, Eitetsu
Publicado: (2024)

A type theory for invertibility in weak $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2026)

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

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?
por: Brian, Will
Publicado: (2024)

Higher arithmetic on the ordinals
por: Ducourtial, Adrian
Publicado: (2025)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
por: Fernández-Duque, David, et al.
Publicado: (2022)

Approximation of hyperarithmetic analysis by $ω$-model reflection
por: Hashimoto, Koki
Publicado: (2024)

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

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

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

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

$ω$-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 ordinal analysis of $Π_{N}$-Collection
por: Arai, Toshiyasu
Publicado: (2023)

Antichain of ordinals in intuitionistic set theory
por: Wang, Shuwei
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)

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)

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)

The equational theory of the Weihrauch lattice with multiplication
por: Neumann, Eike, et al.
Publicado: (2024)

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

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

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