An intuitionistic version of Zermelo's proof that every choice set can be well-ordered

被引:0
|
作者
Wilson, JT [1 ]
机构
[1] Calif State Univ Fresno, Dept Comp Sci, Fresno, CA 93740 USA
关键词
D O I
10.2307/2695096
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We give a proof, valid in any elementary topos, of the theorem of Zermelo that any set possessing a choice function for its set of inhabited subsets can be well-ordered. Our proof is considerably simpler than existing proofs in the literature and moreover can be seen as a direct generalization of Zermelo's own 1908 proof of his theorem.
引用
收藏
页码:1121 / 1126
页数:6
相关论文
共 50 条
  • [41] Well-ordered Nanostructure Formation of Wholly Aromatic Poly(amic acid)s in Spin-casted Thin Films
    Gao, Ling
    Azuma, Koei
    Kushima, Yuta
    Okuhara, Kenta
    Chandra, Alvin
    Hayakawa, Teruaki
    JOURNAL OF PHOTOPOLYMER SCIENCE AND TECHNOLOGY, 2016, 29 (02) : 247 - 250
  • [42] An Easy and Well-Ordered Way to Learn: Schooling at Home in Louisa May Alcott’s Eight Cousins and Jack and Jill
    Cathlin M. Davis
    Children's Literature in Education, 2011, 42 : 340 - 353
  • [43] An Easy and Well-Ordered Way to Learn: Schooling at Home in Louisa May Alcott's Eight Cousins and Jack and Jill
    Davis, Cathlin M.
    CHILDRENS LITERATURE IN EDUCATION, 2011, 42 (04) : 340 - 353
  • [44] WELL-ORDERED CHARITIES - COFRATERNITIES OF NORMANDY FROM THE LATE 1700S TO THE EARLY 1500S - FRENCH - VINCENT,C
    VENARD, M
    ANNALES-ECONOMIES SOCIETES CIVILISATIONS, 1991, 46 (06): : 1308 - 1310
  • [45] Not a novel, nor even a well-ordered story:: Formal experimentation and psychological innovation in Sarah!Grand's The 'Heavenly Twins'
    Lowenstein, Adam Seth
    STUDIES IN THE NOVEL, 2007, 39 (04) : 431 - 447
  • [46] Can you add power-sets to Martin-Lof's intuitionistic set theory?
    Maietti, ME
    Valentini, S
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (04) : 521 - 532
  • [47] Facile Fabrication of a Well-Ordered Porous Cu-Doped SnO2 Thin Film for H2S Sensing
    Zhang, Shumin
    Zhang, Pingping
    Wang, Yun
    Ma, Yanyun
    Zhong, Jun
    Sun, Xuhui
    ACS APPLIED MATERIALS & INTERFACES, 2014, 6 (17) : 14975 - 14980
  • [48] Synthesis of well-ordered carboxyl group functionalized mesoporous carbon using non-toxic oxidant, (NH4)2S2O8
    Vinu, Ajayan
    Hossain, Kazi Zahir
    Hishita, Sunichi
    Mori, Toshiyuki
    Gokulakrishnan, Narasimhan
    Balasubramanian, Veerappan Vaithilingam
    Ariga, Katsuhiko
    RECENT PROGRESS IN MESOSTRUCTURED MATERIALS, PROCEEDINGS OF THE 5TH INTERNATIONAL MESOSTRUCTURED MATERIALS SYMPOSIUM - IMMS2006, 2007, 165 : 909 - 912
  • [49] Models of ZFA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\textsf{ZFA}}}$$\end{document} in which every linearly ordered set can be well ordered
    Paul Howard
    Eleftherios Tachtsis
    Archive for Mathematical Logic, 2023, 62 (7-8) : 1131 - 1157
  • [50] "Patients Can Have as Many Gene Variants as They Damn Well Please": Why Contemporary Genetics Presents Us Daily with a Version of Hickam's Dictum
    Stratakis, Constantine A.
    JOURNAL OF CLINICAL ENDOCRINOLOGY & METABOLISM, 2012, 97 (05): : E802 - E804