The wadge order on the Scott domain is not a well-quasi-order

Journal of Symbolic Logic 85 (1):300-324 (2020)
  Copy   BIBTEX

Abstract

We prove that the Wadge order on the Borel subsets of the Scott domain is not a well-quasi-order, and that this feature even occurs among the sets of Borel rank at most 2. For this purpose, a specific class of countable 2-colored posets$\mathbb{P}_{emb} $equipped with the order induced by homomorphisms is embedded into the Wadge order on the$\Delta _2^0 $-degrees of the Scott domain. We then show that$\mathbb{P}_{emb} $admits both infinite strictly decreasing chains and infinite antichains with respect to this notion of comparison, which therefore transfers to the Wadge order on the$\Delta _2^0 $-degrees of the Scott domain.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Wadge hierarchy for second countable spaces.Yann Pequignot - 2015 - Archive for Mathematical Logic 54 (5):659-683.
Continuous reducibility and dimension of metric spaces.Philipp Schlicht - 2018 - Archive for Mathematical Logic 57 (3-4):329-359.
A q-wadge hierarchy in quasi-polish spaces.Victor Selivanov - 2022 - Journal of Symbolic Logic 87 (2):732-757.
A quasi-order on continuous functions.Raphaël Carroy - 2013 - Journal of Symbolic Logic 78 (2):633-648.
A q-wadge hierarchy in quasi-polish spaces.Victor Selivanov - 2020 - Journal of Symbolic Logic:1-26.
Monotone reducibility and the family of infinite sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Borel-amenable reducibilities for sets of reals.Luca Motto Ros - 2009 - Journal of Symbolic Logic 74 (1):27-49.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.

Analytics

Added to PP
2019-08-30

Downloads
12 (#1,114,703)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Quasi-Polish spaces.Matthew de Brecht - 2013 - Annals of Pure and Applied Logic 164 (3):356-381.
A Wadge hierarchy for second countable spaces.Yann Pequignot - 2015 - Archive for Mathematical Logic 54 (5):659-683.
Continuous reducibility and dimension of metric spaces.Philipp Schlicht - 2018 - Archive for Mathematical Logic 57 (3-4):329-359.
Hierarchies in φ‐spaces and applications.Victor L. Selivanov - 2005 - Mathematical Logic Quarterly 51 (1):45-61.
Some notes on the universality of three-orders on finite labeled posets.Anton V. Zhukov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 393-410.

Add more references