All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 15:39, 13 April 2023 Cem talk contribs created page 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:31, 7 April 2023 Cem talk contribs created page Talk:Choice Function for Set implies 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. --~~~~")