Abstract | ||
---|---|---|
A forcing poset of size 22 ℵ1 which adds no new reals is described and shown to provide a �22 definable well-order of the reals (in fact, any given relation of the reals may be so encoded in some generic extension). The encoding of this well-order is obtained by playing with products of Aronszajn trees: Some products are special while other are Suslin trees. The paper also deals with the Magidor-Malitz logic: it is consistent that this logic is highly non compact. |
Year | Venue | DocType |
---|---|---|
1993 | Ann. Pure Appl. Logic | Journal |
Volume | Issue | Citations |
59 | 1 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Uri Abraham | 1 | 56 | 13.91 |
Saharon Shelah | 2 | 1556 | 440.53 |