Article ID Journal Published Year Pages File Type
5778101 Annals of Pure and Applied Logic 2007 59 Pages PDF
Abstract
We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that all known ⋄-based constructions of κ-Souslin trees may be redirected through this new proxy principle.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,