:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Choffrut, Christian
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2404.13661
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Message complexity for unary multiautomata systems
par: Choffrut, Christian
Publié: (2024)

Constructive theory of ordinals
par: Coquand, Thierry, et autres
Publié: (2022)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

An ordinal analysis of a single stable ordinal
par: Arai, Toshiyasu
Publié: (2022)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
par: Bodor, Bertalan, et autres
Publié: (2025)

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

Higher arithmetic on the ordinals
par: Ducourtial, Adrian
Publié: (2025)

A type theory for invertibility in weak $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2026)

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

Games with backtracking options corresponding to the ordinal analysis of $PA$
par: Ken, Eitetsu
Publié: (2024)

Globular weak $ω$-categories as models of a type theory
par: Benjamin, Thibaut, et autres
Publié: (2021)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
par: Fernández-Duque, David, et autres
Publié: (2022)

Approximation of hyperarithmetic analysis by $ω$-model reflection
par: Hashimoto, Koki
Publié: (2024)

A Solovay-like model at $\aleph_ω$
par: Poveda, Alejandro, et autres
Publié: (2025)

An ordinal analysis of $Π_{N}$-Collection
par: Arai, Toshiyasu
Publié: (2023)

$ω$-Regular Energy Problems
par: Dziadek, Sven, et autres
Publié: (2022)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
par: Benhamou, Tom, et autres
Publié: (2024)

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

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
par: Damaj, Jad, et autres
Publié: (2024)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
par: Blue, Douglas, et autres
Publié: (2024)

Complete $ω$-Regular Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2026)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
par: Aksornthong, Navin, et autres
Publié: (2023)

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

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
par: Gilton, Thomas, et autres
Publié: (2022)

A Hierarchy of Supermartingales for $ω$-Regular Verification
par: Kura, Satoshi, et autres
Publié: (2025)

Multi-clocked Guarded Recursion Beyond ω
par: Møgelberg, Rasmus Ejlers
Publié: (2025)

Structures preserved by primitive actions of $S_ω$
par: Bodirsky, Manuel, et autres
Publié: (2025)

$ω$-consistency for Different Arrays of Quantifiers
par: Santos, Paulo Guilherme
Publié: (2024)

Invertible cells in $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2024)

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

The equational theory of the Weihrauch lattice with multiplication
par: Neumann, Eike, et autres
Publié: (2024)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
par: Banerjee, Rishi, et autres
Publié: (2024)

Computational Paths Form a Weak ω-Groupoid
par: Ramos, Arthur F., et autres
Publié: (2025)

Varsovian models $ω$
par: Schlutzenberg, Farmer
Publié: (2022)

Clarifying ordinals
par: Schweber, Noah
Publié: (2024)

The Josefson--Nissenzweig theorem and filters on $ω$
par: Marciszewski, Witold, et autres
Publié: (2022)

Monotone infinitary operations on ordinals (extended version)
par: Lipparini, Paolo
Publié: (2025)