Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778101 | Annals of Pure and Applied Logic | 2007 | 59 Pages |
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
Ari Meir Brodsky, Assaf Rinot,