NON-CONSTRUCTIVE CONTENT OF SENTENCES OF ARITHMETIC

被引：0

|

作者：

GOODMAN, ND

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 03期

关键词：

D O I：

10.2307/2273526

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：497 / 501

页数：5

相关论文

共 50 条

[21] Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Spitters, Bas
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2010, 27 (02): : 225 - 233
[22] CONSTRUCTIVE AND NON-CONSTRUCTIVE METHODS OF PROOFS OF IRRATIONALITY AND TRANSCENDENCY AND ALGEBRAIC INDEPENDENCE OF PERIODS OF ABELIAN-VARIETIES
CHUDNOVSKY, GV
BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1980, 108 (02): : 21 - 22
[23] Systems of explicit mathematics with non-constructive mu-operator and join
Glass, T
Strahm, T
ANNALS OF PURE AND APPLIED LOGIC, 1996, 82 (02) : 193 - 219
[24] 1984-2014 THE LIFE OF THE (NON-CONSTRUCTIVE) TRUST IN THE HIGH COURT
Dal Pont, G. E.
ADELAIDE LAW REVIEW, 2015, 36 (01): : 179 - 210
[25] The non-constructive μ operator, fixed point theories with ordinals, and the bar rule
Strahm, T
ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 305 - 324
[26] On certain non-constructive properties of infinite-dimensional vector spaces
Tachtsis, Eleftherios
COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2018, 59 (03): : 285 - 309
[27] THE EXTENSIONAL REALIZABILITY MODEL OF CONTINUOUS FUNCTIONALS AND THREE WEAKLY NON-CONSTRUCTIVE CLASSICAL THEOREMS
Normann, Dag
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
[28] RELEVANCE LOGICS, PARADOXES OF CONSISTENCY AND THE K RULE II A Non-constructive Negation
Mendez, Jose M.
Robles, Gemma
LOGIC AND LOGICAL PHILOSOPHY, 2006, 15 (03) : 175 - 191
[29] Systems of explicit mathematics with non-constructive mu-operator .2.
Feferman, S
Jager, G
ANNALS OF PURE AND APPLIED LOGIC, 1996, 79 (01) : 37 - 52
[30] NON-CONSTRUCTIVE FORMS OF BEHAVIOR OF CHILDREN IN PRIMARY SCHOOL WITH ATTENTION DEFICIT AND HYPERACTIVITY DISORDER
Nikolaevna, Knyazeva Tatiana
Vladimirovna, Sidorova Elena
ROSSIYSKIY PSIKHOLOGICHESKIY ZHURNAL, 2016, 13 (01): : 94 - +

← 1 2 3 4 5 →