INTERPRETING 2ND-ORDER LOGIC IN THE MONADIC THEORY OF ORDER

被引：13
作者：
GUREVICH, Y
SHELAH, S
机构：
[1] BOWLING GREEN STATE UNIV,BOWLING GREEN,OH 43403
[2] HEBREW UNIV JERUSALEM,INST MATH,JERUSALEM,ISRAEL
来源：
JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 03期
关键词：
D O I：
10.2307/2273475
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：816 / 828
页数：13
相关论文
共 50 条
12345