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 条

[41] Synthetic Tableaux with Unrestricted Cut for First-Order Theories
Leszczynska-Jasion, Dorota
Chlebowski, Szymon
AXIOMS, 2019, 8 (04)
[42] Hanf number of the first stability cardinal in AECs
Leung, Samson
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (02)
[43] First-order theories of subgroups of divisible Hahn products
Lucas, F
ANNALS OF PURE AND APPLIED LOGIC, 2003, 121 (2-3) : 261 - 279
[44] ON ELIMINABILITY AND DEFINABILITY OF AUXILIARY CONCEPTS IN FIRST-ORDER THEORIES
TUOMELA, R
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 543 - &
[45] Representing first-order causal theories by logic programs
Ferraris, Paolo
Lee, Joohyung
Lierler, Yuliya
Lifschitz, Vladimir
Yang, Fangkai
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 383 - 412
[46] A full first-order constraint solver for decomposable theories
Khalil Djelloul
Annals of Mathematics and Artificial Intelligence, 2009, 56 : 43 - 64
[47] A full first-order constraint solver for decomposable theories
Djelloul, Khalil
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 93 - 108
[48] A full first-order constraint solver for decomposable theories
Djelloul, Khalil
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 56 (01) : 43 - 64
[49] Relating first-order set theories and elementary toposes
Awodey, Steve
Butz, Carsten
Simpson, Alex
Streicher, Thomas
BULLETIN OF SYMBOLIC LOGIC, 2007, 13 (03) : 340 - 358
[50] Geometry of Lagrangian first-order classical field theories
EcheverriaEnriquez, A
MunozLecanda, MC
RomanRoy, N
FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS, 1996, 44 (03): : 235 - 280

← 1 2 3 4 5 →