HC of an Admissible Set. - Sy D. Friedman (J. Symb. Log., 1979)

Meeting of the Association for Symbolic Logic: New York 1979. - George Boolos; Sy D. Friedman; Harold Hodes (J. Symb. Log., 1981)

Steel forcing and barwise compactness. - Sy D. Friedman (Ann. Math. Log., 1982)

Degree theory on alephω. - C. T. Chong; Sy D. Friedman (Ann. Pure Appl. Log., 1983)

Some Recent Developments in Higher Recursion Theory. - Sy D. Friedman (J. Symb. Log., 1983)

Model theory for L∞ω1. - Sy D. Friedman (Ann. Pure Appl. Log., 1984)

Annual Meeting of the Association for Symbolic Logic: Boston 1983. - George Boolos; Sy D. Friedman (J. Symb. Log., 1984)

A Guide to "Coding the Universe" by Beller, Jensen, Welch. - Sy D. Friedman (J. Symb. Log., 1985)

Strong coding. - Sy D. Friedman (Ann. Pure Appl. Log., 1987)

A guide to "strong coding". - Sy D. Friedman (Ann. Pure Appl. Log., 1987)

Minimal Coding. - Sy D. Friedman (Ann. Pure Appl. Log., 1989)

Coding Over a Measurable Cardinal. - Sy D. Friedman (J. Symb. Log., 1989)

A Simpler proof of Jensen's Coding Theorem. - Sy D. Friedman (Ann. Pure Appl. Log., 1994)

The Genericity Conjecture. - Sy D. Friedman (J. Symb. Log., 1994)

Jensen's Sigma* Theory and the Combinatorial Content of V=L. - Sy D. Friedman (J. Symb. Log., 1994)

Delta1-Definability. - Sy D. Friedman; Boban Velickovic (Ann. Pure Appl. Log., 1997)

An elementary approach to the fine structure of L. - Sy D. Friedman; Peter Koepke (Bull. Symb. Log., 1997)

Coding without Fine Structure. - Sy D. Friedman (J. Symb. Log., 1997)

Generic Saturation. - Sy D. Friedman (J. Symb. Log., 1998)

Ordinal Recursion Theory. - C. T. Chong; Sy D. Friedman (Handbook of Computability Theory, 1999)

Generic absoluteness. - Joan Bagaria; Sy D. Friedman (Ann. Pure Appl. Log., 2001)

0# and Inner Models. - Sy D. Friedman (J. Symb. Log., 2002)

Cardinal-preserving extensions. - Sy D. Friedman (J. Symb. Log., 2003)

Classification theory and 0#. - Sy D. Friedman; Tapani Hyttinen; Mika Rautila (J. Symb. Log., 2003)

Universally Baire sets and definable well-orderings of the reals. - Sy D. Friedman; Ralf Schindler (J. Symb. Log., 2003)

Generic Sigma13 absoluteness. - Sy D. Friedman (J. Symb. Log., 2004)

Genericity and Large Cardinals. - Sy D. Friedman (J. Math. Log., 2005)

Definability degrees. - Sy D. Friedman (Math. Log. Q., 2005)

Internal Consistency and the Inner Model Hypothesis. - Sy-David Friedman (Bull. Symb. Log., 2006)

Co-stationarity of the ground model. - Natasha Dobrinen; Sy-David Friedman (J. Symb. Log., 2006)

Hyperfine structure theory and gap 1 morasses. - Sy-David Friedman; Peter Koepke; Boris Piwinger (J. Symb. Log., 2006)

Homogeneous iteration and measure one covering relative to HOD. - Natasha Dobrinen; Sy D. Friedman (Arch. Math. Log., 2008)

Easton's theorem and large cardinals. - Sy D. Friedman; Radek Honzik (Ann. Pure Appl. Log., 2008)

The internal consistency of Easton's theorem. - Sy-David Friedman; Pavel Ondrejovic (Ann. Pure Appl. Log., 2008)

on the singular cardinals. - James Cummings 001; Sy-David Friedman (J. Symb. Log., 2008)

Internal consistency and global co-stationarity of the ground model. - Natasha Dobrinen; Sy-David Friedman (J. Symb. Log., 2008)

Internal consistency for embedding complexity. - Sy-David Friedman; Katherine Thompson (J. Symb. Log., 2008)

Perfect trees and elementary embeddings. - Sy-David Friedman; Katherine Thompson (J. Symb. Log., 2008)

On the consistency strength of the inner model hypothesis. - Sy-David Friedman; Philip D. Welch; W. Hugh Woodin (J. Symb. Log., 2008)

Equivalence Relations on Classes of Computable Structures. - Ekaterina B. Fokina; Sy-David Friedman (CiE, 2009)

Large cardinals and locally defined well-orders of the universe. - David Asperó; Sy D. Friedman (Ann. Pure Appl. Log., 2009)

Large cardinals and gap-1 morasses. - Andrew D. Brooke-Taylor; Sy-David Friedman (Ann. Pure Appl. Log., 2009)

