Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.13661 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
by: Choffrut, Christian
Published: (2024)
by: Choffrut, Christian
Published: (2024)
Message complexity for unary multiautomata systems
by: Choffrut, Christian
Published: (2024)
by: Choffrut, Christian
Published: (2024)
Constructive theory of ordinals
by: Coquand, Thierry, et al.
Published: (2022)
by: Coquand, Thierry, et al.
Published: (2022)
Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)
by: Fontanella, Laura, et al.
Published: (2025)
An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)
by: Arai, Toshiyasu
Published: (2022)
Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
by: Bodor, Bertalan, et al.
Published: (2025)
by: Bodor, Bertalan, et al.
Published: (2025)
Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
by: Gerdes, Peter M.
Published: (2025)
by: Gerdes, Peter M.
Published: (2025)
Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)
by: Ducourtial, Adrian
Published: (2025)
A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)
by: Benjamin, Thibaut, et al.
Published: (2026)
Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?
by: Brian, Will
Published: (2024)
by: Brian, Will
Published: (2024)
Games with backtracking options corresponding to the ordinal analysis of $PA$
by: Ken, Eitetsu
Published: (2024)
by: Ken, Eitetsu
Published: (2024)
Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)
by: Benjamin, Thibaut, et al.
Published: (2021)
Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)
by: Wang, Shuwei
Published: (2025)
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)
by: Fernández-Duque, David, et al.
Published: (2022)
Approximation of hyperarithmetic analysis by $ω$-model reflection
by: Hashimoto, Koki
Published: (2024)
by: Hashimoto, Koki
Published: (2024)
A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)
by: Poveda, Alejandro, et al.
Published: (2025)
An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)
by: Arai, Toshiyasu
Published: (2023)
$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)
by: Dziadek, Sven, et al.
Published: (2022)
Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)
by: Benhamou, Tom, et al.
Published: (2024)
$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
by: Damaj, Jad, et al.
Published: (2024)
by: Damaj, Jad, et al.
Published: (2024)
AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
by: Blue, Douglas, et al.
Published: (2024)
by: Blue, Douglas, et al.
Published: (2024)
Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)
by: Abate, Alessandro, et al.
Published: (2026)
On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)
by: Aksornthong, Navin, et al.
Published: (2023)
Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
by: Bannister, Nathaniel
Published: (2025)
by: Bannister, Nathaniel
Published: (2025)
Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)
by: Gilton, Thomas, et al.
Published: (2022)
A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)
by: Kura, Satoshi, et al.
Published: (2025)
Multi-clocked Guarded Recursion Beyond ω
by: Møgelberg, Rasmus Ejlers
Published: (2025)
by: Møgelberg, Rasmus Ejlers
Published: (2025)
Structures preserved by primitive actions of $S_ω$
by: Bodirsky, Manuel, et al.
Published: (2025)
by: Bodirsky, Manuel, et al.
Published: (2025)
$ω$-consistency for Different Arrays of Quantifiers
by: Santos, Paulo Guilherme
Published: (2024)
by: Santos, Paulo Guilherme
Published: (2024)
Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)
by: Benjamin, Thibaut, et al.
Published: (2024)
A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
by: Eshkol, Julian
Published: (2025)
by: Eshkol, Julian
Published: (2025)
The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)
by: Neumann, Eike, et al.
Published: (2024)
Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)
by: Banerjee, Rishi, et al.
Published: (2024)
Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)
by: Ramos, Arthur F., et al.
Published: (2025)
Varsovian models $ω$
by: Schlutzenberg, Farmer
Published: (2022)
by: Schlutzenberg, Farmer
Published: (2022)
Clarifying ordinals
by: Schweber, Noah
Published: (2024)
by: Schweber, Noah
Published: (2024)
The Josefson--Nissenzweig theorem and filters on $ω$
by: Marciszewski, Witold, et al.
Published: (2022)
by: Marciszewski, Witold, et al.
Published: (2022)
Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)
by: Lipparini, Paolo
Published: (2025)