Quantcast
Channel: KT Thompson » forcing
Browsing all 2 articles
Browse latest View live

Oracle forcing Part I

Introduction and definitions Recently, Martin Goldstern and I have been studying oracle-cc and oracle-proper forcing, which was introduced by Shelah in his paper numbered 100 (proper forcing was also...

View Article



Oracle forcing part II

Putting oracle forcing into context $\sigma$-closed $\Downarrow$ uberoracle-proper $\Rightarrow$ strong $\bar{M}$-proper $\Longrightarrow$ $\Rightarrow$ $\bar{M}$-proper proper $\Uparrow$ $\Uparrow$...

View Article
Browsing all 2 articles
Browse latest View live




Latest Images