Principe de réflexion MRP, propriétés d'arbres et grands cardinaux
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...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Paris-Diderot - Paris VII
2012
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00740730 http://tel.archives-ouvertes.fr/docs/00/74/07/30/PDF/these19092012.pdf |