In Search of ultimate-l the 19th Midrasha Mathematicae Lectures

IF 0.7 3区数学 Q1 LOGIC

Bulletin of Symbolic Logic Pub Date : 2017-03-01 DOI:10.1017/BSL.2016.34

W. Woodin

引用次数: 58

Abstract

We give a fairly complete account which first shows that the solution to the inner model problem for one supercompact cardinal will yield an ultimate version of L and then shows that the various current approaches to inner model theory must be fundamentally altered to provide that solution.

查看原文本刊更多论文

追寻终极——第19届米德拉夏数学讲座

我们给出了一个相当完整的说明，首先表明一个超紧基数的内模问题的解决方案将产生L的最终版本，然后表明当前各种内模理论的方法必须从根本上改变以提供该解决方案。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Bulletin of Symbolic Logic 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.