Sy D. Friedman

32 papers Journal 31

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Coherent Systems of finite Support iterations. J. Symb. Log. Vera Fischer, Sy D. Friedman, Diego Alejandro Mejía, Diana Carolina Montoya
2009	J	`jnl`	Large cardinals and locally defined well-orders of the universe. Ann. Pure Appl. Log. David Asperó, Sy D. Friedman
2008	J	`jnl`	Easton's theorem and large cardinals. Ann. Pure Appl. Log. Sy D. Friedman, Radek Honzik
2008	J	`jnl`	Homogeneous iteration and measure one covering relative to HOD. Arch. Math. Log. Natasha Dobrinen, Sy D. Friedman
2005	J	`jnl`	Definability degrees. Math. Log. Q. Sy D. Friedman
2005	J	`jnl`	Genericity and Large Cardinals. J. Math. Log. Sy D. Friedman
2004	J	`jnl`	Generic Sigma J. Symb. Log. Sy D. Friedman
2003	J	`jnl`	Cardinal-preserving extensions. J. Symb. Log. Sy D. Friedman
2003	J	`jnl`	Classification theory and 0 J. Symb. Log. Sy D. Friedman, Tapani Hyttinen, Mika Rautila
2003	J	`jnl`	Universally Baire sets and definable well-orderings of the reals. J. Symb. Log. Sy D. Friedman, Ralf Schindler
2002	J	`jnl`	0 J. Symb. Log. Sy D. Friedman
2001	J	`jnl`	Generic absoluteness. Ann. Pure Appl. Log. Joan Bagaria, Sy D. Friedman
1999	—	`ch.`	Ordinal Recursion Theory. Handbook of Computability Theory C. T. Chong, Sy D. Friedman
1998	J	`jnl`	Generic Saturation. J. Symb. Log. Sy D. Friedman
1997	J	`jnl`	An elementary approach to the fine structure of L. Bull. Symb. Log. Sy D. Friedman, Peter Koepke
1997	J	`jnl`	Coding without Fine Structure. J. Symb. Log. Sy D. Friedman
1997	J	`jnl`	Delta Ann. Pure Appl. Log. Sy D. Friedman, Boban Velickovic
1994	J	`jnl`	A Simpler proof of Jensen's Coding Theorem. Ann. Pure Appl. Log. Sy D. Friedman
1994	J	`jnl`	Jensen's Sigma J. Symb. Log. Sy D. Friedman
1994	J	`jnl`	The Genericity Conjecture. J. Symb. Log. Sy D. Friedman
1989	J	`jnl`	Coding Over a Measurable Cardinal. J. Symb. Log. Sy D. Friedman
1989	J	`jnl`	Minimal Coding. Ann. Pure Appl. Log. Sy D. Friedman
1987	J	`jnl`	A guide to "strong coding". Ann. Pure Appl. Log. Sy D. Friedman
1987	J	`jnl`	Strong coding. Ann. Pure Appl. Log. Sy D. Friedman
1985	J	`jnl`	A Guide to "Coding the Universe" by Beller, Jensen, Welch. J. Symb. Log. Sy D. Friedman
1984	J	`jnl`	Annual Meeting of the Association for Symbolic Logic: Boston 1983. J. Symb. Log. George Boolos, Sy D. Friedman
1984	J	`jnl`	Model theory for L Ann. Pure Appl. Log. Sy D. Friedman
1983	J	`jnl`	Degree theory on aleph Ann. Pure Appl. Log. C. T. Chong, Sy D. Friedman
1983	J	`jnl`	Some Recent Developments in Higher Recursion Theory. J. Symb. Log. Sy D. Friedman
1982	J	`jnl`	Steel forcing and barwise compactness. Ann. Math. Log. Sy D. Friedman
1981	J	`jnl`	Meeting of the Association for Symbolic Logic: New York 1979. J. Symb. Log. George Boolos, Sy D. Friedman, Harold Hodes
1979	J	`jnl`	HC of an Admissible Set. J. Symb. Log. Sy D. Friedman