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

来源：

关键词：

D O I：

10.2178/bsl/1080330272

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：4 / 36

页数：33

共 50 条

[21] CATEGORICAL THEORIES IN INFINITARY LOGIC
KEISLER, HJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (02): : 437 - &
[22] ELEMENTARY CLASSES IN INFINITARY LOGIC
URQUHART, A
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 552 - 552
[23] About the admissible predicates on admissible sets
Morozov, AS
SIBERIAN MATHEMATICAL JOURNAL, 2005, 46 (04) : 668 - 674
[24] About the Admissible Predicates on Admissible Sets
A. S. Morozov
Siberian Mathematical Journal, 2005, 46 : 668 - 674
[25] An Infinitary Model of Linear Logic
Grellois, Charles
Mellies, Paul-Andre
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 41 - 55
[26] A note on infinitary continuous logic
Baratella, Stefano
MATHEMATICAL LOGIC QUARTERLY, 2015, 61 (06) : 448 - 457
[27] An infinitary propositional probability logic
Stefano Baratella
Archive for Mathematical Logic, 2023, 62 : 291 - 320
[28] INFINITARY LOGIC AND TOPOLOGICAL HOMEOMORPHISMS
MCKEE, TA
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (05): : 405 - 408
[29] Infinitary Action Logic with Multiplexing
Stepan L. Kuznetsov
Stanislav O. Speranski
Studia Logica, 2023, 111 : 251 - 280
[30] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 31 - +