The number of normal measures. - Sy-David Friedman; Menachem Magidor (J. Symb. Log., 2009)

An inner model for global domination. - Sy-David Friedman; Katherine Thompson (J. Symb. Log., 2009)

Cardinal characteristics and projective wellorders. - Vera Fischer; Sy-David Friedman (Ann. Pure Appl. Log., 2010)

The effective theory of Borel equivalence relations. - Ekaterina B. Fokina; Sy-David Friedman; Asger Törnquist (Ann. Pure Appl. Log., 2010)

Projective mad families. - Sy-David Friedman; Lyubomyr Zdomskyy (Ann. Pure Appl. Log., 2010)

Projective wellorders and mad families with large continuum. - Vera Fischer; Sy-David Friedman; Lyubomyr Zdomskyy (Ann. Pure Appl. Log., 2011)

Strong isomorphism reductions in complexity theory. - Sam Buss; Yijia Chen 001; Jörg Flum; Sy-David Friedman; Moritz Müller (J. Symb. Log., 2011)

BPFA and projective well-orderings of the reals. - Andrés Eduardo Caicedo; Sy-David Friedman (J. Symb. Log., 2011)

The tree property at ℵω+2. - Sy-David Friedman; Ajdin Halilovic (J. Symb. Log., 2011)

Potential isomorphism of elementary substructures of a strictly stable homogeneous model. - Sy-David Friedman; Tapani Hyttinen; Agatha Walczak-Typke (J. Symb. Log., 2011)

Analytic equivalence relations and bi-embeddability. - Sy-David Friedman; Luca Motto Ros (J. Symb. Log., 2011)

Hypermachines. - Sy-David Friedman; Philip D. Welch (J. Symb. Log., 2011)

On Absoluteness of Categoricity in Abstract Elementary Classes. - Sy-David Friedman; Martin Koerwien (Notre Dame J. Formal Log., 2011)

Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract). - Ekaterina B. Fokina; Sy-David Friedman; André Nies (WoLLIC, 2012)

Independence of higher Kurepa hypotheses. - Sy-David Friedman; Mohammad Golshani (Arch. Math. Log., 2012)

On Borel equivalence relations in generalized Baire space. - Sy-David Friedman; Tapani Hyttinen (Arch. Math. Log., 2012)

Foundational implications of the Inner Model Hypothesis. - Tatiana Arrigoni; Sy-David Friedman (Ann. Pure Appl. Log., 2012)

Easton's theorem and large cardinals from the optimal hypothesis. - Sy-David Friedman; Radek Honzik (Ann. Pure Appl. Log., 2012)

The stable core. - Sy-David Friedman (Bull. Symb. Log., 2012)

Projective maximal families of orthogonal measures with large continuum. - Vera Fischer; Sy-David Friedman; Asger Törnquist (J. Log. Anal., 2012)

Definable well-orders of H(ω2) and GCH. - David Asperó; Sy-David Friedman (J. Symb. Log., 2012)

Isomorphism relations on computable structures. - Ekaterina B. Fokina; Sy-David Friedman; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Antonio Montalbán (J. Symb. Log., 2012)

On Σ11 equivalence relations over the natural numbers. - Ekaterina B. Fokina; Sy-David Friedman (Math. Log. Q., 2012)

Co-analytic mad families and definable wellorders. - Vera Fischer; Sy-David Friedman; Yurii Khomskii (Arch. Math. Log., 2013)

Baumgartner's conjecture and bounded forcing axioms. - David Asperó; Sy-David Friedman; Miguel Angel Mota; Marcin Sabok (Ann. Pure Appl. Log., 2013)

Cardinal characteristics, projective wellorders and large continuum. - Vera Fischer; Sy-David Friedman; Lyubomyr Zdomskyy (Ann. Pure Appl. Log., 2013)

Fusion and large cardinal preservation. - Sy-David Friedman; Radek Honzik; Lyubomyr Zdomskyy (Ann. Pure Appl. Log., 2013)

Slow consistency. - Sy-David Friedman; Michael Rathjen; Andreas Weiermann (Ann. Pure Appl. Log., 2013)

The hyperuniverse program. - Tatiana Arrigoni; Sy-David Friedman (Bull. Symb. Log., 2013)

Killing the GCH everywhere with a single real. - Sy-David Friedman; Mohammad Golshani (J. Symb. Log., 2013)

Classes of structures with universe a subset of ω1. - Ekaterina B. Fokina; Sy-David Friedman; Julia F. Knight; Russell G. Miller (J. Log. Comput., 2013)

The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω. - Sy-David Friedman; Tapani Hyttinen; Martin Koerwien (Notre Dame J. Formal Log., 2013)

The completeness of isomorphism. - Sy-David Friedman (Logic, Computation, Hierarchies, 2014)

Rank-into-rank hypotheses and the failure of GCH. - Vincenzo Dimonte; Sy-David Friedman (Arch. Math. Log., 2014)

