Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Does DC imply AC_omega, uniformly?

Articolo
Data di Pubblicazione:
2024
Abstract:
The Axiom of Dependent Choice DC and the Axiom of Countable Choice ACω are two weak forms of the Axiom of Choice that can be stated for a specific set: DC(X) asserts that any total binary relation on X has an infinite chain, while ACω(X) asserts that any countable collection of nonempty subsets of X has a choice function. It is well-known that DC ⇒ ACω. We study for which sets and under which hypotheses DC(X) ⇒ ACω(X), and then we show it is consistent with ZF that there is a set A ⊆ R for which DC(A) holds, but ACω(A) fails.
Tipologia CRIS:
03A-Articolo su Rivista
Keywords:
axiom of choice; countable choice; dependent choice; iterated symmetric extension; symmetric extension
Elenco autori:
ANDRETTA, ALESSANDRO; NOTARO, LORENZO
Autori di Ateneo:
ANDRETTA Alessandro
Link alla scheda completa:
https://iris.unito.it/handle/2318/2038174
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/2038174/1441931/does-dollarmathsf-dcdollar-imply-dollarmathsf-acomega-dollar-uniformly.pdf
Pubblicato in:
THE JOURNAL OF SYMBOLIC LOGIC
Journal
  • Aree Di Ricerca

Aree Di Ricerca

Settori (3)


PE1_1 - Logic and foundations - (2024)

SCIENZE DELLA VITA e FARMACOLOGIA - Interazioni tra molecole, cellule, organismi e ambiente

SCIENZE MATEMATICHE, CHIMICHE, FISICHE - Storia e insegnamento della Matematica
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0