Eventually different functions and inaccessible cardinals

被引：5

作者：

Brendle, Joerg ^{[1
,2
]}

Loewe, Benedikt ^{[2
,3
,4
]}

机构：

[1] Kobe Univ, Grad Sch Syst Informat, Nada Ku, Kobe, Hyogo 6578501, Japan

[2] Univ Bonn, Math Inst, D-53115 Bonn, Germany

[3] Univ Amsterdam, Inst Log Language & Computat, NL-1090 GE Amsterdam, Netherlands

[4] Univ Hamburg, Dept Math, D-20146 Hamburg, Germany

来源：

JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN | 2011年 / 63卷 / 01期

基金：

日本学术振兴会;

关键词：

eventually different forcing; regularity properties; Hechler forcing;

D O I：

10.2969/jmsj/06310137

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper, we are considering the Baire property of the eventually different topology as a regularity property for sets of reals and investigate the logical strength of the statements "Every Delta(1)(2) set has the Baire property in the eventually different topology" and "Every Sigma(1)(2) set has the Baire property in the eventually different topology". The latter statement turns out to be equivalent to "omega(1) is inaccessible by reals".

引用

页码：137 / 151

页数：15

共 13 条

[1] Bartoszynski T., 1995, SET THEORY STRUCTURE
[2] ADJOINING DOMINATING FUNCTIONS
BAUMGARTNER, JE
DORDAL, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 94 - 101
[3] Silver measurability and its relation to other regularity properties
Brendle, J
Halbeisen, L
Löwe, B
[J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2005, 138 : 135 - 149
[4] Solovay-type characterizations for forcing-algebras
Brendle, J
Löwe, B
[J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1307 - 1323
[5] COMBINATORIAL PROPERTIES OF CLASSICAL FORCING NOTIONS
BRENDLE, J
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (02) : 143 - 170
[6] Cardinal invariants of the continuum and combinatorics on uncountable cardinals
Brendle, Jorg
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 144 (1-3) : 43 - 72
[7] Ihoda JaimeI., 1989, Ann. Pure Appl. Log, V42, P207
[8] Forcing absoluteness and regularity properties
Ikegami, Daisuke
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (07) : 879 - 894
[9] Kechris A. S., 1994, CLASSICAL DESCRIPTIV, V156
[10] Labedzki Grzegorz., 1996, Acta Univ. Carolin. Math. Phys, V037, P37

← 1 2 →