User contributions for Cem
Jump to navigation
Jump to search
13 April 2023
- 20:4620:46, 13 April 2023 diff hist +273 Talk:Cowen's Theorem No edit summary
- 15:3915:39, 13 April 2023 diff hist +445 N Talk:Cowen's Theorem Created page with "Before this page becomes a Featured Proof, we should fix the definition of Closed Set under Progressing Mapping as suggested in the errata of Smullyan and Fitting. Because the definition is used in Special Set and this makes many claims here wrong. I will do this soon if no one beats me to it. --~~~~"
- 15:2915:29, 13 April 2023 diff hist +110 Talk:Choice Function for Set does not imply Choice Function for Union of Set No edit summary
9 April 2023
- 10:5510:55, 9 April 2023 diff hist +722 Choice Function for Set does not imply Choice Function for Union of Set/Mistake No edit summary Tag: Visual edit: Switched
- 08:4708:47, 9 April 2023 diff hist +4 m Cowen's Theorem/Lemma 1 No edit summary
7 April 2023
- 16:4616:46, 7 April 2023 diff hist +308 Talk:Choice Function for Set does not imply Choice Function for Union of Set No edit summary
- 15:3515:35, 7 April 2023 diff hist −23 m Talk:Choice Function for Set does not imply Choice Function for Union of Set No edit summary
- 15:3115:31, 7 April 2023 diff hist +441 N Talk:Choice Function for Set does not imply Choice Function for Union of Set Created page with "This implies the Axiom of Choice, since for any set $S$, $\{S\}$ is a set with a trivial choice function. But $\cup\{S\}$ is $S$. So if the hypothesis is true, every set has a choice function. Therefore, this cannot be proved from the axioms of ZF given in the cited book; due to the independence of AC. --~~~~"