An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered

✍ Scribed by J. Todd Wilson

• Book ID: 124978745
• Publisher: Association for Symbolic Logic
• Year: 2001
• Tongue: English
• Weight: 159 KB
• Volume: 66
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2695096