Eventually different functions and inaccessible cardinals

スポンサーリンク

概要

• 論文の詳細を見る

• 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 Δ12 set has the Baire property in the eventually different topology” and “Every Σ12 set has the Baire property in the eventually different topology”. The latter statement turns out to be equivalent to “ω1 is inaccessible by reals”.

• 社団法人 日本数学会の論文
• 2011-01-01

著者

• Brendle Jörg

  Graduate School of System Informatics, Kobe University

• Löwe Benedikt

  Institute for Logic, Language and Computation, Universiteit van Amsterdam

• Lowe Benedikt

  Institute For Logic Language And Computation Universiteit Van Amsterdam

関連論文

• Eventually different functions and inaccessible cardinals
• Eventually different functions and inaccessible cardinals

スポンサーリンク