Cichoń's diagram, regularity properties and Δ13 sets of reals. - Vera Fischer; Sy-David Friedman; Yurii Khomskii (Arch. Math. Log., 2014)

Measure, category and projective wellorders. - Vera Fischer; Sy-David Friedman; Yurii Khomskii (J. Log. Anal., 2014)

Large cardinals need not be large in HOD. - Yong Cheng; Sy-David Friedman; Joel David Hamkins (Ann. Pure Appl. Log., 2015)

The tree property at the א2n's and the failure of SCH at אω. - Sy-David Friedman; Radek Honzik (Ann. Pure Appl. Log., 2015)

Large cardinals and definable well-orders, without the GCH. - Sy-David Friedman; Philipp Lücke (Ann. Pure Appl. Log., 2015)

Definable normal measures. - Sy-David Friedman; Liuzhen Wu (Ann. Pure Appl. Log., 2015)

Collapsing the cardinals of HOD. - James Cummings 001; Sy-David Friedman; Mohammad Golshani (J. Math. Log., 2015)

Safe Recursive Set Functions. - Arnold Beckmann; Samuel R. Buss; Sy-David Friedman (J. Symb. Log., 2015)

Large Cardinals and Lightface Definable Well-Orders, without the GCH. - Sy-David Friedman; Peter Holy; Philipp Lücke (J. Symb. Log., 2015)

Failures of the Silver Dichotomy in the generalized Baire Space. - Sy-David Friedman; Vadim Kulikov (J. Symb. Log., 2015)

Multiverse conceptions in set theory. - Carolin Antos; Sy-David Friedman; Radek Honzik; Claudio Ternullo (Synth., 2015)

Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. - Sy-David Friedman; Wei Li 050; Tin Lok Wong (Arch. Math. Log., 2016)

Cobham recursive set functions. - Arnold Beckmann; Sam Buss; Sy-David Friedman; Moritz Müller; Neil Thapen (Ann. Pure Appl. Log., 2016)

Regularity properties on the generalized reals. - Sy-David Friedman; Yurii Khomskii; Vadim Kulikov (Ann. Pure Appl. Log., 2016)

Evidence for Set-theoretic Truth and the Hyperuniverse Programme. - Sy-David Friedman (FLAP, 2016)

Isomorphism on HYP. - Sy-David Friedman (J. Symb. Log., 2016)

Definability of Satisfaction in outer Models. - Sy-David Friedman; Radek Honzik (J. Symb. Log., 2016)

On strong forms of reflection in set theory. - Sy-David Friedman; Radek Honzik (Math. Log. Q., 2016)

A null ideal for inaccessibles. - Sy-David Friedman; Giorgio Laguzzi (Arch. Math. Log., 2017)

Cardinal characteristics at κ in a small u(κ) model. - Andrew D. Brooke-Taylor; Vera Fischer; Sy-David Friedman; Diana Carolina Montoya (Ann. Pure Appl. Log., 2017)

Hyperclass forcing in Morse-Kelley class Theory. - Carolin Antos; Sy-David Friedman (J. Symb. Log., 2017)

The eightfold Way. - James Cummings 001; Sy-David Friedman; Menachem Magidor; Assaf Rinot (J. Symb. Log., 2018)

Coherent Systems of finite Support iterations. - Vera Fischer; Sy D. Friedman; Diego Alejandro Mejía; Diana Carolina Montoya (J. Symb. Log., 2018)

Feasible set functions have small circuits. - Arnold Beckmann; Sam Buss; Sy-David Friedman; Moritz Müller; Neil Thapen (Comput., 2019)

A model of second-order arithmetic satisfying AC but not DC. - Sy-David Friedman; Victoria Gitman; Vladimir Kanovei (J. Math. Log., 2019)

A ${ rm{ Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${ rm{NS}}_{ omega _1 } $ SATURATED. - Sy-David Friedman; Stefan Hoffelner (J. Symb. Log., 2019)

Introduction. - Carolin Antos; Neil Barton; Sy-David Friedman; Claudio Ternullo; John Wigglesworth (Synth., 2020)

Maximality and ontology: how axiom content varies across philosophical frameworks. - Neil Barton; Sy-David Friedman (Synth., 2020)

Generic coding with Help and Amalgamation Failure. - Sy-David Friedman; Dan Hathaway (J. Symb. Log., 2021)

Universism and Extensions of V. - Carolin Antos; Neil Barton; Sy-David Friedman (Rev. Symb. Log., 2021)

Embeddings Into Outer Models. - Monroe Eskew; Sy-David Friedman (J. Symb. Log., 2022)

Structural Properties of the stable Core. - Sy-David Friedman; Victoria Gitman; Sandra Müller (J. Symb. Log., 2023)

Mutually embeddable models of ZFC. - Monroe Eskew; Sy-David Friedman; Yair Hayut; Farmer Schlutzenberg (Ann. Pure Appl. Log., 2024)

Good projective witnesses. - Vera Fischer; Sy-David Friedman; David Schrittesser; Asger Törnquist (Ann. Pure Appl. Log., 2025)