Sy-David Friedman

According to our database, Sy-David Friedman authored at least 110 papers between 1979 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Good projective witnesses.

Vera Fischer, Sy-David Friedman, David Schrittesser, Asger Törnquist

Ann. Pure Appl. Log., 2025

2024

Mutually embeddable models of ZFC.

Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg

Ann. Pure Appl. Log., January, 2024

2023

Structural Properties of the stable Core.

Sy-David Friedman, Victoria Gitman, Sandra Müller

J. Symb. Log., 2023

2022

Embeddings Into Outer Models.

Monroe Eskew, Sy-David Friedman

J. Symb. Log., December, 2022

2021

Universism and Extensions of V.

Carolin Antos, Neil Barton, Sy-David Friedman

Rev. Symb. Log., 2021

Generic coding with Help and Amalgamation Failure.

Sy-David Friedman, Dan Hathaway

J. Symb. Log., 2021

2020

Maximality and ontology: how axiom content varies across philosophical frameworks.

Neil Barton, Sy-David Friedman

Synth., 2020

Introduction.

Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo, John Wigglesworth

Synth., 2020

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

A model of second-order arithmetic satisfying AC but not DC.

Sy-David Friedman, Victoria Gitman, Vladimir Kanovei

J. Math. Log., 2019

Feasible set functions have small circuits.

Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen

Comput., 2019

2018

Coherent Systems of finite Support iterations.

Vera Fischer, Sy D. Friedman, Diego Alejandro Mejía, Diana Carolina Montoya

J. Symb. Log., 2018

The eightfold Way.

James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot

J. Symb. Log., 2018

2017

Hyperclass forcing in Morse-Kelley class Theory.

Carolin Antos, Sy-David Friedman

J. Symb. 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

A null ideal for inaccessibles.

Sy-David Friedman, Giorgio Laguzzi

Arch. Math. Log., 2017

2016

On strong forms of reflection in set theory.

Sy-David Friedman, Radek Honzik

Math. Log. Q., 2016

Definability of Satisfaction in outer Models.

Sy-David Friedman, Radek Honzik

J. Symb. Log., 2016

Isomorphism on HYP.

Sy-David Friedman

J. Symb. Log., 2016

Evidence for Set-theoretic Truth and the Hyperuniverse Programme.

Sy-David Friedman

FLAP, 2016

Regularity properties on the generalized reals.

Sy-David Friedman, Yurii Khomskii, Vadim Kulikov

Ann. Pure Appl. Log., 2016

Cobham recursive set functions.

Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen

Ann. Pure Appl. Log., 2016

Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory.

Sy-David Friedman, Wei Li, Tin Lok Wong

Arch. Math. Log., 2016

2015

Multiverse conceptions in set theory.

Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo

Synth., 2015

Failures of the Silver Dichotomy in the generalized Baire Space.

Sy-David Friedman, Vadim Kulikov

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

Safe Recursive Set Functions.

Arnold Beckmann, Samuel R. Buss, Sy-David Friedman

J. Symb. Log., 2015

Collapsing the cardinals of HOD.

James Cummings, Sy-David Friedman, Mohammad Golshani

J. Math. Log., 2015

Definable normal measures.

Sy-David Friedman, Liuzhen Wu

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

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 need not be large in HOD.

Yong Cheng, Sy-David Friedman, Joel David Hamkins

Ann. Pure Appl. Log., 2015

2014

Measure, category and projective wellorders.

Vera Fischer, Sy-David Friedman, Yurii Khomskii

J. Log. Anal., 2014

Cichoń's diagram, regularity properties and Δ¹₃ sets of reals.

Vera Fischer, Sy-David Friedman, Yurii Khomskii

Arch. Math. Log., 2014

Rank-into-rank hypotheses and the failure of GCH.

Vincenzo Dimonte, Sy-David Friedman

Arch. Math. Log., 2014

The completeness of isomorphism.

Sy-David Friedman

Proceedings of the Logic, Computation, Hierarchies, 2014

2013

The Nonabsoluteness of Model Existence in Uncountable Cardinals for L_ω₁,ω.

Sy-David Friedman, Tapani Hyttinen, Martin Koerwien

Notre Dame J. Formal Log., 2013

Classes of structures with universe a subset of <i>ω</i>₁.

Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller

J. Log. Comput., 2013

