/sci/ - Science & Math

Anonymous Mon Feb 27 17:13:00 2023 No.15235444 [View]
File: 103 KB, 1456x1128, 1620745489729.jpg [View same] [iqdb] [saucenao] [google]

>>15235405
></-
What's that?
\notin?

>>15235407
Not him, but a version of it is definatenly on proof wiki.
Also as for "constructive proof", I expect that the classical proof that !AC <=> !(every set can be well-ordered) also goes through constructively. But I'm pretty sure that with just !AC, you won't be able to prove the existence of a set that can't be well-ordered.

>>15235392
>has anyone studied
If by "anyone" you mean "anyone here", then I expect the answer is no.
If you mean in general, then the axioms of choice up to some cardinal has definitely been studied.

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

Navigation
View posts	[+24]	[+48]	[+96]

/sci/ - Science & Math

Search: