LARGE CARDINALS AND DEFINABLE WELL-ORDERS ON THE UNIVERSE

被引：15

作者：

Brooke-Taylor, Andrew D. ^{[1
]}

机构：

[1] Univ Bristol, Dept Math, Bristol BS8 1TW, Avon, England

来源：

JOURNAL OF SYMBOLIC LOGIC | 2009年 / 74卷 / 02期

基金：

奥地利科学基金会;

关键词：

EMBEDDINGS; DIAMOND;

D O I：

10.2178/jsl/1243948331

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We use a reverse Easton forcing iteration to obtain it universe with it definable well-order. while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle lozenge(*)(kappa+) at a proper class of cardinals kappa. By choosing the cardinals at which coding occurs sufficiently sparsely. we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.

引用

页码：641 / 654

页数：14

共 25 条

[1]

[Anonymous], 2003, THE HIGHER INFINITE

[2]

[Anonymous], 2005, SET THEORY RECENT TR

[3] Large cardinals and locally defined well-orders of the universe [J].

Aspero, David ;

Friedman, Sy-David .

ANNALS OF PURE AND APPLIED LOGIC, 2009, 157 (01) :1-15

[4]

BROOKETAYLOR AD, ANN PURE AP IN PRESS

[5]

BROOKETAYLOR AD, THESIS U VIENNA

[6] GENERIC EMBEDDINGS AND THE FAILURE OF BOX [J].

BURKE, D .

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, 123 (09) :2867-2871

[7] Indexed squares [J].

Cummings, J ;

Schimmerling, E .

ISRAEL JOURNAL OF MATHEMATICS, 2002, 131 (1) :61-99

[8]

CUMMINGS J, 2009, HDB SET THE IN PRESS, V2

[9]

Cummings James, 2001, Journal of Mathematical Logic, V01, P35

[10] VARIATIONS ON DIAMOND [J].

DEVLIN, KJ .

JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (01) :51-58

← 1 2 3 →