NONSTANDARD SYNTAX AND SEMANTICS AND FULL SATISFACTION CLASSES FOR MODELS OF ARITHMETIC

被引：0

|

作者：

SMITH, ST

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：497 / 497

页数：1

相关论文

共 50 条

[11] NONSTANDARD DEFINABILITY IN MODELS OF PEANO ARITHMETIC
MURAWSKI, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1075 - 1075
[12] PARTIAL SATURATION OF NONSTANDARD MODELS OF ARITHMETIC
MIJAJLOVIC, Z
[J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1212 - 1213
[13] ORDER TYPES OF NONSTANDARD MODELS OF ARITHMETIC
CHARRETTON, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 426 - 426
[14] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 259 - 286
[15] ADDITION IN NONSTANDARD MODELS OF ARITHMETIC - PRELIMINARY REPORT
PHILLIPS, RG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 758 - &
[16] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[17] NONSTANDARD MODELS FOR A FRAGMENT OF THE ARITHMETIC AND THEIR DECISION PROBLEM
GARRO, I
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (06): : 481 - 483
[18] NONSTANDARD MODELS FOR A FRAGMENT OF ARITHMETIC AND THEIR DECISION PROBLEM
GARRO, I
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 318 - 319
[19] INDUCTIVE FULL SATISFACTION CLASSES
KOTLARSKI, H
RATAJCZYK, Z
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1990, 47 (03) : 199 - 223
[20] On external Scott algebras in nonstandard models of Peano arithmetic
Kanovei, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 586 - 607

← 1 2 3 4 5 →