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 条

[1] CONSTRUCTION OF SATISFACTION CLASSES OVER NONSTANDARD MODELS OF ARITHMETIC
KOTLARSKI, H
KRAJEWSKI, S
LACHLAN, AH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 446 - 446
[2] CONSTRUCTION OF SATISFACTION CLASSES FOR NONSTANDARD MODELS
KOTLARSKI, H
KRAJEWSKI, S
LACHLAN, AH
[J]. CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1981, 24 (03): : 283 - 293
[3] ITERATIONS OF SATISFACTION CLASSES AND EXPANSIONS OF MODELS OF PEANO ARITHMETIC
MURAWSKI, R
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (01): : 59 - 84
[4] STRONG NONSTANDARD MODELS OF ARITHMETIC
SOPRUNOV, SF
[J]. DOKLADY AKADEMII NAUK SSSR, 1975, 220 (02): : 293 - 296
[5] STRUCTURE OF NONSTANDARD MODELS OF ARITHMETIC
PHILLIPS, RG
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 27 (02) : 359 - +
[6] AMALGAMATION OF NONSTANDARD MODELS OF ARITHMETIC
BLASS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 372 - 386
[7] ADDITION IN NONSTANDARD MODELS OF ARITHMETIC
PHILLIPS, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (03) : 483 - 486
[8] INTERSECTION OF NONSTANDARD MODELS OF ARITHMETIC
BLASS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 103 - &
[9] Indiscernibles and satisfaction classes in arithmetic
Enayat, Ali
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2024, 63 (5-6) : 655 - 677
[10] Nonstandard models that are definable in models of Peano Arithmetic
Ikeda, Kazuma
Tsuboi, Akito
[J]. MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (01) : 27 - 37

← 1 2 3 4 5 →