首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Barwise: Infinitary logic and admissible sets
被引:8
|
作者
:
Keisler, HJ
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Wisconsin, Dept Math, Madison, WI 53706 USA
Keisler, HJ
Knight, JF
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Wisconsin, Dept Math, Madison, WI 53706 USA
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 条
[41]
Isomorphic limit ultrapowers for infinitary logic
Saharon Shelah
论文数:
0
引用数:
0
h-index:
0
机构:
The Hebrew University of Jerusalem,Einstein Institute of Mathematics, Edmond J. Safra Campus
Saharon Shelah
Israel Journal of Mathematics,
2021,
246
: 21
-
46
[42]
NEW COMPACTNESS THEOREM FOR INFINITARY LOGIC
STARK, WR
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV TEXAS,AUSTIN,TX 78712
UNIV TEXAS,AUSTIN,TX 78712
STARK, WR
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY,
1975,
22
(01):
: A36
-
A36
[43]
MONOTONE CLASS THEOREM IN INFINITARY LOGIC
KEISLER, HJ
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706
UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706
KEISLER, HJ
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1977,
64
(01)
: 129
-
134
[44]
An infinitary probability logic for type spaces
Meier, Martin
论文数:
0
引用数:
0
h-index:
0
机构:
Inst Hohere Studien, A-1060 Vienna, Austria
CSIC, Inst Anal Econ, Barcelona 08193, Spain
Inst Hohere Studien, A-1060 Vienna, Austria
Meier, Martin
ISRAEL JOURNAL OF MATHEMATICS,
2012,
192
(01)
: 1
-
58
[45]
ISOMORPHIC LIMIT ULTRAPOWERS FOR INFINITARY LOGIC
Shelah, Saharon
论文数:
0
引用数:
0
h-index:
0
机构:
Hebrew Univ Jerusalem, Einstein Inst Math, Edmond J Safra Campus, IL-9190401 Jerusalem, Israel
State Univ New Jersey, Dept Math, Hill Ctr, Busch Campus Rutgers,110 Frelinghuysen Rd, Piscataway, NJ 08854 USA
Hebrew Univ Jerusalem, Einstein Inst Math, Edmond J Safra Campus, IL-9190401 Jerusalem, Israel
Shelah, Saharon
ISRAEL JOURNAL OF MATHEMATICS,
2021,
246
(01)
: 21
-
46
[46]
On the Proof Theory of Infinitary Modal Logic
Tesi, Matteo
论文数:
0
引用数:
0
h-index:
0
机构:
Scuola Normale Super Pisa, Pisa, Italy
Scuola Normale Super Pisa, Pisa, Italy
Tesi, Matteo
STUDIA LOGICA,
2022,
110
(06)
: 1349
-
1380
[47]
LONG MODALITIES IN INFINITARY MODAL LOGIC
CHAPIN, EW
论文数:
0
引用数:
0
h-index:
0
CHAPIN, EW
JOURNAL OF SYMBOLIC LOGIC,
1975,
40
(02)
: 300
-
300
[48]
An infinitary axiomatization of dynamic topological logic
论文数:
引用数:
h-index:
机构:
Chopoghloo, Somayeh
Moniri, Morteza
论文数:
0
引用数:
0
h-index:
0
机构:
Shahid Beheshti Univ, Fac Math Sci, Dept Math, Tehran 1983969411, Iran
Shahid Beheshti Univ, Fac Math Sci, Dept Math, Tehran 1983969411, Iran
Moniri, Morteza
LOGIC JOURNAL OF THE IGPL,
2022,
30
(01)
: 124
-
142
[49]
INFINITARY LOGIC FOR COMPUTER-SCIENCE
KOLAITIS, PG
论文数:
0
引用数:
0
h-index:
0
机构:
IBM CORP, RES, ALMADEN RES CTR, SAN JOSE, CA 95120 USA
IBM CORP, RES, ALMADEN RES CTR, SAN JOSE, CA 95120 USA
KOLAITIS, PG
VARDI, MY
论文数:
0
引用数:
0
h-index:
0
机构:
IBM CORP, RES, ALMADEN RES CTR, SAN JOSE, CA 95120 USA
IBM CORP, RES, ALMADEN RES CTR, SAN JOSE, CA 95120 USA
VARDI, MY
LECTURE NOTES IN COMPUTER SCIENCE,
1992,
623
: 450
-
473
[50]
An infinitary probability logic for type spaces
Martin Meier
论文数:
0
引用数:
0
h-index:
0
机构:
Institut für Höhere Studien,
Martin Meier
Israel Journal of Mathematics,
2012,
192
(1)
: 1
-
58
←
1
2
3
4
5
→