Cover Image

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cintioli, Patrizio
Format:	Preprint
Published:	2026
Subjects:	Logic 03D30, 06A06
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
by: Cintioli, Patrizio
Published: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
by: Cintioli, Patrizio
Published: (2026)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
by: Cintioli, Patrizio
Published: (2026)

A computably enumerable many-one degree with no least finite-one degree
by: Cintioli, Patrizio
Published: (2026)

A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities
by: Cintioli, Patrizio
Published: (2026)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
by: Kurilić, Miloš S.
Published: (2026)

Finding descending sequences through ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2020)

The weakness of finding descending sequences in ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Generalized Higman's Theorem and iterated ideals
by: Pakhomov, Fedor, et al.
Published: (2025)

Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)

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

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

On rearrangement inequalities for T-norm logics
by: Wu, Chai Wah
Published: (2022)

How to take cats together
by: Carollo, Imanol Mozo
Published: (2024)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)