axiom of dependent choice

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:Titan
set theory principle
gptkbp:doesNotImply axiom of choice
gptkbp:formedBy gptkb:René-Louis_Baire
https://www.w3.org/2000/01/rdf-schema#label axiom of dependent choice
gptkbp:implies existence of maximal ideals in certain rings
existence of countable sequences by dependent relations
gptkbp:introducedIn 1905
gptkbp:isAcceptedIn gptkb:logic
Zermelo–Fraenkel set theory without choice (ZF)
gptkbp:isWeakerThan gptkb:axiom_of_countable_choice
axiom of choice
gptkbp:symbol gptkb:DC
gptkbp:usedIn gptkb:topology
analysis
functional analysis
gptkbp:bfsParent gptkb:countable_axiom_of_choice
gptkb:Zermelo’s_Axiom_of_Choice
gptkbp:bfsLayer 8