2009 |
21 | EE | David Asperó,
Sy D. Friedman:
Large cardinals and locally defined well-orders of the universe.
Ann. Pure Appl. Logic 157(1): 1-15 (2009) |
2008 |
20 | EE | Sy D. Friedman,
Radek Honzik:
Easton's theorem and large cardinals.
Ann. Pure Appl. Logic 154(3): 191-208 (2008) |
19 | EE | Natasha Dobrinen,
Sy D. Friedman:
Homogeneous iteration and measure one covering relative to HOD.
Arch. Math. Log. 47(7-8): 711-718 (2008) |
2005 |
18 | EE | Sy D. Friedman:
Definability degrees.
Math. Log. Q. 51(5): 448-449 (2005) |
2003 |
17 | | Sy D. Friedman,
Tapani Hyttinen,
Mika Rautila:
Classification theory and 0#.
J. Symb. Log. 68(2): 580-588 (2003) |
2002 |
16 | | Sy D. Friedman:
0# and Inner Models.
J. Symb. Log. 67(3): 924-932 (2002) |
2001 |
15 | | Joan Bagaria,
Sy D. Friedman:
Generic absoluteness.
Ann. Pure Appl. Logic 108(1-3): 3-13 (2001) |
1998 |
14 | | Sy D. Friedman:
Generic Saturation.
J. Symb. Log. 63(1): 158-162 (1998) |
1997 |
13 | | Sy D. Friedman,
Boban Velickovic:
Delta1-Definability.
Ann. Pure Appl. Logic 89(1): 93-99 (1997) |
12 | EE | Sy D. Friedman,
Peter Koepke:
An elementary approach to the fine structure of L.
Bulletin of Symbolic Logic 3(4): 453-468 (1997) |
11 | | Sy D. Friedman:
Coding without Fine Structure.
J. Symb. Log. 62(3): 808-815 (1997) |
1994 |
10 | | Sy D. Friedman:
A Simpler proof of Jensen's Coding Theorem.
Ann. Pure Appl. Logic 70(1): 1-16 (1994) |
9 | | Sy D. Friedman:
The Genericity Conjecture.
J. Symb. Log. 59(2): 606-614 (1994) |
8 | | Sy D. Friedman:
Jensen's Sigma* Theory and the Combinatorial Content of V=L.
J. Symb. Log. 59(3): 1096-1104 (1994) |
1989 |
7 | | Sy D. Friedman:
Minimal Coding.
Ann. Pure Appl. Logic 41(3): 233-297 (1989) |
6 | | Sy D. Friedman:
Coding Over a Measurable Cardinal.
J. Symb. Log. 54(4): 1145-1159 (1989) |
1985 |
5 | | Sy D. Friedman:
A Guide to "Coding the Universe" by Beller, Jensen, Welch.
J. Symb. Log. 50(4): 1002-1019 (1985) |
1984 |
4 | | George Boolos,
Sy D. Friedman:
Annual Meeting of the Association for Symbolic Logic: Boston 1983.
J. Symb. Log. 49(4): 1441-1449 (1984) |
1983 |
3 | | Sy D. Friedman:
Some Recent Developments in Higher Recursion Theory.
J. Symb. Log. 48(3): 629-642 (1983) |
1981 |
2 | | George Boolos,
Sy D. Friedman,
Harold Hodes:
Meeting of the Association for Symbolic Logic: New York 1979.
J. Symb. Log. 46(2): 427-434 (1981) |
1979 |
1 | | Sy D. Friedman:
HC of an Admissible Set.
J. Symb. Log. 44(1): 95-102 (1979) |