-
The reflection principle MRP, tree properties and large cardinals
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... -
Click'n'Prove: Interactive Proofs Within Set Theory
Colloque avec actes et comité de lecture. internationale.
