THEOREM AND A CONSISTENCY THEOREM ON BQOS

被引：0

|

作者：

LAVER, R ^{[1
]}

机构：

[1] UNIV COLORADO,BOULDER,CO 80302

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1975年 / 22卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A306 / A307

页数：2

相关论文

共 50 条

[31] ROBINSON CONSISTENCY THEOREM IN SOFT MODEL-THEORY
MUNDICI, D
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 263 (01) : 231 - 241
[32] EXTENDED JOINT CONSISTENCY THEOREM FOR FREE LOGIC WITH EQUALITY
GUMB, RD
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 146 - 146
[33] Consistency of the Adiabatic Theorem (vol 102, 220401, 2009)
Amin, M. H. S.
PHYSICAL REVIEW LETTERS, 2015, 115 (03)
[34] A combinatorial consistency lemma with application to proving the PCP theorem
Goldreich, O
Safra, S
SIAM JOURNAL ON COMPUTING, 2000, 29 (04) : 1132 - 1154
[35] APPLICATIONS OF MANY-SORTED ROBINSON CONSISTENCY THEOREM
MUNDICI, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (02): : 181 - 188
[36] C(X)] AND KOLMOGOROVS CONSISTENCY THEOREM FOR CANTOR SPACES
BAEZDUARTE, L
STUDIES IN APPLIED MATHEMATICS, 1970, 49 (04) : 401 - +
[37] Consistency of a causal theory of radiative reaction with the optical theorem
Intravaia, F.
Behunin, R.
Milonni, P. W.
Ford, G. W.
O'Connell, R. F.
PHYSICAL REVIEW A, 2011, 84 (03):
[38] An institution-independent proof of the Robinson Consistency Theorem
Gâinâ D.
Popescu A.
Studia Logica, 2007, 85 (1) : 41 - 73
[39] Self-consistency and a generalized principal subspace theorem
Tarpey, Thaddeus
Loperfido, Nicola
JOURNAL OF MULTIVARIATE ANALYSIS, 2015, 133 : 27 - 37
[40] Consistency, Turing computability and Godel's first incompleteness theorem
Hadley, Robert F.
MINDS AND MACHINES, 2008, 18 (01) : 1 - 15

← 1 2 3 4 5 →