Sy-David Friedman

78 papers C 2Journal 75

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