Image de couverture de livre

(Extra)ordinary equivalences with the ascending/descending sequence principle

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fiori-Carones, Marta, Marcone, Alberto, Shafer, Paul, Soldà, Giovanni
Format:	Preprint
Publié:	2021
Sujets:	Logic 03B30 (Primary) 03F35, 05D10, 06A06 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Generalized Higman's Theorem and iterated ideals
par: Pakhomov, Fedor, et autres
Publié: (2025)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

The bottom of the lattice of BCK-varieties
par: Kowalski, Tomasz
Publié: (2024)

Squares, scales and lines
par: Cummings, James
Publié: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

Untranscendable order types
par: Ervin, Garrett, et autres
Publié: (2026)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

On maximal ladders
par: Notaro, Lorenzo
Publié: (2026)

Ladders and Squares
par: Notaro, Lorenzo
Publié: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
par: Sun, Mengzhou
Publié: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
par: Knudstorp, Søren Brinck
Publié: (2025)

Locally Integral Involutive PO-Semigroups
par: Gil-Férez, José, et autres
Publié: (2023)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
par: Houérou, Quentin Le, et autres
Publié: (2026)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
par: Aceves-Martínez, Bruno Fernando, et autres
Publié: (2024)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

Amalgamation in classes of involutive commutative residuated lattices
par: Jenei, Sándor
Publié: (2020)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
par: Inamdar, Tanmay, et autres
Publié: (2024)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Forking and invariant types in regular ordered Abelian groups
par: Hossain, Akash
Publié: (2023)

Almost refinement, reaping, and ultrafilter numbers
par: Brendle, Jörg, et autres
Publié: (2024)

Ultracontact algebras and stack systems
par: Carai, Luca, et autres
Publié: (2026)

Generalized sums of linear orders
par: Ramos, Álvaro Díaz, et autres
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)

Some questions on entangled linear orders
par: Carroy, Raphaël, et autres
Publié: (2025)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Stable reducts of elementary extensions of Presburger arithmetic
par: Alouf, Eran, et autres
Publié: (2024)

Distality in Ordered Abelian Groups
par: Okura, Koki
Publié: (2026)

Bourbaki--Zorn Normal Forms for Maximality Arguments
par: Liu, You-Chang
Publié: (2026)

Chains and antichains in the Weihrauch lattice
par: Lempp, Steffen, et autres
Publié: (2024)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

Tukey morphisms between finite relations
par: Barton, Rhett, et autres
Publié: (2023)

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)