dblp.uni-trier.dewww.uni-trier.de

Sy D. Friedman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
21EEDavid Asperó, Sy D. Friedman: Large cardinals and locally defined well-orders of the universe. Ann. Pure Appl. Logic 157(1): 1-15 (2009)
2008
20EESy D. Friedman, Radek Honzik: Easton's theorem and large cardinals. Ann. Pure Appl. Logic 154(3): 191-208 (2008)
19EENatasha Dobrinen, Sy D. Friedman: Homogeneous iteration and measure one covering relative to HOD. Arch. Math. Log. 47(7-8): 711-718 (2008)
2005
18EESy 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)
12EESy 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)

Coauthor Index

1David Asperó [21]
2Joan Bagaria [15]
3George Boolos [2] [4]
4Natasha Dobrinen [19]
5Harold Hodes [2]
6Radek Honzik [20]
7Tapani Hyttinen [17]
8Peter Koepke [12]
9Mika Rautila [17]
10Boban Velickovic [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)