Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?

The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on $X$ has an infinite chain, while $\mathsf{AC}_\omega (X)$ ass...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Andretta, Alessandro, Notaro, Lorenzo
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Andretta, Alessandro
Notaro, Lorenzo
description The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on $X$ has an infinite chain, while $\mathsf{AC}_\omega (X)$ asserts that any countable collection of nonempty subsets of $X$ has a choice function. It is well-known that $\mathsf{DC} \Rightarrow \mathsf{AC}_\omega$. We study for which sets and under which hypotheses $\mathsf{DC}(X) \Rightarrow \mathsf{AC}_\omega (X)$, and then we show it is consistent with $\mathsf{ZF}$ that there is a set $A \subseteq \mathbb{R}$ for which $\mathsf{DC} (A)$ holds, but $\mathsf{AC}_\omega (A)$ fails.
doi_str_mv 10.48550/arxiv.2305.06676
format Article
fullrecord <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2305_06676</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2305_06676</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-8c69ecd6fe0d9db52f5d7c2e59cfcb66b5b907c38056f34bc84f34633d67bb2d3</originalsourceid><addsrcrecordid>eNpFj7sKwkAURLexkOgHWJkipYlrNnuTrUTiEwQbSyHsUwNZI4mKQfx3n2B1YIqZOQj1RjiIEkrxkFe3_BqEBNMAA8TQRmxa6tr1dpafD7W5T9OH5-b2VDT_bJI-sl1p9Z57A_dyzE1Z2aIZd1DL8KLW3R8dtJ3PtunSX28Wq3Sy9vlrwE8kMC0VGI0VU4KGhqpYhpoyaaQAEFQwHEuSYAqGREIm0QtAiIJYiFARB_W_tZ_v2anKLa-a7O2QfRzIE6FJQTY</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?</title><source>arXiv.org</source><creator>Andretta, Alessandro ; Notaro, Lorenzo</creator><creatorcontrib>Andretta, Alessandro ; Notaro, Lorenzo</creatorcontrib><description>The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on $X$ has an infinite chain, while $\mathsf{AC}_\omega (X)$ asserts that any countable collection of nonempty subsets of $X$ has a choice function. It is well-known that $\mathsf{DC} \Rightarrow \mathsf{AC}_\omega$. We study for which sets and under which hypotheses $\mathsf{DC}(X) \Rightarrow \mathsf{AC}_\omega (X)$, and then we show it is consistent with $\mathsf{ZF}$ that there is a set $A \subseteq \mathbb{R}$ for which $\mathsf{DC} (A)$ holds, but $\mathsf{AC}_\omega (A)$ fails.</description><identifier>DOI: 10.48550/arxiv.2305.06676</identifier><language>eng</language><subject>Mathematics - Logic</subject><creationdate>2023-05</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,777,882</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2305.06676$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2305.06676$$DView paper in arXiv$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.1017/jsl.2024.33$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink></links><search><creatorcontrib>Andretta, Alessandro</creatorcontrib><creatorcontrib>Notaro, Lorenzo</creatorcontrib><title>Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?</title><description>The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on $X$ has an infinite chain, while $\mathsf{AC}_\omega (X)$ asserts that any countable collection of nonempty subsets of $X$ has a choice function. It is well-known that $\mathsf{DC} \Rightarrow \mathsf{AC}_\omega$. We study for which sets and under which hypotheses $\mathsf{DC}(X) \Rightarrow \mathsf{AC}_\omega (X)$, and then we show it is consistent with $\mathsf{ZF}$ that there is a set $A \subseteq \mathbb{R}$ for which $\mathsf{DC} (A)$ holds, but $\mathsf{AC}_\omega (A)$ fails.</description><subject>Mathematics - Logic</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpFj7sKwkAURLexkOgHWJkipYlrNnuTrUTiEwQbSyHsUwNZI4mKQfx3n2B1YIqZOQj1RjiIEkrxkFe3_BqEBNMAA8TQRmxa6tr1dpafD7W5T9OH5-b2VDT_bJI-sl1p9Z57A_dyzE1Z2aIZd1DL8KLW3R8dtJ3PtunSX28Wq3Sy9vlrwE8kMC0VGI0VU4KGhqpYhpoyaaQAEFQwHEuSYAqGREIm0QtAiIJYiFARB_W_tZ_v2anKLa-a7O2QfRzIE6FJQTY</recordid><startdate>20230511</startdate><enddate>20230511</enddate><creator>Andretta, Alessandro</creator><creator>Notaro, Lorenzo</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20230511</creationdate><title>Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?</title><author>Andretta, Alessandro ; Notaro, Lorenzo</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-8c69ecd6fe0d9db52f5d7c2e59cfcb66b5b907c38056f34bc84f34633d67bb2d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Mathematics - Logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Andretta, Alessandro</creatorcontrib><creatorcontrib>Notaro, Lorenzo</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Andretta, Alessandro</au><au>Notaro, Lorenzo</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?</atitle><date>2023-05-11</date><risdate>2023</risdate><abstract>The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on $X$ has an infinite chain, while $\mathsf{AC}_\omega (X)$ asserts that any countable collection of nonempty subsets of $X$ has a choice function. It is well-known that $\mathsf{DC} \Rightarrow \mathsf{AC}_\omega$. We study for which sets and under which hypotheses $\mathsf{DC}(X) \Rightarrow \mathsf{AC}_\omega (X)$, and then we show it is consistent with $\mathsf{ZF}$ that there is a set $A \subseteq \mathbb{R}$ for which $\mathsf{DC} (A)$ holds, but $\mathsf{AC}_\omega (A)$ fails.</abstract><doi>10.48550/arxiv.2305.06676</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.48550/arxiv.2305.06676
ispartof
issn
language eng
recordid cdi_arxiv_primary_2305_06676
source arXiv.org
subjects Mathematics - Logic
title Does $\mathsf{DC}$ imply $\mathsf{AC}_\omega$, uniformly?
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-18T16%3A56%3A46IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Does%20$%5Cmathsf%7BDC%7D$%20imply%20$%5Cmathsf%7BAC%7D_%5Comega$,%20uniformly?&rft.au=Andretta,%20Alessandro&rft.date=2023-05-11&rft_id=info:doi/10.48550/arxiv.2305.06676&rft_dat=%3Carxiv_GOX%3E2305_06676%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true