Definable E-0 classes at arbitrary projective levels

Kanovei, V; Lyubetsky, V

Kanovei, V (reprint author), Russian Acad Sci, Inst Informat Transmiss Problems, Kharkevich Inst, Bolshoy Karetny Per 19,Build 1, Moscow 127051, Russia.

ANNALS OF PURE AND APPLIED LOGIC, 2018; 169 (9): 851

Abstract

Using a modification of the invariant Jensen forcing of [11], we define a model of ZFC, in which, for a given n >= 3, there exists a lightface Pi(1......

Full Text Link


Links

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