Principe de réflexion MRP, propriétés d'arbres et grands cardinaux - Archive ouverte HAL Access content directly
Theses Year : 2012

The reflection principle MRP, tree properties and large cardinals

Principe de réflexion MRP, propriétés d'arbres et grands cardinaux

Rémi Strullu
  • Function : Author
  • PersonId : 931221

Abstract

The object of this thesis is to study the relashionships between the reflection principle MRP introduced by Moore, the generalized tree properties ITP and ISP introduced by Weiß, and the square properties introduced by Jensen and extended by Schimmerling. The main result is that MRP+MA implies ITP(λ, ω2) for all cardinals λ ≥ ω2. Consequently, all known methods for proving the consistency of MRP+MA require at least a supercompact cardinal. MRP alone is not enough to prove that result, and we give a proof that MRPdoes not imply the weakest tree property, TP(ω2, ω2). Furthermore, MRP + MA does not imply the stronger tree property ISP(ω2, ω2). In addition, we study the relationship between MRP and some weak versions of the square principle. We show that MRP implies the failure of square(λ, ω), and MRP + MA implies the failure of square(λ, ω1) for all λ ≥ ω2.
Dans cette thèse, nous présentons les relations entre le principe de réflexion MRP introduit par Moore, les propriétés d'arbres généralisées ITP et ISP introduites par Weiß, ainsi que les propriétés square introduites par Jensen et développées par Schimmerling. Le résultat principal de cette thèse est que MRP+MA entraine ITP(λ, ω2) pour tout cardinal λ ≥ ω2. Ce résultat implique par conséquent que les méthodes actuelles pour prouver la consistance de MRP+MA nécessitent au moins l'existence d'un cardinal supercompact. Il s'avère que MRP seul ne suffit pas à démontrer ce résultat, et nous donnons la démonstration que MRP n'entraine pas la propriété d'arbre plus faible, à savoir TP(ω2, ω2). De plus MRP+MA n'entraine pas le principe d'arbre plus fort ISP(ω2, ω2). Enfin nous étudions les relations entre MRP et des versions faibles de square. Nous montrons que MRP implique la négation de square(λ, ω) et MRP+MA implique la négation de square(λ, ω1) pour tout λ ≥ ω2.
Fichier principal
Vignette du fichier
these19092012.pdf (473.51 Ko) Télécharger le fichier
Loading...

Dates and versions

tel-00740730 , version 1 (10-10-2012)

Identifiers

  • HAL Id : tel-00740730 , version 1

Cite

Rémi Strullu. Principe de réflexion MRP, propriétés d'arbres et grands cardinaux. Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012. Français. ⟨NNT : ⟩. ⟨tel-00740730⟩
237 View
264 Download

Share

Gmail Facebook Twitter LinkedIn More