| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ekaterina B. Fokina, Sy-David Friedman |
On Σ11 equivalence relations over the natural numbers.  |
Math. Log. Q.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Tapani Hyttinen |
On Borel equivalence relations in generalized Baire space. |
Arch. Math. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy-David Friedman, Martin Koerwien |
On Absoluteness of Categoricity in Abstract Elementary Classes. |
Notre Dame Journal of Formal Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Ajdin Halilovic |
The tree property at ℵω+2. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller |
Strong isomorphism reductions in complexity theory. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Philip D. Welch |
Hypermachines. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke |
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrés Eduardo Caicedo, Sy-David Friedman |
BPFA and projective well-orderings of the reals. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Luca Motto Ros |
Analytic equivalence relations and bi-embeddability. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy |
Projective wellorders and mad families with large continuum. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist |
The effective theory of Borel equivalence relations. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Sy-David Friedman |
Cardinal characteristics and projective wellorders. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy-David Friedman, Lyubomyr Zdomskyy |
Projective mad families. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Asperó, Sy D. Friedman |
Large cardinals and locally defined well-orders of the universe. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy-David Friedman, Katherine Thompson |
An inner model for global domination. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Menachem Magidor |
The number of normal measures. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Brooke-Taylor, Sy-David Friedman |
Large cardinals and gap-1 morasses. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina B. Fokina, Sy-David Friedman |
Equivalence Relations on Classes of Computable Structures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman, Radek Honzik |
Easton's theorem and large cardinals. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Dobrinen, Sy D. Friedman |
Homogeneous iteration and measure one covering relative to HOD. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E35, 03E40, 03E55, 03E45 |
| 1 | James Cummings, Sy-David Friedman |
on the singular cardinals. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Natasha Dobrinen, Sy-David Friedman |
Internal consistency and global co-stationarity of the ground model. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Katherine Thompson |
Internal consistency for embedding complexity. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Katherine Thompson |
Perfect trees and elementary embeddings. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Philip D. Welch, W. Hugh Woodin |
On the consistency strength of the inner model hypothesis. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Pavel Ondrejovic |
The internal consistency of Easton's theorem. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Dobrinen, Sy-David Friedman |
Co-stationarity of the ground model. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Peter Koepke, Boris Piwinger |
Hyperfine structure theory and gap 1 morasses. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman |
Internal Consistency and the Inner Model Hypothesis. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
Definability degrees. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman |
Generic Sigma13 absoluteness. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
Cardinal-preserving extensions. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman, Ralf Schindler |
Universally Baire sets and definable well-orderings of the reals. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman, Tapani Hyttinen, Mika Rautila |
Classification theory and 0#. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
0# and Inner Models. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joan Bagaria, Sy D. Friedman |
Generic absoluteness. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman |
Generic Saturation. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
Coding without Fine Structure. |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman, Peter Koepke |
An elementary approach to the fine structure of L. |
Bulletin of Symbolic Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman, Boban Velickovic |
Delta1-Definability. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman |
Jensen's Sigma* Theory and the Combinatorial Content of V=L. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
The Genericity Conjecture. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
A Simpler proof of Jensen's Coding Theorem. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman |
Coding Over a Measurable Cardinal. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
Minimal Coding. |
Ann. Pure Appl. Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy D. Friedman |
A Guide to "Coding the Universe" by Beller, Jensen, Welch. |
J. Symb. Log. |
1985 |
DBLP BibTeX RDF |
|
| 1 | George Boolos, Sy D. Friedman |
Annual Meeting of the Association for Symbolic Logic: Boston 1983. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
Some Recent Developments in Higher Recursion Theory. |
J. Symb. Log. |
1983 |
DBLP BibTeX RDF |
|
| 1 | George Boolos, Sy D. Friedman, Harold Hodes |
Meeting of the Association for Symbolic Logic: New York 1979. |
J. Symb. Log. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Sy D. Friedman |
HC of an Admissible Set. |
J. Symb. Log. |
1979 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")