×
Compute Distance To:
Author ID: friedman.sy-david Recent zbMATH articles by "Friedman, Sy-David"
Published as: Friedman, Sy-David; Friedman, Sy D.; Friedman, Sy David; Friedman, S. D.; Friedman, S.-D.; Friedman, Sy
Homepage: http://www.logic.univie.ac.at/~sdf/
External Links: MGP · Wikidata · ResearchGate · dblp · GND · IdRef
all top 5

Co-Authors

62 single-authored
16 Honzik, Radek
9 Fischer, Vera
8 Antos, Carolin
8 Magidor, Menachem
8 Woodin, W. Hugh
7 Ternullo, Claudio
6 Fokina, Ekaterina B.
6 Hyttinen, Tapani
6 Zdoms’kyĭ, Lyubomyr Sergiĭovych
5 Cummings, James
5 Thompson, Katherine
4 Beckmann, Arnold
4 Brooke-Taylor, Andrew D.
4 Buss, Sam
4 Dobrinen, Natasha L.
4 Golshani, Mohammad
4 Khomskii, Yurii Daniilovich
4 Kulikov, Vadim
4 Müller, Moritz
4 Schindler, Ralf-Dieter
3 Asperó, David
3 Barton, Neil
3 Holy, Peter
3 Koerwien, Martin
3 Montoya, Diana Carolina
3 Thapen, Neil
3 Welch, Philip D.
2 Arrigoni, Tatiana
2 Farah, Ilijas
2 Fuchino, Sakaé
2 Gitman, Victoria
2 Halilović, Ajdin
2 Kanovei, Vladimir G.
2 Knight, Julia F.
2 Koepke, Peter
2 Lücke, Philipp Moritz
2 Rinot, Assaf
2 Sacks, Gerald Enoch
2 Sakai, Hiroshi
2 Schrittesser, David
2 Sinapova, Dima
2 Stejskalová, Šárka
2 Törnquist, Asger
2 Velickovic, Boban
2 Wu, Liuzhen
1 Abraham, Uri
1 Baaz, Matthias
1 Bagaria, Joan
1 Baldwin, John T.
1 Bartoszynski, Tomek
1 Barwise, Kenneth Jon
1 Bergstra, Jan A.
1 Blass, Andreas Raphael
1 Brendle, Jörg
1 Buss, Samuel R.
1 Caicedo, Andrés Eduardo
1 Chen, Yijia
1 Cheng, Yong
1 Cody, Brent M.
1 David, Rene
1 Dehornoy, Patrick
1 Dimonte, Vincenzo
1 Džamonja, Mirna
1 Eisworth, Todd
1 Feferman, Solomon
1 Fenstad, Jens Erik
1 Flum, Jörg
1 Fontanella, Laura
1 Foreman, Matthew D.
1 Gandy, Robin O.
1 Gitik, Moti
1 Gödel, Kurt
1 Hajnal, András
1 Hamkins, Joel David
1 Harizanov, Valentina S.
1 Hathaway, Dan
1 Hjorth, Gregory
1 Hoffelner, Stefan
1 Hyland, J. Martin E.
1 Jackson, Stephen C.
1 Jech, Thomas J.
1 Kanamori, Akihiro
1 Kechris, Alexander S.
1 Köllner, Peter
1 Krajíček, Jan
1 Krueger, John
1 Laguzzi, Giorgio
1 Larson, Jean A.
1 Larson, Paul B.
1 Laskowski, Michael Chris
1 Lerman, Manuel
1 Levine, Maxwell
1 Li, Wei
1 Maass, Wolfgang
1 Marek, V. Wiktor
1 McCoy, Charles F. D.
1 Mejía, Diego Alejandro
1 Miller, Russell G.
1 Mitchell, William John
1 Moldestad, Johan
...and 27 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

