PROJECTIVELY WELL-ORDERED INNER MODELS

被引：35

作者：

STEEL, JR

机构：

[1] Department of Mathematics, University of California, Los Angeles

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1995年 / 74卷 / 01期

关键词：

D O I：

10.1016/0168-0072(94)00021-T

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We show that the reals in the minimal iterable inner model having n Woodin cardinals are precisely those which are Delta(n+2)(1) definable from some countable ordinal. (One direction here is due to Hugh Woodin.) It follows that this model satisfies ''There is a Delta(n+2)(1) well-order of the reals''. We also describe some other connections between the descriptive set theory of projective sets and inner models with finitely many Woodin cardinals.

引用

页码：77 / 104

页数：28

共 9 条

[1] THEORY OF COUNTABLE ANALYTICAL SETS
KECHRIS, AS
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 202 (FEB) : 259 - 297
[2] KECHRIS AS, 1983, LECT NOTES MATH, V1019, P199
[3] A BASIS THEOREM FOR SIGMA1/3 SETS OF REALS
MARTIN, DA
SOLOVAY, RM
[J]. ANNALS OF MATHEMATICS, 1969, 89 (01) : 138 - +
[4] MARTIN DA, IN PRESS J AM MATH S
[5] Martin Donald A., 1989, J AM MATH SOC, V2, P71, DOI 10.2307/1990913
[6] MITCHELL WJ, 1994, ASL LECTURE NOTES LO, V3
[7] Moschovakis Y., 1980, DESCRIPTIVE SET THEO
[8] INNER MODELS WITH MANY WOODIN CARDINALS
STEEL, JR
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1993, 65 (02) : 185 - 209
[9] [No title captured]

← 1 →