Principe de réflexion MRP, propriétés d'arbres et grands cardinaux - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 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
  • Fonction : Auteur
  • PersonId : 931221

Résumé

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 et versions

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

Identifiants

  • HAL Id : tel-00740730 , version 1

Citer

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⟩
256 Consultations
280 Téléchargements

Partager

Gmail Facebook X LinkedIn More