Consistency of Borel's Conjecture
The Shoenfield tree
Consistency of Proper Forcing Axiom II
A constructive proof of the separation theorem for \kappa-Suslin sets.
Consistency of the Proper Forcing Axiom I
Kappa-Suslin sets and the perfect set property II.
Reductions, trees and analytic sets III
Iterations of Proper Forcing III
Iterations of proper forcing IV
Pages
![Subscribe to RSS - Logic Set Theory](https://www.math.uci.edu/misc/feed.png)