100 years of zermelo's axiom of choice: What was the problem with it

被引：0

|

作者：

Martin-Löf, Per

机构：

来源：

Computer Journal | 2006年 / 49卷 / 03期

关键词：

18;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

收藏

页码：345 / 350

相关论文

共 50 条

[41] INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE
Maietti, Maria Emilia
Maschio, Samuele
Rathjen, Michael
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 18 (04)
[42] Realizability of the axiom of choice in HOL. (An analysis of Krivine's work)
Raffalli, Christophe
Ruyer, Frederic
FUNDAMENTA INFORMATICAE, 2008, 84 (02) : 241 - 258
[43] Time-optimal solutions of Zermelo's navigation problem with moving obstacles
Fathi, Zohreh
Bidabad, Behroz
DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS, 2024, 97
[44] INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE
Maietti, Maria Emilia
Maschio, Samuele
Rathjen, Michael
LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (04) : 1 - 28
[45] What a Difference 100 Years Make!
Joseph, Harry
ELECTRONICS WORLD, 2013, 119 (1924): : 13 - 13
[46] What a difference 100 years makes
Oxnard, RT
AMERICAN CERAMIC SOCIETY BULLETIN, 1998, 77 (04): : 38 - 38
[47] An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
Wilson, JT
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1121 - 1126
[48] What If Your Project's Timeline is a 100 Years? Reflections on Computational Literaciesy
diSessa, Andrea A.
PROCEEDINGS OF THE 2017 ACM CONFERENCE ON INTERACTION DESIGN AND CHILDREN (IDC 2017), 2017, : 1 - 2
[49] 100 years Weltanschauung, what else? Rereading Thomas Mann's 'Buddenbrooks'
Scherpe, KR
WEIMARER BEITRAGE, 2003, 49 (04): : 570 - 584
[50] What are neologisms? 100 years of the publication of Alfredo Panzini's "Modern dictionary"
Schweickard, Wolfgang
ZEITSCHRIFT FUR ROMANISCHE PHILOLOGIE, 2008, 124 (04): : 707 - 710

← 1 2 3 4 5 →