HANF NUMBER OF OMITTING TYPE FOR SIMPLE FIRST-ORDER THEORIES

被引：2

|

作者：

SHELAH, S

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1979年 / 44卷 / 03期

关键词：

D O I：

10.2307/2273125

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：319 / 324

页数：6

相关论文

共 50 条

[1] HANF NUMBER OF OMITTING COMPLETE TYPES
SHELAH, S
PACIFIC JOURNAL OF MATHEMATICS, 1974, 50 (01) : 163 - 168
[2] HANF NUMBERS FOR OMITTING TYPES OVER PARTICULAR THEORIES
KNIGHT, JF
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (03) : 583 - 588
[3] On the simple and mixed first-order theories for plates resting on elastic foundations
Zenkour, A. M.
Allam, M. N. M.
Shaker, M. O.
Radwan, A. F.
ACTA MECHANICA, 2011, 220 (1-4) : 33 - 46
[4] On the simple and mixed first-order theories for plates resting on elastic foundations
A. M. Zenkour
M. N. M. Allam
M. O. Shaker
A. F. Radwan
Acta Mechanica, 2011, 220 : 33 - 46
[5] Hanf normal form for first-order logic with unary counting quantifiers
Heimberg, Lucas
Kuske, Dietrich
Schweikardt, Nicole
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 277 - 286
[6] On the Classification of Unstable First-Order Theories
Mutchnik, Scott
ProQuest Dissertations and Theses Global, 2023,
[7] FIRST-ORDER THEORIES CATEGORIC IN A CARDINAL
RESSAYRE, JP
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 142 (AUG) : 481 - &
[8] ARITIES AND ARITIZABILITIES OF FIRST-ORDER THEORIES
Sudoplatov, S., V
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 889 - 901
[9] The First-Order Theories of Dedekind Algebras
George Weaver
Studia Logica, 2003, 73 (3) : 337 - 365
[10] First-order theories of bounded trees
Kellerman, Ruaan
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (1-2) : 263 - 297

← 1 2 3 4 5 →