COMPLETENESS THEOREMS, INCOMPLETENESS THEOREMS AND MODELS OF ARITHMETIC

被引：16

|

作者：

MCALOON, K

机构：

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1978年 / 239卷 / MAY期

关键词：

D O I：

10.1090/S0002-9947-1978-0487048-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：253 / 277

页数：25

相关论文

共 50 条

[31] EPISTEMIC THEORIES AND THE INTERPRETATION OF GODEL INCOMPLETENESS THEOREMS
REINHARDT, WN
JOURNAL OF PHILOSOPHICAL LOGIC, 1986, 15 (04) : 427 - 474
[32] SOME THEOREMS ON EXTENSIONS OF ARITHMETIC
DIPAOLA, RA
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (02) : 180 - &
[33] Completeness theorems for systems of differential equations
Malamud, MM
Oridoroga, LL
FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 2000, 34 (04) : 308 - 310
[34] Completeness theorems for reactive modal logics
Gabbay, Dov
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 81 - 129
[35] BOUNDED CONSISTENCY AND SEQUENTIAL COMPLETENESS THEOREMS
SNYDER, AK
WILANSKY, A
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A566 - A566
[36] Completeness and Herbrand theorems for nominal logic
Cheney, J
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 299 - 320
[37] New completeness theorems on the boundary in elasticity
Cialdea, A.
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2024, 537 (02)
[38] SEMANTICAL COMPLETENESS THEOREMS IN LOGIC AND ALGEBRA
LIFSCHITZ, V
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 79 (01) : 89 - 96
[39] Completeness Theorems for Systems of Differential Equations
M. M. Malamud
L. L. Oridoroga
Functional Analysis and Its Applications, 2000, 34 : 308 - 310
[40] CODENSITY THEOREMS AS CATEGORICAL EXPRESSIONS OF COMPLETENESS
MAKKAI, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 300 - 300

← 1 2 3 4 5 →