Buchumschlag

Finding descending sequences through ill-founded linear orders

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goh, Jun Le, Pauly, Arno, Valenti, Manlio
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic Logic in Computer Science Combinatorics 03D30 03D78 06A75
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The weakness of finding descending sequences in ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2024)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

Sequential discontinuity and first-order problems
von: Pauly, Arno, et al.
Veröffentlicht: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2025)

Computably discrete represented spaces
von: Neumann, Eike, et al.
Veröffentlicht: (2025)

The tree pigeonhole principle in the Weihrauch degrees
von: Dzhafarov, Damir, et al.
Veröffentlicht: (2023)

Countable Ordered Groups and Weihrauch Reducibility
von: Li, Ang
Veröffentlicht: (2024)

More on the indivisibility of $\mathbb{Q}$
von: Pauly, Arno
Veröffentlicht: (2024)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

Towards Better: A motivated introduction to better-quasi-orders
von: Pequignot, Yann
Veröffentlicht: (2016)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

New definitions in the theory of Type 1 computable topological spaces
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

Computable Bases
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Evaluative presentations
von: McNicholl, Timothy H.
Veröffentlicht: (2024)

Embeddability of graphs and Weihrauch degrees
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2023)

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
von: Rojas, Diego A.
Veröffentlicht: (2024)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

An effective version of the Stone duality
von: Bazhenov, Nikolay A., et al.
Veröffentlicht: (2026)

Computable topological groups
von: Koh, Heer Tern, et al.
Veröffentlicht: (2022)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

The Weihrauch degree of finding Nash equilibria in multiplayer games
von: Crook, Tonicha, et al.
Veröffentlicht: (2021)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Subresiduated Nelson Algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

Ramsey-like theorems for separable permutations
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

Martin's Conjecture in the Enumeration Degrees
von: Cordero, Antonio Nakid
Veröffentlicht: (2025)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)