Barwise: Infinitary logic and admissible sets

被引：8

|

作者：

Keisler, HJ

Knight, JF

机构：

[1] Univ Wisconsin, Dept Math, Madison, WI 53706 USA

[2] Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA

来源：

BULLETIN OF SYMBOLIC LOGIC | 2004年 / 10卷 / 01期

关键词：

D O I：

10.2178/bsl/1080330272

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：4 / 36

页数：33

相关论文

共 50 条

[1] INFINITARY LOGIC AND ADMISSIBLE SETS
BARWISE, J
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) : 226 - &
[2] Stationary sets and infinitary logic
Shelah, S
Väänänen, J
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1311 - 1320
[3] DYNAMIC LOGIC ON ADMISSIBLE-SETS
ERSHOV, IL
DOKLADY AKADEMII NAUK SSSR, 1983, 273 (05): : 1045 - 1048
[4] INFINITARY MODAL LOGIC
CHAPIN, EW
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 397 - 397
[5] COMPUTING WITH INFINITARY LOGIC
ABITEBOUL, S
VARDI, M
VIANU, V
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 113 - 123
[6] COMPLETE INFINITARY LOGIC
SLONNEGER, K
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (04) : 730 - 746
[7] COMPUTING WITH INFINITARY LOGIC
ABITEBOUL, S
VARDI, MY
VIANU, V
THEORETICAL COMPUTER SCIENCE, 1995, 149 (01) : 101 - 128
[8] HANDBOOK OF MATHEMATICAL LOGIC - BARWISE,J
CROSSLEY, JN
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1980, 58 (02) : 178 - 183
[9] Supervenience and infinitary logic
Glanzberg, M
NOUS, 2001, 35 (03): : 419 - 439
[10] COINDUCTIVE FOUNDATIONS OF INFINITARY REWRITING AND INFINITARY EQUATIONAL LOGIC
Endrullis, Jorg
Hansen, Helle Hvid
Hendriks, Dimitri
Polonsky, Andrew
Silva, Alexandra
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)

← 1 2 3 4 5 →