Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Friedman, Sy D."'
We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cicho\
Externí odkaz:
http://arxiv.org/abs/1609.05433
Publikováno v:
The Journal of Symbolic Logic, 2018 Mar 01. 83(1), 208-236.
Externí odkaz:
https://www.jstor.org/stable/26600317
Autor:
Friedman, Sy D., Schindler, Ralf
Publikováno v:
The Journal of Symbolic Logic, 2003 Dec 01. 68(4), 1065-1081.
Externí odkaz:
https://www.jstor.org/stable/4147748
Autor:
Friedman, Sy D.
Publikováno v:
The Journal of Symbolic Logic, 2003 Dec 01. 68(4), 1163-1170.
Externí odkaz:
https://www.jstor.org/stable/4147753
Publikováno v:
The Journal of Symbolic Logic, 2003 Jun 01. 68(2), 580-588.
Externí odkaz:
https://www.jstor.org/stable/4147697
Autor:
Friedman, Sy D.
Publikováno v:
The Journal of Symbolic Logic, 2002 Sep 01. 67(3), 924-932.
Externí odkaz:
https://www.jstor.org/stable/3648547
Autor:
Friedman, Sy D.
We put into a general setting a technique of Rene' David (see "A Very Absolute Pi^1_2 Singleton, Annals of Pure and Applied Logic, 1982) to show that for S a Sigma^1_1 statement quantifying over subclasses of V of a special form, there is a stronger
Externí odkaz:
http://arxiv.org/abs/math/9712273
Autor:
Friedman, Sy D.
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there is a gener
Externí odkaz:
http://arxiv.org/abs/math/9712272