default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSy-David Friedman
Sy D. Friedman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j105]Monroe Eskew
, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg:
Mutually embeddable models of ZFC. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103325 (2024)- 2023
- [j104]Sy-David Friedman, Victoria Gitman, Sandra Müller:
Structural Properties of the stable Core. J. Symb. Log. 88(3): 889-918 (2023) - 2022
- [j103]Monroe Eskew, Sy-David Friedman:
Embeddings Into Outer Models. J. Symb. Log. 87(4): 1301-1321 (2022) - 2021
- [j102]Sy-David Friedman, Dan Hathaway:
Generic coding with Help and Amalgamation Failure. J. Symb. Log. 86(4): 1385-1395 (2021) - [j101]Carolin Antos, Neil Barton, Sy-David Friedman:
Universism and Extensions of V. Rev. Symb. Log. 14(1): 112-154 (2021) - 2020
- [j100]Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo, John Wigglesworth:
Introduction. Synth. 197(2): 469-475 (2020) - [j99]Neil Barton, Sy-David Friedman:
Maximality and ontology: how axiom content varies across philosophical frameworks. Synth. 197(2): 623-649 (2020)
2010 – 2019
- 2019
- [j98]Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:
Feasible set functions have small circuits. Comput. 8(1): 67-98 (2019) - [j97]Sy-David Friedman, Victoria Gitman, Vladimir Kanovei:
A model of second-order arithmetic satisfying AC but not DC. J. Math. Log. 19(1): 1850013:1-1850013:39 (2019) - [j96]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): 1466-1483 (2019) - 2018
- [j95]Vera Fischer, Sy D. Friedman, Diego Alejandro Mejía, Diana Carolina Montoya:
Coherent Systems of finite Support iterations. J. Symb. Log. 83(1): 208-236 (2018) - [j94]James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot:
The eightfold Way. J. Symb. Log. 83(1): 349-371 (2018) - 2017
- [j93]Sy-David Friedman, Giorgio Laguzzi:
A null ideal for inaccessibles. Arch. Math. Log. 56(5-6): 691-697 (2017) - [j92]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): 37-49 (2017) - [j91]Carolin Antos, Sy-David Friedman:
Hyperclass forcing in Morse-Kelley class Theory. J. Symb. Log. 82(2): 549-575 (2017) - 2016
- [j90]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): 899-924 (2016) - [j89]Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:
Cobham recursive set functions. Ann. Pure Appl. Log. 167(3): 335-369 (2016) - [j88]Sy-David Friedman, Yurii Khomskii, Vadim Kulikov:
Regularity properties on the generalized reals. Ann. Pure Appl. Log. 167(4): 408-430 (2016) - [j87]Sy-David Friedman:
Evidence for Set-theoretic Truth and the Hyperuniverse Programme. FLAP 3(4): 517-556 (2016) - [j86]Sy-David Friedman:
Isomorphism on HYP. J. Symb. Log. 81(2): 395-399 (2016) - [j85]Sy-David Friedman, Radek Honzik:
Definability of Satisfaction in outer Models. J. Symb. Log. 81(3): 1047-1068 (2016) - [j84]Sy-David Friedman, Radek Honzik:
On strong forms of reflection in set theory. Math. Log. Q. 62(1-2): 52-58 (2016) - 2015
- [j83]Sy-David Friedman, Liuzhen Wu:
Definable normal measures. Ann. Pure Appl. Log. 166(1): 46-60 (2015) - [j82]Sy-David Friedman, Philipp Lücke:
Large cardinals and definable well-orders, without the GCH. Ann. Pure Appl. Log. 166(3): 306-324 (2015) - [j81]Sy-David Friedman, Radek Honzik:
The tree property at the א2n's and the failure of SCH at אω. Ann. Pure Appl. Log. 166(4): 526-552 (2015) - [j80]Yong Cheng, Sy-David Friedman, Joel David Hamkins:
Large cardinals need not be large in HOD. Ann. Pure Appl. Log. 166(11): 1186-1198 (2015) - [j79]James Cummings, Sy-David Friedman, Mohammad Golshani:
Collapsing the cardinals of HOD. J. Math. Log. 15(2): 1550007:1-1550007:32 (2015) - [j78]Sy-David Friedman, Peter Holy, Philipp Lücke:
Large Cardinals and Lightface Definable Well-Orders, without the GCH. J. Symb. Log. 80(1): 251-284 (2015) - [j77]Sy-David Friedman, Vadim Kulikov:
Failures of the Silver Dichotomy in the generalized Baire Space. J. Symb. Log. 80(2): 661-670 (2015) - [j76]Arnold Beckmann, Samuel R. Buss, Sy-David Friedman:
Safe Recursive Set Functions. J. Symb. Log. 80(3): 730-762 (2015) - [j75]Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo:
Multiverse conceptions in set theory. Synth. 192(8): 2463-2488 (2015) - 2014
- [j74]Vincenzo Dimonte, Sy-David Friedman:
Rank-into-rank hypotheses and the failure of GCH. Arch. Math. Log. 53(3-4): 351-366 (2014) - [j73]Vera Fischer, Sy-David Friedman, Yurii Khomskii:
Cichoń's diagram, regularity properties and Δ13 sets of reals. Arch. Math. Log. 53(5-6): 695-729 (2014) - [j72]Vera Fischer, Sy-David Friedman, Yurii Khomskii:
Measure, category and projective wellorders. J. Log. Anal. 6 (2014) - [p2]Sy-David Friedman:
The completeness of isomorphism. Logic, Computation, Hierarchies 2014: 157-164 - 2013
- [j71]Vera Fischer, Sy-David Friedman, Yurii Khomskii:
Co-analytic mad families and definable wellorders. Arch. Math. Log. 52(7-8): 809-822 (2013) - [j70]Sy-David Friedman, Michael Rathjen, Andreas Weiermann:
Slow consistency. Ann. Pure Appl. Log. 164(3): 382-393 (2013) - [j69]Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy:
Cardinal characteristics, projective wellorders and large continuum. Ann. Pure Appl. Log. 164(7-8): 763-770 (2013) - [j68]David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok:
Baumgartner's conjecture and bounded forcing axioms. Ann. Pure Appl. Log. 164(12): 1178-1186 (2013) - [j67]Sy-David Friedman, Radek Honzik, Lyubomyr Zdomskyy:
Fusion and large cardinal preservation. Ann. Pure Appl. Log. 164(12): 1247-1273 (2013) - [j66]Tatiana Arrigoni, Sy-David Friedman:
The hyperuniverse program. Bull. Symb. Log. 19(1): 77-96 (2013) - [j65]Sy-David Friedman, Mohammad Golshani:
Killing the GCH everywhere with a single real. J. Symb. Log. 78(3): 803-823 (2013) - [j64]Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller:
Classes of structures with universe a subset of ω1. J. Log. Comput. 23(6): 1249-1265 (2013) - [j63]Sy-David Friedman, Tapani Hyttinen, Martin Koerwien:
The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω. Notre Dame J. Formal Log. 54(2): 137-151 (2013) - 2012
- [j62]Sy-David Friedman, Tapani Hyttinen:
On Borel equivalence relations in generalized Baire space. Arch. Math. Log. 51(3-4): 299-304 (2012) - [j61]Sy-David Friedman, Mohammad Golshani:
Independence of higher Kurepa hypotheses. Arch. Math. Log. 51(5-6): 621-633 (2012) - [j60]Tatiana Arrigoni, Sy-David Friedman:
Foundational implications of the Inner Model Hypothesis. Ann. Pure Appl. Log. 163(10): 1360-1366 (2012) - [j59]Sy-David Friedman, Radek Honzik:
Easton's theorem and large cardinals from the optimal hypothesis. Ann. Pure Appl. Log. 163(12): 1738-1747 (2012) - [j58]Sy-David Friedman:
The stable core. Bull. Symb. Log. 18(2): 261-267 (2012) - [j57]Vera Fischer, Sy-David Friedman, Asger Törnquist:
Projective maximal families of orthogonal measures with large continuum. J. Log. Anal. 4 (2012) - [j56]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): 122-132 (2012) - [j55]David Asperó, Sy-David Friedman:
Definable well-orders of H(ω2) and GCH. J. Symb. Log. 77(4): 1101-1121 (2012) - [j54]Ekaterina B. Fokina, Sy-David Friedman:
On Σ11 equivalence relations over the natural numbers. Math. Log. Q. 58(1-2): 113-124 (2012) - [c2]Ekaterina B. Fokina, Sy-David Friedman, André Nies:
Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract). WoLLIC 2012: 26-33 - 2011
- [j53]Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy:
Projective wellorders and mad families with large continuum. Ann. Pure Appl. Log. 162(11): 853-862 (2011) - [j52]Sy-David Friedman, Luca Motto Ros:
Analytic equivalence relations and bi-embeddability. J. Symb. Log. 76(1): 243-266 (2011) - [j51]Sy-David Friedman, Ajdin Halilovic:
The tree property at ℵω+2. J. Symb. Log. 76(2): 477-490 (2011) - [j50]Sy-David Friedman, Philip D. Welch:
Hypermachines. J. Symb. Log. 76(2): 620-636 (2011) - [j49]Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke:
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. J. Symb. Log. 76(3): 987-1004 (2011) - [j48]Andrés Eduardo Caicedo, Sy-David Friedman:
BPFA and projective well-orderings of the reals. J. Symb. Log. 76(4): 1126-1136 (2011) - [j47]Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller:
Strong isomorphism reductions in complexity theory. J. Symb. Log. 76(4): 1381-1402 (2011) - [j46]Sy-David Friedman, Martin Koerwien:
On Absoluteness of Categoricity in Abstract Elementary Classes. Notre Dame J. Formal Log. 52(4): 395-402 (2011) - 2010
- [j45]Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist:
The effective theory of Borel equivalence relations. Ann. Pure Appl. Log. 161(7): 837-850 (2010) - [j44]Vera Fischer, Sy-David Friedman:
Cardinal characteristics and projective wellorders. Ann. Pure Appl. Log. 161(7): 916-922 (2010) - [j43]Sy-David Friedman, Lyubomyr Zdomskyy:
Projective mad families. Ann. Pure Appl. Log. 161(12): 1581-1587 (2010)
2000 – 2009
- 2009
- [j42]David Asperó, Sy D. Friedman:
Large cardinals and locally defined well-orders of the universe. Ann. Pure Appl. Log. 157(1): 1-15 (2009) - [j41]Andrew D. Brooke-Taylor, Sy-David Friedman:
Large cardinals and gap-1 morasses. Ann. Pure Appl. Log. 159(1-2): 71-99 (2009) - [j40]Sy-David Friedman, Katherine Thompson:
An inner model for global domination. J. Symb. Log. 74(1): 251-264 (2009) - [j39]Sy-David Friedman, Menachem Magidor:
The number of normal measures. J. Symb. Log. 74(3): 1069-1080 (2009) - [c1]Ekaterina B. Fokina, Sy-David Friedman:
Equivalence Relations on Classes of Computable Structures. CiE 2009: 198-207 - 2008
- [j38]Natasha Dobrinen, Sy D. Friedman:
Homogeneous iteration and measure one covering relative to HOD. Arch. Math. Log. 47(7-8): 711-718 (2008) - [j37]Sy D. Friedman, Radek Honzik:
Easton's theorem and large cardinals. Ann. Pure Appl. Log. 154(3): 191-208 (2008) - [j36]Sy-David Friedman, Pavel Ondrejovic:
The internal consistency of Easton's theorem. Ann. Pure Appl. Log. 156(2-3): 259-269 (2008) - [j35]Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
On the consistency strength of the inner model hypothesis. J. Symb. Log. 73(2): 391-400 (2008) - [j34]Natasha Dobrinen, Sy-David Friedman:
Internal consistency and global co-stationarity of the ground model. J. Symb. Log. 73(2): 512-521 (2008) - [j33]Sy-David Friedman, Katherine Thompson:
Internal consistency for embedding complexity. J. Symb. Log. 73(3): 831-844 (2008) - [j32]Sy-David Friedman, Katherine Thompson:
Perfect trees and elementary embeddings. J. Symb. Log. 73(3): 906-918 (2008) - [j31]James Cummings, Sy-David Friedman:
on the singular cardinals. J. Symb. Log. 73(4): 1307-1314 (2008) - 2006
- [j30]Sy-David Friedman:
Internal Consistency and the Inner Model Hypothesis. Bull. Symb. Log. 12(4): 591-600 (2006) - [j29]Sy-David Friedman, Peter Koepke, Boris Piwinger:
Hyperfine structure theory and gap 1 morasses. J. Symb. Log. 71(2): 480-490 (2006) - [j28]Natasha Dobrinen, Sy-David Friedman:
Co-stationarity of the ground model. J. Symb. Log. 71(3): 1029-1043 (2006) - 2005
- [j27]Sy D. Friedman:
Genericity and Large Cardinals. J. Math. Log. 5(2) (2005) - [j26]Sy D. Friedman:
Definability degrees. Math. Log. Q. 51(5): 448-449 (2005) - 2004
- [j25]Sy D. Friedman:
Generic Sigma13 absoluteness. J. Symb. Log. 69(1): 73-80 (2004) - 2003
- [j24]Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#. J. Symb. Log. 68(2): 580-588 (2003) - [j23]Sy D. Friedman, Ralf Schindler:
Universally Baire sets and definable well-orderings of the reals. J. Symb. Log. 68(4): 1065-1081 (2003) - [j22]Sy D. Friedman:
Cardinal-preserving extensions. J. Symb. Log. 68(4): 1163-1170 (2003) - 2002
- [j21]Sy D. Friedman:
0# and Inner Models. J. Symb. Log. 67(3): 924-932 (2002) - 2001
- [j20]Joan Bagaria, Sy D. Friedman:
Generic absoluteness. Ann. Pure Appl. Log. 108(1-3): 3-13 (2001)
1990 – 1999
- 1999
- [p1]C. T. Chong, Sy D. Friedman:
Ordinal Recursion Theory. Handbook of Computability Theory 1999: 277-299 - 1998
- [j19]Sy D. Friedman:
Generic Saturation. J. Symb. Log. 63(1): 158-162 (1998) - 1997
- [j18]Sy D. Friedman, Boban Velickovic:
Delta1-Definability. Ann. Pure Appl. Log. 89(1): 93-99 (1997) - [j17]Sy D. Friedman, Peter Koepke:
An elementary approach to the fine structure of L. Bull. Symb. Log. 3(4): 453-468 (1997) - [j16]Sy D. Friedman:
Coding without Fine Structure. J. Symb. Log. 62(3): 808-815 (1997) - 1994
- [j15]Sy D. Friedman:
A Simpler proof of Jensen's Coding Theorem. Ann. Pure Appl. Log. 70(1): 1-16 (1994) - [j14]Sy D. Friedman:
The Genericity Conjecture. J. Symb. Log. 59(2): 606-614 (1994) - [j13]Sy D. Friedman:
Jensen's Sigma* Theory and the Combinatorial Content of V=L. J. Symb. Log. 59(3): 1096-1104 (1994)
1980 – 1989
- 1989
- [j12]Sy D. Friedman:
Minimal Coding. Ann. Pure Appl. Log. 41(3): 233-297 (1989) - [j11]Sy D. Friedman:
Coding Over a Measurable Cardinal. J. Symb. Log. 54(4): 1145-1159 (1989) - 1987
- [j10]Sy D. Friedman:
Strong coding. Ann. Pure Appl. Log. 35: 1-3 (1987) - [j9]Sy D. Friedman:
A guide to "strong coding". Ann. Pure Appl. Log. 35: 99-122 (1987) - 1985
- [j8]Sy D. Friedman:
A Guide to "Coding the Universe" by Beller, Jensen, Welch. J. Symb. Log. 50(4): 1002-1019 (1985) - 1984
- [j7]Sy D. Friedman:
Model theory for L∞ω1. Ann. Pure Appl. Log. 26(2): 103-122 (1984) - [j6]George Boolos, Sy D. Friedman:
Annual Meeting of the Association for Symbolic Logic: Boston 1983. J. Symb. Log. 49(4): 1441-1449 (1984) - 1983
- [j5]C. T. Chong, Sy D. Friedman:
Degree theory on alephω. Ann. Pure Appl. Log. 24(1): 87-97 (1983) - [j4]Sy D. Friedman:
Some Recent Developments in Higher Recursion Theory. J. Symb. Log. 48(3): 629-642 (1983) - 1982
- [j3]Sy D. Friedman:
Steel forcing and barwise compactness. Ann. Math. Log. 22(1): 31-46 (1982) - 1981
- [j2]George Boolos, Sy D. Friedman, Harold Hodes:
Meeting of the Association for Symbolic Logic: New York 1979. J. Symb. Log. 46(2): 427-434 (1981)
1970 – 1979
- 1979
- [j1]Sy D. Friedman:
HC of an Admissible Set. J. Symb. Log. 44(1): 95-102 (1979)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
