Monadic logic: Hanf Numbers
Monadic logic: Hanf Numbers
复制标题
一元逻辑：Hanf 数
DOI：
10.1007/bfb0098511
复制
发表时间：
1986
影响因子：
0.6
通讯作者：
S. Shelah
中科院分区：
文献类型：
--
作者：
S. Shelah
这是Baldwin Shelah [BSh]提出的分类的一部分。本文分为两部分。在第一部分中，我们证明了(T∞,2)≨(T, mon)如果一元逻辑中理论T的汉夫数小于二阶逻辑的汉夫数。
This is part of the classification developed in Baldwin Shelah [BSh]. The paper is divided into two parts. In part I we show that (T∞, 2nd)≨(T, mon) iff the Hanf number for the theory T in monadic logic is smaller than the Hanf number of second order logic.