On proving the existence of complete ordered fields

被引：1

作者：

Banaschewski, B ^{[1
]}

机构：

[1] McMaster Univ, Dept Math & Stat, Hamilton, ON L8S 4K1, Canada

来源：

AMERICAN MATHEMATICAL MONTHLY | 1998年 / 105卷 / 06期

关键词：

D O I：

10.2307/2589406

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：548 / 551

页数：4

共 50 条

[21] THE PROBLEM OF PROVING GODS EXISTENCE FROM MOTION
POLICKI, PK
COMMUNICATION AND COGNITION, 1982, 15 (02): : 185 - 199
[22] Proving the existence of initial state in Z specifications
Miao, Huaikou
McDermid, John
Toyn, Ian
Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
[23] PROVING NON-EXISTENCE OF GOD - REPLY
FOLLESDAL, D
INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 1966, 9 (02): : 197 - 199
[24] THE REALITY OF TIME AND THE EXISTENCE OF GOD, THE PROJECT OF PROVING GODS EXISTENCE - BRAINE,D
REIX, A
REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1988, 113 (04): : 495 - 496
[25] THE REALITY OF TIME AND THE EXISTENCE OF GOD - THE PROJECT OF PROVING GODS EXISTENCE - BRAINE,D
GOODWIN, GL
JOURNAL OF RELIGION, 1990, 70 (04): : 656 - 657
[26] THE REALITY OF TIME AND THE EXISTENCE OF GOD - THE PROJECT OF PROVING GODS EXISTENCE - BRAINE,D
SWINBURNE, R
JOURNAL OF THEOLOGICAL STUDIES, 1989, 40 : 329 - 331
[27] Proving syntactic properties of exceptions in an ordered logical framework
Polakow, J
Yi, K
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 61 - 77
[28] THE REALITY OF TIME AND THE EXISTENCE OF GOD - THE PROJECT OF PROVING GOD EXISTENCE - BRAINE,D
QUINN, PL
REVIEW OF METAPHYSICS, 1988, 42 (02): : 378 - 379
[29] THE REALITY OF TIME AND THE EXISTENCE OF GOD - THE PROJECT OF PROVING GOD EXISTENCE - BRAINE,D
HASKER, W
INTERNATIONAL STUDIES IN PHILOSOPHY, 1991, 23 (03) : 98 - 98
[30] THE REALITY OF TIME AND THE EXISTENCE OF GOD - THE PROJECT OF PROVING GODS EXISTENCE - BRAINE,D
STUMP, E
PHILOSOPHICAL REVIEW, 1991, 100 (04): : 657 - 660

← 1 2 3 4 5 →