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...
Gespeichert in:
Hauptverfasser: | , |
---|---|
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 |