On a class of maximality principles

Daisuke Ikegami, Nam Trang

研究成果: Article査読

1 被引用数 (Scopus)

抄録

We study various classes of maximality principles, MP (κ, Γ) , introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ, Γ) with various forcing axioms when κ∈ { ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximality principles MP(ω1, Γ) for Σ 1 formulas. A significant part of the paper is devoted to studying the principle MP(κ, Γ) where κ∈ { ω, ω1} and Γ defines the class of stationary set preserving forcings. We show that MP(κ, Γ) has high consistency strength; on the other hand, if Γ defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP(κ, Γ) is consistent relative to V= L.

本文言語English
ページ(範囲)713-725
ページ数13
ジャーナルArchive for Mathematical Logic
57
5-6
DOI
出版ステータスPublished - 2018 8 1
外部発表はい

ASJC Scopus subject areas

  • 哲学
  • 論理

フィンガープリント

「On a class of maximality principles」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル