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

来源：

JOURNAL OF SYMBOLIC LOGIC | 2001年 / 66卷 / 03期

关键词：

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

← 1 2 3 4 5 →