Killing the GCH everywhere with a single real.

Sy-David Friedman, Mohammad Golshani

J. Symb. Log., 2013

The hyperuniverse program.

Tatiana Arrigoni, Sy-David Friedman

Bull. Symb. Log., 2013

Slow consistency.

Sy-David Friedman, Michael Rathjen, Andreas Weiermann

Ann. Pure Appl. Log., 2013

Fusion and large cardinal preservation.

Sy-David Friedman, Radek Honzik, Lyubomyr Zdomskyy

Ann. Pure Appl. Log., 2013

Cardinal characteristics, projective wellorders and large continuum.

Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy

Ann. Pure Appl. Log., 2013

Baumgartner's conjecture and bounded forcing axioms.

David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok

Ann. Pure Appl. Log., 2013

Co-analytic mad families and definable wellorders.

Vera Fischer, Sy-David Friedman, Yurii Khomskii

Arch. Math. Log., 2013

2012

On Σ¹₁ equivalence relations over the natural numbers.

Ekaterina B. Fokina, Sy-David Friedman

Math. Log. Q., 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

Definable well-orders of H(ω₂) and GCH.

David Asperó, Sy-David Friedman

J. Symb. Log., 2012

Projective maximal families of orthogonal measures with large continuum.

Vera Fischer, Sy-David Friedman, Asger Törnquist

J. Log. Anal., 2012

The stable core.

Sy-David Friedman

Bull. Symb. Log., 2012

Easton's theorem and large cardinals from the optimal hypothesis.

Sy-David Friedman, Radek Honzik

Ann. Pure Appl. Log., 2012

Foundational implications of the Inner Model Hypothesis.

Tatiana Arrigoni, Sy-David Friedman

Ann. Pure Appl. Log., 2012

On Borel equivalence relations in generalized Baire space.

Sy-David Friedman, Tapani Hyttinen

Arch. Math. Log., 2012

Independence of higher Kurepa hypotheses.

Sy-David Friedman, Mohammad Golshani

Arch. Math. Log., 2012

Equivalence Relations That Are Σ⁰₃ Complete for Computable Reducibility - (Extended Abstract).

Ekaterina B. Fokina, Sy-David Friedman, André Nies

Proceedings of the Logic, Language, Information and Computation, 2012

2011

On Absoluteness of Categoricity in Abstract Elementary Classes.

Sy-David Friedman, Martin Koerwien

Notre Dame J. Formal Log., 2011

Hypermachines.

Sy-David Friedman, Philip D. Welch

J. Symb. Log., 2011

Analytic equivalence relations and bi-embeddability.

Sy-David Friedman, Luca Motto Ros

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

The tree property at ℵ_ω+2.

Sy-David Friedman, Ajdin Halilovic

J. Symb. Log., 2011

BPFA and projective well-orderings of the reals.

Andrés Eduardo Caicedo, Sy-David Friedman

J. Symb. Log., 2011

Strong isomorphism reductions in complexity theory.

Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller

J. Symb. Log., 2011

Projective wellorders and mad families with large continuum.

Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy

Ann. Pure Appl. Log., 2011

2010

Projective mad families.

Sy-David Friedman, Lyubomyr Zdomskyy

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

Cardinal characteristics and projective wellorders.

Vera Fischer, Sy-David Friedman

Ann. Pure Appl. Log., 2010

2009

An inner model for global domination.

Sy-David Friedman, Katherine Thompson

J. Symb. Log., 2009

The number of normal measures.

Sy-David Friedman, Menachem Magidor

J. Symb. Log., 2009

Large cardinals and gap-1 morasses.

Andrew D. Brooke-Taylor, Sy-David Friedman

Ann. Pure Appl. Log., 2009

Large cardinals and locally defined well-orders of the universe.

David Asperó, Sy D. Friedman

Ann. Pure Appl. Log., 2009

Equivalence Relations on Classes of Computable Structures.

Ekaterina B. Fokina, Sy-David Friedman

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

On the consistency strength of the inner model hypothesis.

Sy-David Friedman, Philip D. Welch, W. Hugh Woodin

J. Symb. Log., 2008

Perfect trees and elementary embeddings.

Sy-David Friedman, Katherine Thompson

J. Symb. Log., 2008

Internal consistency for embedding complexity.

Sy-David Friedman, Katherine Thompson

