COMPLETENESS THEOREMS, INCOMPLETENESS THEOREMS AND MODELS OF ARITHMETIC

被引：16

作者：

MCALOON, K

机构：

来源：

关键词：

D O I：

10.1090/S0002-9947-1978-0487048-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：253 / 277

页数：25

共 50 条

[1] COMBINED APPLICATIONS OF INCOMPLETENESS AND COMPLETENESS THEOREMS
MCALOON, K
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (13): : 849 - 852
[2] COMPLETENESS THEOREMS FOR TOPOLOGICAL MODELS
SGRO, JA
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (07): : A765 - A765
[3] ON THE INCOMPLETENESS THEOREMS
KOTLARSKI, H
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (04) : 1414 - 1419
[4] THE SIGNIFICANCE OF INCOMPLETENESS THEOREMS
GOODSTEIN, RL
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1963, 14 (55): : 208 - 220
[5] GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR Σn-DEFINABLE THEORIES OF ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 603 - 616
[6] INCOMPLETENESS THEOREMS FOR RANDOM REALS
CHAITIN, GJ
ADVANCES IN APPLIED MATHEMATICS, 1987, 8 (02) : 119 - 146
[7] ABSOLUTE VERSIONS OF INCOMPLETENESS THEOREMS
REINHARDT, WN
NOUS, 1985, 19 (03): : 317 - 346
[8] A REMARK ON GODEL INCOMPLETENESS THEOREMS
LOINGER, A
NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS, 1993, 108 (06): : 669 - 674
[9] THE RECEPTION OF GODEL INCOMPLETENESS THEOREMS
DAWSON, JW
HISTORIA MATHEMATICA, 1985, 12 (04) : 379 - 379
[10] COMPLETENESS THEOREMS FOR AUTOMATA
MERRITT, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 544 - 560