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 条

[1] Non-Constructive Criticism
Cea, Pastor M.
CUADERNOS DE NEUROPSICOLOGIA-PANAMERICAN JOURNAL OF NEUROPSYCHOLOGY, 2007, 1 (01): : 52 - 57
[2] KNOWLEDGE AND NON-CONSTRUCTIVE REASONING
OVER, DE
PHILOSOPHICAL QUARTERLY, 1986, 36 (142): : 29 - 36
[3] NON-CONSTRUCTIVE PROPERTIES OF CARDINAL NUMBERS
RUBIN, JE
ISRAEL JOURNAL OF MATHEMATICS, 1971, 10 (04) : 504 - &
[4] Constructive and Non-Constructive Infinite Formulas in Computable Structures
P. E. Alaev
Algebra and Logic, 2003, 42 (4) : 219 - 231
[5] Non-constructive properties of the real numbers
Howard, P
Keremedis, K
Rubin, JE
Stanley, A
Tatchtsis, E
MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 423 - 431
[6] Non-constructive Galois-Tukey connections
Mildenberger, H
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (04) : 1179 - 1186
[7] Non-Constructive Upper Bounds for Repetition Thresholds
Shur, Arseny M.
THEORY OF COMPUTING SYSTEMS, 2024, 68 (06) : 1487 - 1511
[8] Non-constructive methods for finite Probabilistic automata
Freivalds, Rusins
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2007, 4588 : 169 - 180
[9] What is a (non-constructive) non-monotone logical system?
Besnard, P
Schaub, T
THEORETICAL COMPUTER SCIENCE, 2000, 238 (1-2) : 489 - 494
[10] Non-constructive methods for finite probabilistic automata
Freivalds, Rusins
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2008, 19 (03) : 565 - 580

← 1 2 3 4 5 →