Switch to: References

Add citations

You must login to add citations.
  1. Does Imply, Uniformly?Alessandro Andretta & Lorenzo Notaro - forthcoming - Journal of Symbolic Logic:1-25.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark