MA?1(S)[S] does not imply ??2

Peng, YH; Wu, LZ

Peng, YH (通讯作者)，Chinese Acad Sci, Acad Math & Syst Sci, East Zhong Guan Cun Rd 55, Beijing 100190, Peoples R China.

JOURNAL OF MATHEMATICAL LOGIC, 2023; ():

Abstract

We construct a model in which MA(?1)(S)[S] holds and ??(2) fails. This shows that MA(?1)(S)[S] does not imply ??(2) and answers an old question of Lar......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索