搜索结果: 1-1 共查到“理学 the tree property of the second kind”相关记录1条 . 查询时间(0.085 秒)
Theories without the tree property of the second kind
Theories the tree property of the second kind Logic
2012/4/23
We initiate a systematic study of the class of theories without the tree property of the second kind -- NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in pa...