J. Symb. Log., 2008

Internal consistency and global co-stationarity of the ground model.

Natasha Dobrinen, Sy-David Friedman

J. Symb. Log., 2008

on the singular cardinals.

James Cummings, Sy-David Friedman

J. Symb. Log., 2008

The internal consistency of Easton's theorem.

Sy-David Friedman, Pavel Ondrejovic

Ann. Pure Appl. Log., 2008

Easton's theorem and large cardinals.

Sy D. Friedman, Radek Honzik

Ann. Pure Appl. Log., 2008

Homogeneous iteration and measure one covering relative to HOD.

Natasha Dobrinen, Sy D. Friedman

Arch. Math. Log., 2008

2006

Hyperfine structure theory and gap 1 morasses.

Sy-David Friedman, Peter Koepke, Boris Piwinger

J. Symb. Log., 2006

Co-stationarity of the ground model.

Natasha Dobrinen, Sy-David Friedman

J. Symb. Log., 2006

Internal Consistency and the Inner Model Hypothesis.

Sy-David Friedman

Bull. Symb. Log., 2006

2005

Definability degrees.

Sy D. Friedman

Math. Log. Q., 2005

Genericity and Large Cardinals.

Sy D. Friedman

J. Math. Log., 2005

2004

Generic Sigma¹₃ absoluteness.

Sy D. Friedman

J. Symb. Log., 2004

2003

Universally Baire sets and definable well-orderings of the reals.

Sy D. Friedman, Ralf Schindler

J. Symb. Log., 2003

Classification theory and 0^#.

Sy D. Friedman, Tapani Hyttinen, Mika Rautila

J. Symb. Log., 2003

Cardinal-preserving extensions.

Sy D. Friedman

J. Symb. Log., 2003

2002

0^# and Inner Models.

Sy D. Friedman

J. Symb. Log., 2002

2001

Generic absoluteness.

Joan Bagaria, Sy D. Friedman

Ann. Pure Appl. Log., 2001

1999

Ordinal Recursion Theory.

C. T. Chong, Sy D. Friedman

Proceedings of the Handbook of Computability Theory, 1999

1998

Generic Saturation.

Sy D. Friedman

J. Symb. Log., 1998

1997

Coding without Fine Structure.

Sy D. Friedman

J. Symb. Log., 1997

An elementary approach to the fine structure of L.

Sy D. Friedman, Peter Koepke

Bull. Symb. Log., 1997

Delta₁-Definability.

Sy D. Friedman, Boban Velickovic

Ann. Pure Appl. Log., 1997

1994

Jensen's Sigma^* Theory and the Combinatorial Content of V=L.

Sy D. Friedman

J. Symb. Log., 1994

The Genericity Conjecture.

Sy D. Friedman

J. Symb. Log., 1994

A Simpler proof of Jensen's Coding Theorem.

Sy D. Friedman

Ann. Pure Appl. Log., 1994

1989

Coding Over a Measurable Cardinal.

Sy D. Friedman

J. Symb. Log., 1989

Minimal Coding.

Sy D. Friedman

Ann. Pure Appl. Log., 1989

1987

A guide to "strong coding".

Sy D. Friedman

Ann. Pure Appl. Log., 1987

Strong coding.

Sy D. Friedman

Ann. Pure Appl. Log., 1987

1985

A Guide to "Coding the Universe" by Beller, Jensen, Welch.

Sy D. Friedman

J. Symb. Log., 1985

1984

Annual Meeting of the Association for Symbolic Logic: Boston 1983.

George Boolos, Sy D. Friedman

J. Symb. Log., 1984

Model theory for L_{∞_ω₁}.

Sy D. Friedman

Ann. Pure Appl. Log., 1984

1983

Some Recent Developments in Higher Recursion Theory.

Sy D. Friedman

J. Symb. Log., 1983

Degree theory on aleph_ω.

C. T. Chong, Sy D. Friedman

Ann. Pure Appl. Log., 1983

1982

Steel forcing and barwise compactness.

Sy D. Friedman

Ann. Math. Log., 1982

1981

Meeting of the Association for Symbolic Logic: New York 1979.

George Boolos, Sy D. Friedman, Harold Hodes

J. Symb. Log., 1981

1979

HC of an Admissible Set.

Sy D. Friedman

J. Symb. Log., 1979