Sy-David Friedman

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 30

Top Topics

Structural Properties

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
Mutually embeddable models of ZFC. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Sy-David Friedman, Victoria Gitman, Sandra Müller
Structural Properties of the stable Core. J. Symb. Log. 88 (3) (2023)
Monroe Eskew, Sy-David Friedman
Embeddings Into Outer Models. J. Symb. Log. 87 (4) (2022)
Carolin Antos, Neil Barton, Sy-David Friedman
Universism and Extensions of V. Rev. Symb. Log. 14 (1) (2021)
Sy-David Friedman, Dan Hathaway
Generic coding with Help and Amalgamation Failure. J. Symb. Log. 86 (4) (2021)
Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo, John Wigglesworth
Introduction. Synth. 197 (2) (2020)
Neil Barton, Sy-David Friedman
Maximality and ontology: how axiom content varies across philosophical frameworks. Synth. 197 (2) (2020)
Sy-David Friedman, Stefan Hoffelner
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED. J. Symb. Log. 84 (4) (2019)
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
Feasible set functions have small circuits. Comput. 8 (1) (2019)
Sy-David Friedman, Victoria Gitman, Vladimir Kanovei
A model of second-order arithmetic satisfying AC but not DC. J. Math. Log. 19 (1) (2019)
James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot
The eightfold Way. J. Symb. Log. 83 (1) (2018)
Andrew D. Brooke-Taylor, Vera Fischer, Sy-David Friedman, Diana Carolina Montoya
Cardinal characteristics at κ in a small u(κ) model. Ann. Pure Appl. Log. 168 (1) (2017)
Sy-David Friedman, Giorgio Laguzzi
A null ideal for inaccessibles. Arch. Math. Log. 56 (5-6) (2017)
Carolin Antos, Sy-David Friedman
Hyperclass forcing in Morse-Kelley class Theory. J. Symb. Log. 82 (2) (2017)
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
Cobham recursive set functions. Ann. Pure Appl. Log. 167 (3) (2016)
Sy-David Friedman, Yurii Khomskii, Vadim Kulikov
Regularity properties on the generalized reals. Ann. Pure Appl. Log. 167 (4) (2016)
Sy-David Friedman, Wei Li, Tin Lok Wong
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. Arch. Math. Log. 55 (7-8) (2016)
Sy-David Friedman
Evidence for Set-theoretic Truth and the Hyperuniverse Programme. FLAP 3 (4) (2016)
Sy-David Friedman, Radek Honzik
On strong forms of reflection in set theory. Math. Log. Q. 62 (1-2) (2016)
Sy-David Friedman, Radek Honzik
Definability of Satisfaction in outer Models. J. Symb. Log. 81 (3) (2016)
Sy-David Friedman
Isomorphism on HYP. J. Symb. Log. 81 (2) (2016)
James Cummings, Sy-David Friedman, Mohammad Golshani
Collapsing the cardinals of HOD. J. Math. Log. 15 (2) (2015)
Sy-David Friedman, Peter Holy, Philipp Lücke
Large Cardinals and Lightface Definable Well-Orders, without the GCH. J. Symb. Log. 80 (1) (2015)
Yong Cheng, Sy-David Friedman, Joel David Hamkins
Large cardinals need not be large in HOD. Ann. Pure Appl. Log. 166 (11) (2015)
Arnold Beckmann, Samuel R. Buss, Sy-David Friedman
Safe Recursive Set Functions. J. Symb. Log. 80 (3) (2015)
Sy-David Friedman, Radek Honzik
The tree property at the א2n's and the failure of SCH at אω. Ann. Pure Appl. Log. 166 (4) (2015)
Sy-David Friedman, Vadim Kulikov
Failures of the Silver Dichotomy in the generalized Baire Space. J. Symb. Log. 80 (2) (2015)
Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
Multiverse conceptions in set theory. Synth. 192 (8) (2015)
Sy-David Friedman, Philipp Lücke
Large cardinals and definable well-orders, without the GCH. Ann. Pure Appl. Log. 166 (3) (2015)
Sy-David Friedman, Liuzhen Wu
Definable normal measures. Ann. Pure Appl. Log. 166 (1) (2015)
Vera Fischer, Sy-David Friedman, Yurii Khomskii
Measure, category and projective wellorders. J. Log. Anal. 6 (2014)
Vincenzo Dimonte, Sy-David Friedman
Rank-into-rank hypotheses and the failure of GCH. Arch. Math. Log. 53 (3-4) (2014)
Vera Fischer, Sy-David Friedman, Yurii Khomskii
sets of reals. Arch. Math. Log. 53 (5-6) (2014)
Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller
. J. Log. Comput. 23 (6) (2013)
Vera Fischer, Sy-David Friedman, Yurii Khomskii
Co-analytic mad families and definable wellorders. Arch. Math. Log. 52 (7-8) (2013)
Sy-David Friedman, Radek Honzik, Lyubomyr Zdomskyy
Fusion and large cardinal preservation. Ann. Pure Appl. Log. 164 (12) (2013)
David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok
Baumgartner's conjecture and bounded forcing axioms. Ann. Pure Appl. Log. 164 (12) (2013)
Sy-David Friedman, Tapani Hyttinen, Martin Koerwien
. Notre Dame J. Formal Log. 54 (2) (2013)
Sy-David Friedman, Michael Rathjen, Andreas Weiermann
Slow consistency. Ann. Pure Appl. Log. 164 (3) (2013)
Tatiana Arrigoni, Sy-David Friedman
The hyperuniverse program. Bull. Symb. Log. 19 (1) (2013)
Sy-David Friedman, Mohammad Golshani
Killing the GCH everywhere with a single real. J. Symb. Log. 78 (3) (2013)
Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy
Cardinal characteristics, projective wellorders and large continuum. Ann. Pure Appl. Log. 164 (7-8) (2013)
Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
Isomorphism relations on computable structures. J. Symb. Log. 77 (1) (2012)
Vera Fischer, Sy-David Friedman, Asger Törnquist
Projective maximal families of orthogonal measures with large continuum. J. Log. Anal. 4 (2012)
Sy-David Friedman, Radek Honzik
Easton's theorem and large cardinals from the optimal hypothesis. Ann. Pure Appl. Log. 163 (12) (2012)
Sy-David Friedman
The stable core. Bull. Symb. Log. 18 (2) (2012)
Ekaterina B. Fokina, Sy-David Friedman
equivalence relations over the natural numbers. Math. Log. Q. 58 (1-2) (2012)
Tatiana Arrigoni, Sy-David Friedman
Foundational implications of the Inner Model Hypothesis. Ann. Pure Appl. Log. 163 (10) (2012)
David Asperó, Sy-David Friedman
) and GCH. J. Symb. Log. 77 (4) (2012)
Sy-David Friedman, Mohammad Golshani
Independence of higher Kurepa hypotheses. Arch. Math. Log. 51 (5-6) (2012)
Sy-David Friedman, Tapani Hyttinen
On Borel equivalence relations in generalized Baire space. Arch. Math. Log. 51 (3-4) (2012)
Ekaterina B. Fokina, Sy-David Friedman, André Nies
Complete for Computable Reducibility - (Extended Abstract). WoLLIC (2012)
Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller
Strong isomorphism reductions in complexity theory. J. Symb. Log. 76 (4) (2011)
Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. J. Symb. Log. 76 (3) (2011)
Sy-David Friedman, Ajdin Halilovic
. J. Symb. Log. 76 (2) (2011)
Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy
Projective wellorders and mad families with large continuum. Ann. Pure Appl. Log. 162 (11) (2011)
Andrés Eduardo Caicedo, Sy-David Friedman
BPFA and projective well-orderings of the reals. J. Symb. Log. 76 (4) (2011)
Sy-David Friedman, Philip D. Welch
Hypermachines. J. Symb. Log. 76 (2) (2011)
Sy-David Friedman, Luca Motto Ros
Analytic equivalence relations and bi-embeddability. J. Symb. Log. 76 (1) (2011)
Sy-David Friedman, Martin Koerwien
On Absoluteness of Categoricity in Abstract Elementary Classes. Notre Dame J. Formal Log. 52 (4) (2011)
Vera Fischer, Sy-David Friedman
Cardinal characteristics and projective wellorders. Ann. Pure Appl. Log. 161 (7) (2010)
Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist
The effective theory of Borel equivalence relations. Ann. Pure Appl. Log. 161 (7) (2010)
Sy-David Friedman, Lyubomyr Zdomskyy
Projective mad families. Ann. Pure Appl. Log. 161 (12) (2010)
Ekaterina B. Fokina, Sy-David Friedman
Equivalence Relations on Classes of Computable Structures. CiE (2009)
Andrew D. Brooke-Taylor, Sy-David Friedman
Large cardinals and gap-1 morasses. Ann. Pure Appl. Log. 159 (1-2) (2009)
Sy-David Friedman, Menachem Magidor
The number of normal measures. J. Symb. Log. 74 (3) (2009)
Sy-David Friedman, Katherine Thompson
An inner model for global domination. J. Symb. Log. 74 (1) (2009)
James Cummings, Sy-David Friedman
on the singular cardinals. J. Symb. Log. 73 (4) (2008)
Sy-David Friedman, Pavel Ondrejovic
The internal consistency of Easton's theorem. Ann. Pure Appl. Log. 156 (2-3) (2008)
Sy-David Friedman, Philip D. Welch, W. Hugh Woodin
On the consistency strength of the inner model hypothesis. J. Symb. Log. 73 (2) (2008)
Natasha Dobrinen, Sy-David Friedman
Internal consistency and global co-stationarity of the ground model. J. Symb. Log. 73 (2) (2008)
Sy-David Friedman, Katherine Thompson
Perfect trees and elementary embeddings. J. Symb. Log. 73 (3) (2008)
Sy-David Friedman, Katherine Thompson
Internal consistency for embedding complexity. J. Symb. Log. 73 (3) (2008)
Sy-David Friedman
Internal Consistency and the Inner Model Hypothesis. Bull. Symb. Log. 12 (4) (2006)
Natasha Dobrinen, Sy-David Friedman
Co-stationarity of the ground model. J. Symb. Log. 71 (3) (2006)
Sy-David Friedman, Peter Koepke, Boris Piwinger
Hyperfine structure theory and gap 1 morasses. J. Symb. Log. 71 (2) (2006)