133 Publications have been cited 727 times in 404 Documents Cited by Year
Fine structure and class forcing. Zbl 0954.03045
Friedman, Sy D.
44
2000
Generalized descriptive set theory and classification theory. Zbl 1402.03047
Friedman, Sy-David; Hyttinen, Tapani; Kulikov, Vadim
27
2014
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David
19
2006
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
17
2013
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
17
2012
Analytic equivalence relations and bi-embeddability. Zbl 1256.03050
Friedman, Sy-David; Motto Ros, Luca
15
2011
The effective theory of Borel equivalence relations. Zbl 1223.03031
Fokina, Ekaterina B.; Friedman, Sy-David; Törnquist, Asger
15
2010
Negative solutions to Post’s problem. II. Zbl 0461.03008
Friedman, Sy D.
14
1981
Condensation and large cardinals. Zbl 1258.03074
Friedman, Sy-David; Holy, Peter
14
2011
The number of normal measures. Zbl 1183.03042
Friedman, Sy-David; Magidor, Menachem
13
2009
Perfect trees and elementary embeddings. Zbl 1160.03035
Friedman, Sy-David; Thompson, Katherine
13
2008
Cardinal characteristics and projective wellorders. Zbl 1223.03030
Fischer, Vera; Friedman, Sy David
13
2010
Forcing with finite conditions. Zbl 1113.03045
Friedman, Sy-David
12
2006
On the consistency strength of the inner model hypothesis. Zbl 1148.03035
Friedman, Sy-David; Welch, Philip; Woodin, W. Hugh
12
2008
Slow consistency. Zbl 1263.03055
Friedman, Sy-David; Rathjen, Michael; Weiermann, Andreas
11
2013
Projective wellorders and mad families with large continuum. Zbl 1267.03049
Fischer, Vera; Friedman, Sy David; Zdomskyy, Lyubomyr
11
2011
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
Equivalence relations on classes of computable structures. Zbl 1268.03039
Fokina, Ekaterina B.; Friedman, Sy-David
10
2009
Easton’s theorem and large cardinals. Zbl 1145.03032
Friedman, Sy-David; Honzik, Radek
10
2008
Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034
Dobrinen, Natasha; Friedman, Sy-David
10
2008
Large cardinals and \(L\)-like universes. Zbl 1136.03034
Friedman, Sy-David
10
2006
Large cardinals and locally defined well-orders of the universe. Zbl 1155.03041
Asperó, David; Friedman, Sy-David
10
2009
Uncountable admissibles. II: Compactness. Zbl 0522.03035
Friedman, Sy D.
10
1981
Regularity properties on the generalized reals. Zbl 1422.03098
Friedman, Sy David; Khomskii, Yurii; Kulikov, Vadim
9
2016
Three red herrings around Vaught’s conjecture. Zbl 06551074
Baldwin, John T.; Friedman, Sy D.; Koerwien, Martin; Laskowski, Michael C.
9
2016
Measurable cardinals and the cofinality of the symmetric group. Zbl 1196.03063
Friedman, Sy-David; Zdomskyy, Lyubomyr
9
2010
The consistency strength of the tree property at the double successor of a measurable cardinal. Zbl 1207.03054
Dobrinen, Natasha; Friedman, Sy-David
9
2010
Generic absoluteness. Zbl 0995.03034
Bagaria, Joan; Friedman, Sy D.
9
2001
Multiverse conceptions in set theory. Zbl 1369.03024
Antos, Carolin; Friedman, Sy-David; Honzik, Radek; Ternullo, Claudio
9
2015
\(\Delta _1\)-definability of the non-stationary ideal at successor cardinals. Zbl 1352.03053
Friedman, Sy-David; Wu, Liuzhen; Zdomskyy, Lyubomyr
8
2015
Coherent systems of finite support iterations. Zbl 1447.03013
Fischer, Vera; Friedman, Sy D.; Mejía, Diego A.; Montoya, Diana C.
8
2018
The tree property at \(\aleph _{\omega +2}\). Zbl 1221.03053
Friedman, Sy-David; Halilović, Ajdin
8
2011
Uncountable admissibles. I: Forcing. Zbl 0493.03025
Friedman, Sy D.
8
1982
Large cardinals and gap-1 morasses. Zbl 1165.03033
Brooke-Taylor, Andrew D.; Friedman, Sy-David
8
2009
Hyperclass forcing in Morse-Kelley class theory. Zbl 1419.03046
Antos, Carolin; Friedman, Sy-David
8
2017
On \(\Sigma^{1}_{1}\) equivalence relations over the natural numbers. Zbl 1241.03050
Fokina, Ekaterina B.; Friedman, Sy-David
8
2012
Fusion and large cardinal preservation. Zbl 1320.03078
Friedman, Sy-David; Honzik, Radek; Zdomskyy, Lyubomyr
7
2013
An elementary approach to the fine structure of \(L\). Zbl 0896.03042
Friedman, Sy D.; Koepke, Peter
7
1997
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
7
2015
Thin stationary sets and disjoint club sequences. Zbl 1110.03039
Friedman, Sy-David; Krueger, John
7
2007
Foundational implications of the inner model hypothesis. Zbl 1270.03090
Arrigoni, Tatiana; Friedman, Sy-David
7
2012
Rank-into-rank hypotheses and the failure of GCH. Zbl 1351.03045
Dimonte, Vincenzo; Friedman, Sy-David
7
2014
Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model. Zbl 1422.03103
Brooke-Taylor, A. D.; Fischer, V.; Friedman, S. D.; Montoya, D. C.
6
2017
The tree property at the double successor of a singular cardinal with a larger gap. Zbl 1387.03036
Friedman, Sy-David; Honzik, Radek; Stejskalová, Šárka
6
2018
Cichoń’s diagram, regularity properties and \(\varDelta^1_3\) sets of reals. Zbl 1325.03056
Fischer, Vera; Friedman, Sy David; Khomskii, Yurii
6
2014
Subcompact cardinals, squares, and stationary reflection. Zbl 1291.03100
Brooke-Taylor, Andrew D.; Friedman, Sy-David
6
2013
Cardinal characteristics, projective wellorders and large continuum. Zbl 1432.03088
Fischer, Vera; Friedman, Sy David; Zdomskyy, Lyubomyr
6
2013
Ordinal definable subsets of singular cardinals. Zbl 1436.03259
Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima
6
2018
Handbook of set theory. In 3 volumes. Zbl 1197.03001
5
2010
Cichoń’s diagram for uncountable cardinals. Zbl 1436.03251
Brendle, Jörg; Brooke-Taylor, Andrew; Friedman, Sy-David; Montoya, Diana Carolina
5
2018
Safe recursive set functions. Zbl 1357.03075
Beckmann, Arnold; Buss, Samuel R.; Friedman, Sy-David
5
2015
Strong isomorphism reductions in complexity theory. Zbl 1248.03060
Buss, Sam; Chen, Yijia; Flum, Jörg; Friedman, Sy-David; Müller, Moritz
5
2011
Hypermachines. Zbl 1220.03040
Friedman, Sy-David; Welch, P. D.
5
2011
The \(\Pi ^ 1_ 2\)-singleton conjecture. Zbl 0725.03030
Friedman, Sy D.
4
1990
Cardinal-preserving extensions. Zbl 1059.03051
Friedman, Sy D.
4
2003
Large cardinals need not be large in HOD. Zbl 1373.03109
Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David
4
2015
On Borel reducibility in generalized Baire space. Zbl 1357.03080
Friedman, Sy-David; Hyttinen, Tapani; Kulikov, Vadim
4
2015
A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
4
2019
Steel forcing and Barwise compactness. Zbl 0501.03032
Friedman, Sy D.
4
1982
Co-stationarity of the ground model. Zbl 1109.03059
Dobrinen, Natasha; Friedman, Sy-David
4
2006
Internal consistency and global co-stationarity of the ground model. Zbl 1153.03033
Dobrinen, Natasha; Friedman, Sy-David
4
2008
Parameter-free uniformisation. Zbl 1145.03030
Friedman, Sy-David
4
2008
A quasi-lower bound on the consistency strength of PFA. Zbl 1341.03071
Friedman, Sy-David; Holy, Peter
4
2014
Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027
Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell
4
2013
A definable failure of the singular cardinal hypothesis. Zbl 1300.03028
Friedman, Sy-David; Honzik, Radek
4
2012
\(0^\#\) and inner models. Zbl 1012.03056
Friedman, Sy D.
3
2002
Strong coding. Zbl 0634.03048
Friedman, Sy D.
3
1987
The eightfold way. Zbl 1435.03081
Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima
3
2018
Constructibility and class forcing. Zbl 1198.03065
Friedman, Sy D.
3
2010
BPFA and projective well-orderings of the reals. Zbl 1252.03107
Caicedo, Andrés Eduardo; Friedman, Sy-David
3
2011
The tree property at the double successor of a measurable cardinal \(\kappa \) with \(2^{\kappa} \) large. Zbl 1326.03060
Friedman, Sy-David; Halilović, Ajdin
3
2013
Inadmissible recursion theory. Zbl 0376.02030
Friedman, S. D.; Sacks, G. E.
3
1977
\(\square \) on the singular cardinals. Zbl 1166.03022
Cummings, James; Friedman, Sy-David
3
2008
\(\beta\)-recursion theory. Zbl 0435.03035
Friedman, Sy D.
3
1979
Post’s problem without admissibility. Zbl 0453.03046
Friedman, Sy D.
3
1980
New \(\Sigma^1_3\) facts. Zbl 0932.03063
Friedman, Sy D.
3
1999
Consistency of the Silver dichotomy in generalised Baire space. Zbl 1341.03065
Friedman, Sy-David
3
2014
A null ideal for inaccessibles. Zbl 1417.03254
Friedman, Sy-David; Laguzzi, Giorgio
3
2017
BPFA and inner models. Zbl 1274.03077
Friedman, Sy-David
3
2011
Measure, category and projective wellorders. Zbl 1312.03029
Fischer, Vera; Friedman, Sy David; Khomskii, Yurii
3
2014
Equivalence relations that are \(\Sigma^0_3\) complete for computable reducibility (extended abstract). Zbl 1362.03032
Fokina, Ekaterina; Friedman, Sy; Nies, André
3
2012
Supercompactness and failures of GCH. Zbl 1284.03234
Friedman, Sy-David; Honzik, Radek
3
2012
Definable well-orders of \(H(\omega _2)\) and GCH. Zbl 1270.03096
Asperó, David; Friedman, Sy-David
3
2012
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065
Friedman, Sy-David; Li, Wei; Wong, Tin Lok
2
2016
The genericity conjecture. Zbl 0811.03036
Friedman, Sy D.
2
1994
Jensen’s \(\Sigma^*\) theory and the combinatorial content of \(V=L\). Zbl 0808.03034
Friedman, Sy D.
2
1994
A simpler proof of Jensen’s coding theorem. Zbl 0809.03040
Friedman, Sy D.
2
1994
Some natural equivalence relations in the Solovay model. Zbl 1204.03048
Friedman, Sy-David; Kanovei, Vladimir
2
2008
Universally Baire sets and definable well-orderings of the reals. Zbl 1055.03028
Friedman, Sy D.; Schindler, Ralf
2
2003
Failures of the Silver dichotomy in the generalized Baire space. Zbl 1362.03041
Friedman, Sy-David; Kulikov, Vadim
2
2015
Coding over core models. Zbl 1358.03077
Friedman, Sy-David; Schindler, Ralf; Schrittesser, David
2
2014
Iterated class forcing. Zbl 0835.03016
Friedman, Sy D.
2
1994
David’s trick. Zbl 0939.03052
Friedman, Sy D.
2
1999
Cobham recursive set functions. Zbl 1383.03050
Beckmann, Arnold; Buss, Sam; Friedman, Sy-David; Müller, Moritz; Thapen, Neil
2
2016
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
An inner model for global domination. Zbl 1165.03040
Friedman, Sy-David; Thompson, Katherine
2
2009
Definability of satisfaction in outer models. Zbl 1403.03098
Friedman, Sy-David; Honzik, Radek
2
2016
A guide to ”Coding the universe” by Beller, Jensen, Welch. Zbl 0592.03041
Friedman, Sy D.
2
1985
Minimal coding. Zbl 0667.03038
Friedman, Sy D.
2
1989
The tree property at the \(\aleph_{2 n}\)’s and the failure of SCH at \(\aleph_\omega\). Zbl 1371.03065
Friedman, Sy-David; Honzik, Radek
2
2015
Universism and extensions of \(V\). Zbl 07374092
Antos, Carolin; Barton, Neil; Friedman, Sy-David
1
2021
The tree property at \(\aleph_{\omega +2}\) with a finite gap. Zbl 1485.03211
Friedman, Sy-David; Honzik, Radek; Stejskalová, Šárka
1
2020
A model of second-order arithmetic satisfying AC but not DC. Zbl 1484.03067
Friedman, Sy-David; Gitman, Victoria; Kanovei, Vladimir
4
2019
Coherent systems of finite support iterations. Zbl 1447.03013
Fischer, Vera; Friedman, Sy D.; Mejía, Diego A.; Montoya, Diana C.
8
2018
The tree property at the double successor of a singular cardinal with a larger gap. Zbl 1387.03036
Friedman, Sy-David; Honzik, Radek; Stejskalová, Šárka
6
2018
Ordinal definable subsets of singular cardinals. Zbl 1436.03259
Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima
6
2018
Cichoń’s diagram for uncountable cardinals. Zbl 1436.03251
Brendle, Jörg; Brooke-Taylor, Andrew; Friedman, Sy-David; Montoya, Diana Carolina
5
2018
The eightfold way. Zbl 1435.03081
Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima
3
2018
The hyperuniverse project and maximality. Zbl 1388.03009
1
2018
On the set-generic multiverse. Zbl 1439.03090
Friedman, Sy-David; Fuchino, Sakaé; Sakai, Hiroshi
1
2018
On the set-generic multiverse. Zbl 1448.03037
Friedman, Sy-David; Fuchino, Sakaé; Sakai, Hiroshi
1
2018
Hyperclass forcing in Morse-Kelley class theory. Zbl 1419.03046
Antos, Carolin; Friedman, Sy-David
8
2017
Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model. Zbl 1422.03103
Brooke-Taylor, A. D.; Fischer, V.; Friedman, S. D.; Montoya, D. C.
6
2017
A null ideal for inaccessibles. Zbl 1417.03254
Friedman, Sy-David; Laguzzi, Giorgio
3
2017
On strong forms of reflection in set theory. Zbl 1357.03084
Friedman, Sy-David; Honzik, Radek
10
2016
Regularity properties on the generalized reals. Zbl 1422.03098
Friedman, Sy David; Khomskii, Yurii; Kulikov, Vadim
9
2016
Three red herrings around Vaught’s conjecture. Zbl 06551074
Baldwin, John T.; Friedman, Sy D.; Koerwien, Martin; Laskowski, Michael C.
9
2016
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065
Friedman, Sy-David; Li, Wei; Wong, Tin Lok
2
2016
Cobham recursive set functions. Zbl 1383.03050
Beckmann, Arnold; Buss, Sam; Friedman, Sy-David; Müller, Moritz; Thapen, Neil
2
2016
Definability of satisfaction in outer models. Zbl 1403.03098
Friedman, Sy-David; Honzik, Radek
2
2016
The search for new axioms in the hyperuniverse programme. Zbl 1436.03261
Friedman, Sy-David; Ternullo, Claudio
1
2016
Multiverse conceptions in set theory. Zbl 1369.03024
Antos, Carolin; Friedman, Sy-David; Honzik, Radek; Ternullo, Claudio
9
2015
\(\Delta _1\)-definability of the non-stationary ideal at successor cardinals. Zbl 1352.03053
Friedman, Sy-David; Wu, Liuzhen; Zdomskyy, Lyubomyr
8
2015
Collapsing the cardinals of HOD. Zbl 1348.03046
Cummings, James; Friedman, Sy David; Golshani, Mohammad
7
2015
Safe recursive set functions. Zbl 1357.03075
Beckmann, Arnold; Buss, Samuel R.; Friedman, Sy-David
5
2015
Large cardinals need not be large in HOD. Zbl 1373.03109
Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David
4
2015
On Borel reducibility in generalized Baire space. Zbl 1357.03080
Friedman, Sy-David; Hyttinen, Tapani; Kulikov, Vadim
4
2015
Failures of the Silver dichotomy in the generalized Baire space. Zbl 1362.03041
Friedman, Sy-David; Kulikov, Vadim
2
2015
The tree property at the \(\aleph_{2 n}\)’s and the failure of SCH at \(\aleph_\omega\). Zbl 1371.03065
Friedman, Sy-David; Honzik, Radek
2
2015
The tree property at both \(\aleph_{\omega +1}\) and \(\aleph_{\omega +2}\). Zbl 1373.03073
Fontanella, Laura; Friedman, Sy David
2
2015
Large cardinals and lightface definable well-orders, without the GCH. Zbl 1373.03095
Friedman, Sy-David; Holy, Peter; Lücke, Philipp
1
2015
Large cardinals and definable well-orders, without the GCH. Zbl 1348.03047
Friedman, Sy-David; Lücke, Philipp
1
2015
The tree property at \(\omega_2\) and bounded forcing axioms. Zbl 1336.03054
Friedman, Sy-David; Torres-Pérez, Víctor
1
2015
Generalized descriptive set theory and classification theory. Zbl 1402.03047
Friedman, Sy-David; Hyttinen, Tapani; Kulikov, Vadim
27
2014
Rank-into-rank hypotheses and the failure of GCH. Zbl 1351.03045
Dimonte, Vincenzo; Friedman, Sy-David
7
2014
Cichoń’s diagram, regularity properties and \(\varDelta^1_3\) sets of reals. Zbl 1325.03056
Fischer, Vera; Friedman, Sy David; Khomskii, Yurii
6
2014
A quasi-lower bound on the consistency strength of PFA. Zbl 1341.03071
Friedman, Sy-David; Holy, Peter
4
2014
Consistency of the Silver dichotomy in generalised Baire space. Zbl 1341.03065
Friedman, Sy-David
3
2014
Measure, category and projective wellorders. Zbl 1312.03029
Fischer, Vera; Friedman, Sy David; Khomskii, Yurii
3
2014
Coding over core models. Zbl 1358.03077
Friedman, Sy-David; Schindler, Ralf; Schrittesser, David
2
2014
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David
17
2013
Slow consistency. Zbl 1263.03055
Friedman, Sy-David; Rathjen, Michael; Weiermann, Andreas
11
2013
Fusion and large cardinal preservation. Zbl 1320.03078
Friedman, Sy-David; Honzik, Radek; Zdomskyy, Lyubomyr
7
2013
Subcompact cardinals, squares, and stationary reflection. Zbl 1291.03100
Brooke-Taylor, Andrew D.; Friedman, Sy-David
6
2013
Cardinal characteristics, projective wellorders and large continuum. Zbl 1432.03088
Fischer, Vera; Friedman, Sy David; Zdomskyy, Lyubomyr
6
2013
Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027
Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell
4
2013
The tree property at the double successor of a measurable cardinal \(\kappa \) with \(2^{\kappa} \) large. Zbl 1326.03060
Friedman, Sy-David; Halilović, Ajdin
3
2013
Co-analytic mad families and definable wellorders. Zbl 1303.03076
Fischer, Vera; Friedman, Sy David; Khomskii, Yurii
2
2013
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH. Zbl 1330.03083
Friedman, Sy-David; Golshani, Mohammad
2
2013
Baumgartner’s conjecture and bounded forcing axioms. Zbl 1320.03079
Asperó, David; Friedman, Sy-David; Mota, Miguel Angel; Sabok, Marcin
1
2013
The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\). Zbl 1285.03045
Friedman, Sy-David; Hyttinen, Tapani; Koerwien, Martin
1
2013
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
17
2012
On \(\Sigma^{1}_{1}\) equivalence relations over the natural numbers. Zbl 1241.03050
Fokina, Ekaterina B.; Friedman, Sy-David
8
2012
Foundational implications of the inner model hypothesis. Zbl 1270.03090
Arrigoni, Tatiana; Friedman, Sy-David
7
2012
A definable failure of the singular cardinal hypothesis. Zbl 1300.03028
Friedman, Sy-David; Honzik, Radek
4
2012
Equivalence relations that are \(\Sigma^0_3\) complete for computable reducibility (extended abstract). Zbl 1362.03032
Fokina, Ekaterina; Friedman, Sy; Nies, André
3
2012
Supercompactness and failures of GCH. Zbl 1284.03234
Friedman, Sy-David; Honzik, Radek
3
2012
Definable well-orders of \(H(\omega _2)\) and GCH. Zbl 1270.03096
Asperó, David; Friedman, Sy-David
3
2012
On Borel equivalence relations in generalized Baire space. Zbl 1261.03141
Friedman, Sy-David; Hyttinen, Tapani
2
2012
The stable core. Zbl 1258.03071
Friedman, Sy-David
2
2012
Projective maximal families of orthogonal measures with large continuum. Zbl 1300.03029
Fischer, Vera; Friedman, Sy David; Törnquist, Asger
2
2012
Independence of higher Kurepa hypotheses. Zbl 1278.03079
Friedman, Sy-David; Golshani, Mohammad
1
2012
Analytic equivalence relations and bi-embeddability. Zbl 1256.03050
Friedman, Sy-David; Motto Ros, Luca
15
2011
Condensation and large cardinals. Zbl 1258.03074
Friedman, Sy-David; Holy, Peter
14
2011
Projective wellorders and mad families with large continuum. Zbl 1267.03049
Fischer, Vera; Friedman, Sy David; Zdomskyy, Lyubomyr
11
2011
The tree property at \(\aleph _{\omega +2}\). Zbl 1221.03053
Friedman, Sy-David; Halilović, Ajdin
8
2011
Strong isomorphism reductions in complexity theory. Zbl 1248.03060
Buss, Sam; Chen, Yijia; Flum, Jörg; Friedman, Sy-David; Müller, Moritz
5
2011
Hypermachines. Zbl 1220.03040
Friedman, Sy-David; Welch, P. D.
5
2011
BPFA and projective well-orderings of the reals. Zbl 1252.03107
Caicedo, Andrés Eduardo; Friedman, Sy-David
3
2011
BPFA and inner models. Zbl 1274.03077
Friedman, Sy-David
3
2011
On absoluteness of categoricity in abstract elementary classes. Zbl 1252.03093
Friedman, Sy-David; Koerwien, Martin
1
2011
The effective theory of Borel equivalence relations. Zbl 1223.03031
Fokina, Ekaterina B.; Friedman, Sy-David; Törnquist, Asger
15
2010
Cardinal characteristics and projective wellorders. Zbl 1223.03030
Fischer, Vera; Friedman, Sy David
13
2010
Measurable cardinals and the cofinality of the symmetric group. Zbl 1196.03063
Friedman, Sy-David; Zdomskyy, Lyubomyr
9
2010
The consistency strength of the tree property at the double successor of a measurable cardinal. Zbl 1207.03054
Dobrinen, Natasha; Friedman, Sy-David
9
2010
Handbook of set theory. In 3 volumes. Zbl 1197.03001
5
2010
Constructibility and class forcing. Zbl 1198.03065
Friedman, Sy D.
3
2010
Projective mad families. Zbl 1225.03059
Friedman, Sy-David; Zdomskyy, Lyubomyr
2
2010
The number of normal measures. Zbl 1183.03042
Friedman, Sy-David; Magidor, Menachem
13
2009
Equivalence relations on classes of computable structures. Zbl 1268.03039
Fokina, Ekaterina B.; Friedman, Sy-David
10
2009
Large cardinals and locally defined well-orders of the universe. Zbl 1155.03041
Asperó, David; Friedman, Sy-David
10
2009
Large cardinals and gap-1 morasses. Zbl 1165.03033
Brooke-Taylor, Andrew D.; Friedman, Sy-David
8
2009
An inner model for global domination. Zbl 1165.03040
Friedman, Sy-David; Thompson, Katherine
2
2009
Perfect trees and elementary embeddings. Zbl 1160.03035
Friedman, Sy-David; Thompson, Katherine
13
2008
On the consistency strength of the inner model hypothesis. Zbl 1148.03035
Friedman, Sy-David; Welch, Philip; Woodin, W. Hugh
12
2008
Easton’s theorem and large cardinals. Zbl 1145.03032
Friedman, Sy-David; Honzik, Radek
10
2008
Homogeneous iteration and measure one covering relative to HOD. Zbl 1153.03034
Dobrinen, Natasha; Friedman, Sy-David
10
2008
Internal consistency and global co-stationarity of the ground model. Zbl 1153.03033
Dobrinen, Natasha; Friedman, Sy-David
4
2008
Parameter-free uniformisation. Zbl 1145.03030
Friedman, Sy-David
4
2008
\(\square \) on the singular cardinals. Zbl 1166.03022
Cummings, James; Friedman, Sy-David
3
2008
Some natural equivalence relations in the Solovay model. Zbl 1204.03048
Friedman, Sy-David; Kanovei, Vladimir
2
2008
Thin stationary sets and disjoint club sequences. Zbl 1110.03039
Friedman, Sy-David; Krueger, John
7
2007
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David
19
2006
Forcing with finite conditions. Zbl 1113.03045
Friedman, Sy-David
12
2006
Large cardinals and \(L\)-like universes. Zbl 1136.03034
Friedman, Sy-David
10
2006
Co-stationarity of the ground model. Zbl 1109.03059
Dobrinen, Natasha; Friedman, Sy-David
4
2006
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
Hyperfine structure theory and gap 1 morasses. Zbl 1098.03058
Friedman, Sy-David; Koepke, Peter; Piwinger, Boris
1
2006
A characterisation of \(0^\#\) in terms of forcing. Zbl 1087.03030
Friedman, Sy D.
1
2006
Genericity and large cardinals. Zbl 1095.03046
Friedman, Sy D.
1
2005
...and 33 more Documents
all top 5

Cited by 265 Authors

86 Friedman, Sy-David
16 Honzik, Radek
14 Lücke, Philipp Moritz
12 Schlicht, Philipp
12 Shelah, Saharon
11 Fischer, Vera
11 Holy, Peter
10 Hamkins, Joel David
10 Hyttinen, Tapani
10 Motto Ros, Luca
8 Krueger, John
8 Kulikov, Vadim
7 Andrews, Uri
7 Antos, Carolin
7 Asperó, David
7 Ben-Neria, Omer
7 Gitman, Victoria
7 Golshani, Mohammad
7 Khomskii, Yurii Daniilovich
7 Melnikov, Alexander G.
7 Welch, Philip D.
6 Brooke-Taylor, Andrew D.
6 Cody, Brent M.
6 Kanovei, Vladimir G.
6 Lubarsky, Robert S.
6 Ng, KengMeng
6 Schindler, Ralf-Dieter
6 Sinapova, Dima
6 Sorbi, Andrea
5 Apter, Arthur W.
5 Bazhenov, Nikolaĭ Alekseevich
5 Carl, Merlin
5 Cummings, James
5 Fokina, Ekaterina B.
5 Knight, Julia F.
5 Laguzzi, Giorgio
5 Montalbán, Antonio
5 Moreno, Miguel Vera
5 Stejskalová, Šárka
5 Ternullo, Claudio
5 Wu, Liuzhen
5 Zdoms’kyĭ, Lyubomyr Sergiĭovych
4 Bagaria, Joan
4 Barton, Neil
4 Caicedo, Andrés Eduardo
4 Calderoni, Filippo
4 Cheng, Yong
4 Cox, Sean D.
4 Dobrinen, Natasha L.
4 Lyubetsky, Vassily Aleksandrovich
4 Magidor, Menachem
4 Reitz, Jonas
4 Rinot, Assaf
4 San Mauro, Luca
4 Schrittesser, David
4 Stanley, Maurice C.
3 Bailey, Colin G.
3 Baldwin, John T.
3 Camerlo, Riccardo
3 Dimonte, Vincenzo
3 Downey, Rodney Graham
3 Enayat, Ali
3 Freund, Anton
3 Fuchs, Gunter
3 Garti, Shimon
3 Gitik, Moti
3 Goldstern, Martin Robert
3 Guzmán González, Osvaldo
3 Khoussainov, Bakhadyr M.
3 Koepke, Peter
3 Marcone, Alberto
3 McKenzie, Zachiri
3 Mejía, Diego Alejandro
3 Mildenberger, Heike
3 Miller, Russell G.
3 Mitchell, William John
3 Neeman, Itay
3 Njegomir, Ana
3 Poveda, Alejandro
3 Sacks, Gerald Enoch
3 Soukup, Dániel Tamás
3 Tsaprounis, Konstantinos
3 Unger, Spencer T.
3 Venturi, Giorgio
3 Williams, Kameryn J.
3 Woodin, W. Hugh
3 Yoshinobu, Yasuo
2 Arrigoni, Tatiana
2 Bosch, Roger
2 Brendle, Jörg
2 Eskew, Monroe
2 Fernandes, Gabriel
2 Gilton, Thomas
2 Greenberg, Noam
2 Habič, Miha Emerik
2 Hachtman, Sherwood
2 Harrison-Trainor, Matthew
2 Hayut, Yair
2 Hoffelner, Stefan
2 Hrušák, Michael
...and 165 more Authors
all top 5

Cited in 42 Serials

83 The Journal of Symbolic Logic
83 Annals of Pure and Applied Logic
45 Archive for Mathematical Logic
18 Fundamenta Mathematicae
17 Israel Journal of Mathematics
13 Proceedings of the American Mathematical Society
13 Journal of Mathematical Logic
12 Mathematical Logic Quarterly (MLQ)
10 Notre Dame Journal of Formal Logic
9 Transactions of the American Mathematical Society
9 The Bulletin of Symbolic Logic
7 Advances in Mathematics
4 Memoirs of the American Mathematical Society
4 Synthese
4 Theoretical Computer Science
4 Topology and its Applications
3 Monatshefte für Mathematik
3 Studia Logica
3 Lobachevskii Journal of Mathematics
3 The Review of Symbolic Logic
3 Computability
3 Bollettino dell’Unione Matematica Italiana
2 Algebra and Logic
2 Journal of Philosophical Logic
2 Siberian Mathematical Journal
2 MSCS. Mathematical Structures in Computer Science
2 Central European Journal of Mathematics
2 European Journal of Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Canadian Journal of Mathematics
1 Acta Mathematica Hungarica
1 Order
1 Bulletin of the Polish Academy of Sciences, Mathematics
1 Indagationes Mathematicae. New Series
1 Journal of Mathematical Sciences (New York)
1 Izvestiya: Mathematics
1 Journal of the European Mathematical Society (JEMS)
1 Journal of Machine Learning Research (JMLR)
1 Journal of Algebra and its Applications
1 Logical Methods in Computer Science
1 Advances and Applications in Discrete Mathematics
1 Journal of Logic and Analysis

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.