List of Publications of Sy David Friedman

(with Gerald Sacks) Inadmissible Recursion Theory, Bulletin AMS, Vol. 83, No. 2, 1977, pp. 255-256. ( PDF file)

An Introduction to $\beta$-Recursion Theory, in Generalized Recursion Theory II. Fenstad, Gandy, Sacks, eds., North-Holland, 1978, pp. 111-126.( PDF file)

$\beta$-Recursion Theory, Transactions AMS, Volume 255, 1979, pp. 173-200. ( PDF file)

Post's Problem Without Admissibility, Advances in Mathematics, Vol. 35, No. 1, 1980, pp. 30-49. ( PDF file)

Negative Solutions to Post's Problem I, GRT II, North Holland, 1978, pp. 127-133. ( PDF file)

Negative Solutions to Post's Problem II, Annals of Mathematics, Vol. 113, 1981, pp. 25-43. ( PDF file)

Natural $\alpha$-re Degrees, Logic Year 1979-1980, University of Connecticut, Springer Lecture Notes 859, 1981, pp. 63-66. ( PDF file)

The Turing Degrees and the Metadegrees Have Isomorphic Cones, Patras Logic Symposiom, Metakides, Editor, North Holland, 1982, pp. 145-157. ( PDF file)

Some Recent Developments in Higher Recursion Theory, Journal of Symbolic Logic, Vol. 48, No. 3, 1983, pp. 629-642. ( PDF file)

(with C.T. Chong) Degree Theory on $\aleph_\omega$, Annals of Pure and Applied Logic, Vol. 24, 1983, pp. 87-97. ( PDF file)

(with C.T. Chong) Ordinal Recursion Theory, Handbook of Computability Theory, Griffor, Editor, North Holland, 1999, pp. 277--299. ( PDF file)

HC of an Admissible Set, Journal of Symbolic Logic, Vol. 44, No. 1, March 1979, pp. 95-102. ( PDF file)

Steel Forcing and Barwise Compactness, Annals of Mathematical Logic, Vol. 22, 1982, pp. 31-46. ( PDF file)

Uncountable Admissibles I: Forcing, Transactions AMS, Vol. 270, No. 1, 1982, pp. 61-73. ( PDF file)

Uncountable Admissibles II: Compactness, Israel Journal of Mathematics, Vol. 40, No. 2, 1981, pp. 129-149. ( PDF file)

Model Theory for $L_{\infty\omega_1}$, Annals of Pure and Applied Logic, Vol. 26, 1984, pp. 103-122. ( PDF file)

(with Saharon Shelah) Tall $\alpha$-recursive structures, Proceedings AMS, Vol. 88, No. 4, 1983, pp. 672-678. ( PDF file)

Infinitary Logic and $\0^\#$, Proceedings of the AMS Summer Institute at Boulder, 1984, pp. 99-107. ( PDF file)

(with Boban Velickovic) Nonstandard Models and Analytic Equivalence Relations, Proceedings of the American Mathematical Society, Vol. 125, No. 6, 1997, pp. 1807-09. ( PDF file)

Fine Structure Theory and its Applications, Proceedings of the AMS Summer Institute at Cornell, 1985, pp. 259-269. ( PDF file)

Jensen's $\Sigma^*$ Theory and the Combinatorial Content of V=L, Journal of Symbolic Logic, Vol. 59, No. 3, pp. 1096-1104. ( PDF file)

The $\Sigma^*$ Approach to the Fine Structure of L, Fundamentae Mathematica. Vol. 154, pp. 133-158. ( PDF file)

(with Peter Koepke) An Elementary Approach to the Fine Structure of L, Bulletin of Symbolic Logic. Vol. 3, No. 4, pp. 453-468. ( PDF file)

(with Zoran Spasojevic) Mutual Diamond. ( PDF file)

(with Rene David) Uncountable ZF-Ordinals, Proceedings of the AMS Summer Institute at Cornell, 1985, pp. 217-222. ( PDF file)

A Guide to ``Coding the Universe'' by Beller-Jensen-Welch, Journal of Symbolic Logic, 1985, pp. 1002-1019. ( PDF file)

Strong Coding, Annals of Pure and Applied Logic, 1987, pp. 1-98 ( PDF file) and A Guide to Strong Coding, Annals of Pure and Applied Logic, 1987, pp. 99-122. ( PDF file)

An Introduction to the Admissibility Spectrum, Proceedings of the International Congress of Logic, Methodology and Philosophy of Science in Salzburg, 1985, pp. 129-139. ( PDF file)

Minimal Coding, Annals of Pure and Applied Logic, 1989, pp. 233-297. ( PDF file)

An Immune Partition of the Ordinals, Proceedings of Recursion Theory Week at Oberwolfach, Springer-Verlag, 1985, pp. 141-147. ( PDF file)

Coding over a Measurable Cardinal, Journal of Symbolic Logic, 1989, pp. 1145-1159. ( PDF file)

The $\Pi^1_2$ Singleton Conjecture, Journal of the American Mathematical Society, Vol. 3, 1990, pp. 771-791. ( PDF file)

The $\Pi^1_2$ Singleton Conjecture; An Introduction, Proceedings of the 1988 European Summer Meeting of the Assoc. of Symb. Logic in Padua, Italy, pp. 113-116. ( PDF file)

The Genericity Conjecture, Journal of Symbolic Logic, Vol. 59, No. 2, 1994, pp. 606-614. ( PDF file)

A Simpler Proof of Jensen's Coding Theorem, Annals of Pure and Applied Logic, Vol. 70, No. 1, 1994 pp. 1-16. ( PDF file)

Minimal Universes, Advances in Mathematics, Vol. 104, 1994, pp. 59-65. ( PDF file)

A Large $\Pi^1_2$ Set, Absolute for Set Forcings, Proceedings of the AMS, Vol. 122, No. 1, 1994, pp. 253-256. ( PDF file)

Provable $\Pi^1_2$ Singletons, Proceedings of the American Mathematical Society, Vol. 123, No. 9, 1995, pp. 2873-74. ( PDF file)

Iterated Class Forcing, Mathematical Research Letters, Vol. 1, No. 4, 1994, pp. 427-436. ( PDF file)

(with Hugh Woodin) $\delta^1_2$ without sharps, Proceedings of the American Mathematical Society, Vol. 124, No. 7, 1996, pp. 2211-2213. ( PDF file)

(with Boban Velickovic) $\Delta_1$ Definability, Annals of Pure and Applied Logic. Vol. 89, No. 1, pp. 93-99. ( PDF file)

Coding without Fine Structure, Journal of Symbolic Logic. Vol. 62, No. 3, pp. 808-815. ( PDF file)

Generic Saturation, Journal of Symbolic Logic. Vol.63, No.1, pp. 158--162, 1998. ( PDF file)

Strict Genericity, Models, Algebras and Proofs. Proceedings of the 1995 Latin American Logic Symposium in Bogota, pp. 129--139, 1999, Marcel Dekker. ( PDF file)

New $\Sigma^1_3$ Facts, Proceedings of the American Mathematical Society. Vol. 127, pp. 3707--3709, 1999. ( PDF file)

David's Trick, Sets and Proofs. pp. 67--71, 1999, Cambridge University Press. ( PDF file)

Constructibility and Class Forcing, Handbook of Set Theory, Springer Verlag, pp.557-604, 2010. ( PDF file)

(with Joan Bagaria) Generic Absoluteness, Annals of Pure and Applied Logic. Vol.108, pp. 3--13, 2001. ( PDF file)

(with Ralf-Dieter Schindler) Universally Baire sets and definable wellorderings of the reals, Journal of Symbolic Logic. Vol. 68, No. 4, pp. 1065--1081. ( PDF file)

$0^\#$ and Inner Models, Journal of Symbolic Logic. Vol. 67, No. 3, pp. 924--932, 2002. ( PDF file)

Cardinal-Preserving Extensions, Journal of Symbolic Logic. Vol. 68, No. 4, pp. 1163--1170, 2003. ( PDF file)

Fine Structure and Class Forcing (book), de Gruyter Series in Logic and its Applications, Vol. 3, 2000.

Genericity and Large Cardinals, Journal of Mathematical Logic. Vol. 5, No. 2, pp. 149--166, 2005. ( PDF file)

(with Tapani Hyttinen and Mika Rautila) Classification Theory and 0-Sharp, Journal of Symbolic Logic. Vol. 68, No. 2, pp. 580--588, 2003. ( PDF file)

Completeness and Iteration in Modern Set Theory, One Hundred Years of Russell's Paradox, Godehard Link, ed., Walter de Gruyter, 2004, pp. 85--92. ( PDF file)

Cantor's Set Theory from a Modern Point of View, Jahresbericht der Deutschen Mathematiker-Vereinigung 104, Heft 4, pp. 165--170, 2002. ( PDF file)

Projective singletons. ( PDF file)

Generic $\Sigma^1_3$ Absoluteness, Journal of Symbolic Logic, Vol. 69, No. 1, pp. 73--80, 2004. ( PDF file)

Forcing with finite conditions, Set Theory: Centre de Recerca Matem?ica, Barcelona, 2003-2004, Trends in Mathematics, Birkh?ser Verlag, pp. 285--295, 2006. ( PDF file)

Answer to a question of Wayne Richter ( PDF file)

A characterisation of $0^\#$ in terms of forcing, Proceedings of the American Mathematical Society, Vol.134, No.6, pp.1823--1824, June 2006.. ( PDF file)

Definability degrees, Mathematical Logic Quarterly, Vol. 51, No.5, pp. 448--449, 2005.( PDF file)

Stable axioms of set theory, Set Theory: Centre de Recerca Matem?ica, Barcelona, 2003-2004, Trends in Mathematics, Birkh?ser Verlag, pp. 275--283, 2006. ( PDF file)

(with Peter Koepke and Boris Piwinger) Hyperfine structure theory and gap 1 morasses, Journal of Symbolic Logic, Vol.71, No.2, pp. 480--490, June 2006.( PDF file)

(with John Krueger) Thin stationary sets and disjoint club sequences, Transactions of the American Mathematical Society 359, no. 5, 2007, pp. 2407--2420. ( PDF file)

Large cardinals and L-like universes, Set theory: recent trends and applications, Quaderni di Matematica, vol. 17, pp. 93--110, Alessandro Andretta, editor, 2007. ( PDF file)

Internal consistency and the inner model hypothesis, Bulletin of Symbolic Logic, Vol.12, No.4, December 2006, pp. 591--600. ( PDF file)

(with Natasha Dobrinen) Co-stationarity of the ground model, Journal of Symbolic Logic, Vol.71, No.3, pp. 1029-1043, 2006. ( PDF file)

(with Philip Welch and Hugh Woodin) On the consistency strength of the inner model hypothesis, Journal of Symbolic Logic, vol.73, no.2, pp. 391--400, June 2008. ( PDF file)

(with Mirna Dzamonja and Katherine Thompson) Global complexity results, Set theory: recent trends and applications, Quaderni di Matematica, vol. 17, pp. 25--45, Alessandro Andretta, editor, 2007. ( PDF file)

(with James Cummings) Square on the singular cardinals, Journal of Symbolic Logic, Vol.73, No.4, pp. 1307--1314, December 2008. ( PDF file)

(with Natasha Dobrinen) Internal consistency and global co-stationarity of the ground model, Journal of Symbolic Logic, vol.73, no.2, pp. 512--521, June 2008. ( PDF file)

(with Katherine Thompson) Internal consistency for embedding complexity, Journal of Symbolic Logic, vol.73, no.3, pp. 831-844, 2008 ( PDF file)

(with Natasha Dobrinen) Homogeneous iteration and measure one covering relative to HOD, Archive for Mathematical Logic (2008) 47:711--718 ( PDF file)

Generalisations of G?el's universe of constructible sets, Kurt G?el: Essays for his Centennial, edited by Feferman-Parsons-Simpson, Lecture notes in Logic 33, pp. 173--180, 2009. ( PDF file)

Forcing when there are large cardinals: an introduction, Proceedings of the 2009 Hejnice Winter School, Acta Universitatis Carolinae - Mathematica et Physica, Vol.50, no.2, pp.23--32, 2009.( PDF file)

(with Philip Welch) Two observations regarding infinite time Turing machines, in BIWOC 2007 Report, Hausdorff Centre for Mathematics, pp. 44--47 ( PDF file)

Parameter-free uniformisation, Proceedings of the American Mathematical Society, vol.136, no.9, pp.3327--3330, 2008. ( PDF file)

(with Katherine Thompson) Perfect trees and elementary embeddings, Journal of Symbolic Logic, vol.73, no.3, pp. 906-918, 2008 ( PDF file)

(with Pavel Ondrejovic) The internal consistency of Easton's theorem, Annals of Pure and Applied Logic 156, No.2-3, pp.259-269, 2008. ( PDF file)

(with Radek Honzik) Easton's theorem and large cardinals, Annals of Pure and Applied Logic, vol.154, no.3, pp. 191--208, 2008. ( PDF file)

(with Katherine Thompson) An inner model for global domination, Journal of Symbolic Logic 74, No.1, pp.251-264, 2009. ( PDF file)

(with Natasha Dobrinen) The consistency strength of the tree property at the double successor of a measurable cardinal, Fundamenta Mathematicae 208, pp. 123-153, 2010. ( PDF file)

(with David Aspero) Large cardinals and locally-defined well-orders of the universe, Annals of Pure and Applied Logic 157, pp.1--15, 2009. ( PDF file)

(with Andrew Brooke-Taylor) Large cardinals and gap-1 morasses, Annals of Pure and Applied Logic, Volume 159, Issues 1-2, May 2009, Pages 71-99.( PDF file)

(with Vladimir Kanovei) Some natural equivalence relations in the Solovay model, Abhandlungen aus dem Mathematischen Seminar der Univ. Hamburg, vol.78, pp.91--98, 2008. ( PDF file)

(with David Aspero) Definable wellorderings of $H(\omega_2)$ and CH, Journal of Symbolic Logic 77, No. 4 (2012), pp. 1101--1121. ( PDF file)

(with Menachem Magidor) The number of normal measures , Journal of Symbolic Logic, Vol.74, No.3, pp. 1060--1080, 2009. ( PDF file)

(with Lyubomyr Zdomskyy) Measurable cardinals and the cofinality of the symmetric group , Fundamenta Mathematicae 207, pp. 101--122, 2010. ( PDF file)

(with Luca Motto Ros) Analytic equivalence relations and bi-embeddability, Journal of Symbolic Logic, Volume 76, Issue 1 (2011), 243-266. ( PDF file)

(with Ekaterina Fokina and Asger T?nquist) The effective theory of Borel equivalence relations, Annals of Pure and Applied Logic 161, pp. 837--850, 2010. ( PDF file)

(with Katherine Thompson) Negative universality results for graphs, Fundamenta Mathematicae 210 (2010), pp. 269--283. ( PDF file)

(with Vera Fischer) Cardinal characteristics and projective wellorders, Annals of Pure and Applied Logic 161, pp. 916-922, 2010. ( PDF file)

(with Ajdin Halilovic) The tree property at $\aleph_{\omega+2}$, Journal of Symbolic Logic, Vol.76, No.2, pp.477--490, 2011. ( PDF file)

(with Ekaterina Fokina) Equivalence relations on classes of computable structures, Computability in Europe 2009, Lecture Notes in Computer Science 5635, pp. 198--207, 2009. ( PDF file)

(with Philip Welch) Hypermachines, Journal of Symbolic Logic, Vol.76, No.2, pp.620--636, 2011. ( PDF file)

(with Andres Caicedo) BPFA and projective well-orderings of the reals, Journal of Symbolic Logic, pp. 1126--1136, December 2011. ( PDF file)

(with Martin K?wien) On absoluteness of categoricity in AEC's, Notre Dame Journal of Formal Logic, Vol.52, No.4, pp.395--402, 2011. ( PDF file)

BPFA and inner models, Annals of the Japan Association for Philosophy of Science (special issue on Mathematical Logic and its Applications), Vol.19, pp.29--36, May 2011. ( PDF file)

Forcing, combinatorics and definability, Proceedings of the 2009 RIMS Workshop on Combinatorical Set Theory and Forcing Theory in Kyoto, Japan, RIMS Kokyuroku No. 1686, pp. 24-40, 2010. ( PDF file)

Forcings which preserve large cardinals, Proceedings of the 2010 Winter School at Hejnice, Acta Universitatis Carolinae, Vol. 51, 29--47, 2010. ( PDF file)

(with Lyubomyr Zdomskyy) Projective MAD families, Annals of Pure and Applied Logic 161 (2010), pp. 1581--1587. ( PDF file)

(with Tapani Hyttinen and Agatha Walczak-Typke) Potential isomorphism of elementary substructures of a strictly stable homogeneous model, Journal of Symbolic Logic, Vol.76, No.3, pp. 987-1004, September 2011. ( PDF file)

(with Ekaterina Fokina, Valentina Harizanov, Julia Knight, Charles McCoy and Antonio Montalban) Isomorphism relations on computable structures, Journal of Symbolic Logic, vol.77, no.1, pp. 122--132, March 2012. ( PDF file)

(with Sam Buss, Yijia Chen, J?g Flum and Moritz M?ler) Strong isomorphism reductions in complexity theory, Journal of Symbolic Logic, pp. 1381--1402, December 2011. ( PDF file)

(with Ekaterina Fokina) On $\Sigma^1_1$ equivalence relations over the natural numbers, Mathematical Logic Quarterly 58, no. 1-2, pp.113--124, 2012. ( PDF file)

(with Radek Honzik) A definable failure of the singular cardinal hypothesis, Israel Journal of Mathematics 192 (2012), pp. 719--762. ( PDF file)

(with Vera Fischer and Lyubomyr Zdomskyy) Projective wellorders and MAD families with large continuum, Annals of Pure and Applied Logic 162, pp. 853--862, 2011. ( PDF file)

(with Tapani Hyttinen and Vadim Kulikov) Generalised descriptive set theory and classification theory, Memoirs of the American Mathematical Society. ( PDF file)

(with Tatiana Arrigoni) Foundational implications of the Inner Model Hypothesis, Annals of Pure and Applied Logic, vol.163, pp.1360--66, 2012. ( PDF file)

(with Peter Holy) Condensation and large cardinals, Fundamenta Mathematicae 215, no. 2, pp.133--166, 2011. ( PDF file)

(with Radek Honzik and Lyubomyr Zdomskyy) Fusion and large cardinal preservation, Annals of Pure and Applied Logic Volume 164, Issue 12, December 2013, pp. 1247--1273. ( PDF file)

Equivalence relations in set theory, computability theory, model theory and complexity theory, in Foundational Adventures: Essays in Honor of Harvey M. Friedman, College Publications, London. ( PDF file)

(with Mohammad Golshani) Independence of higher Kurepa Hypotheses, Archive for Mathematical Logic 51, pp. 621--633, 2012. ( PDF file)

(with Radek Honzik) Easton's Theorem and large cardinals from optimal hypotheses, Annals of Pure and Applied Logic 163, No.12, pp. 1738--1747, 2012. ( PDF file)

(with David Aspero, Miguel-Angel Mota and Marcin Sabok) Bounded forcing axioms and Baumgartner's conjecture, Annals of Pure and Applied Logic. ( PDF file)

(with Tapani Hyttinen and Martin K?wien) The non-absoluteness of model existence in uncountable cardinals for $L_{\omega_1\omega}$, Notre Dame Journal of Formal Logic 54, No.2, pp. 137--151, 2013. ( PDF file)

(with Tapani Hyttinen) On Borel equivalence relations in generalized Baire space, Archive for Mathematical Logic, vol.51, no.3-4, pp. 299--304, 2012. ( PDF file)

(with Andrew Brooke-Taylor) Subcompact cardinals, Square and stationary reflection, Israel Journal of Mathematics. ( PDF file)

(with Vera Fischer and Asger T?nquist) Projective maximal families of orthogonal measures with large continuum, Logic and analysis, vol.4, 2012. ( PDF file)

(with Vera Fischer and Lyubomyr Zdomskyy) Cardinal characteristics, projective wellorders and large continuum, Annals of Pure and Applied Logic 164 (2013), pp. 763--770. ( PDF file)

The Stable Core, Bulletin of Symbolic Logic, vol.18, no.2, June 2012, pp. 261--267. ( PDF file)

(with Ekaterina Fokina and Andre Nies) Equivalence relations that are $\Sigma_3$ complete for computable reducibility, Lecture notes in Computer Science 7456 LNCS:26--33 2012. ( PDF file)

(with Philipp L?ke) Large cardinals and definable wellorders without GCH, Annals of Pure and Applied Logic. ( PDF file)

(with Radek Honzik) Supercompactness and failures of GCH, Fundamenta mathematicae 219 (2012), pp. 15--36. ( PDF file)

(with Tatiana Arrigoni) The hyperuniverse program, Bulletin of Symbolic Logic 19, No. 1, pp. 77--96, 2013. ( PDF file)

(with Mohammad Golshani) Violating GCH everywhere with a single real, Journal of Symbolic Logic. ( PDF file)

(with Sakae Fuchino and Hiroshi Sakai) On the set-generic multiverse, Proceedings of the Singapore Programme on Sets and Computations. ( PDF file)

(with Michael Rathjen and Andreas Weiermann) Slow consistency. , Annals of Pure and Applied Logic 164, No. 3, 2013. ( PDF file)

(with Arnold Beckmann and Sam Buss) Safe-recursive set functions, Journal of Symbolic Logic. ( PDF file)

(with Peter Holy) A quasi-lower bound on the consistency strength of PFA, Transactions American Mathematical Society. ( PDF file)

(with Vincenzo Dimonte) Rank-into-rank hypotheses and the failure of GCH, Archive for Mathematical Logic.( PDF file)

The completeness of isomorphism, Proceedings of the Workshop on Informatics in honour of Victor Selivanov's 60th birthday, Vol. 1, Novosibirsk State Pedagogical University, 2012, pp. 47--52.( PDF file)

(with Mohammad Golshani) Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH, Fundamenta Mathematicae.( PDF file)

(with Vera Fischer and Yurii Khomskii) Co-analytic MAD families and projective wellorders, Archive for Mathematical Logic.( PDF file)

(edited with Martin K?wien and Moritz M?ler) Proceedings of the CRM Infinity Project, CRM Documents Series, 2013.( PDF file)

(with Ajdin Halilovic) The tree property at $\kappa^{++}$ with $\kappa$ measurable and $2^\kappa$ large, Fundamenta Mathematicae.( PDF file)

(with Liuzhen Wu and Lyubomyr Zdomskyy) The $\Delta_1$ definability of NS at successors, Fundamenta Mathematicae. ( PDF file)

(with Ekaterina Fokina, Julia Knight and Russell Miller)Classes of computable structures with universe a subset of $\omega_1$, Journal of Logic and Computation, vol.23, no.6, pp. 1249--1265, 2013. ( PDF file)

(with Ralf Schindler and David Schrittesser)Coding over core models,Koepke-Welch Festschrift, Tributes 23, College Publications, London, 2014.( PDF file)

(with Peter Holy and Philipp L?ke) Large cardinals and lightface definable wellorders without GCH, Journal of Symbolic Logic, Vol.80, no.1, pp. 251--284, 2015. ( PDF file)

(with Liuzhen Wu) Large cardinals and $\Delta_1$ definablity of the nonstationary ideal. ( PDF file)

(with Vadim Kulikov) Failures of the Silver dichotomy in the generalised Baire space, Journal of Symbolic Logic. ( PDF file)

Consistency of the Silver dichotomy in generalised Baire space, Fundamenta Mathematicae. ( PDF file)

(with James Cummings and Mohammad Golshani) Collapsing the cardinals of HOD. ( PDF file)

(with Carolin Antos, Radek Honzik and Claudio Ternullo) Multiverse conceptions and the hyperuniverse programme, Synth\'ese. ( PDF file)

(with Claudio Ternullo) Explaining maximality through the hyperuniverse programme. ( PDF file)

(with Brent Cody and Radek Honzik) Easton functions and supercompactness, Fundamenta Mathematicae. ( PDF file)

(with Vera Fischer and Yurii Khomskii) Cichon's diagram and regularity properties, Archive for Mathematical Logic. ( PDF file)

(with Radek Honzik) The tree property at the $\aleph_{2n}$'s and the failure of the SCH at $\aleph_\omega$, Annals of Pure and Applied Logic, Vol. 166, no.4, pp. 526--552, 2015. ( PDF file)

(with Radek Honzik) On strong forms of reflection in set theory, Mathematical Logic Quarterly. ( PDF file)

(with Liuzhen Wu) Definable normal measures Annals of Pure and Applied Logic, Volume 166, Issue 1, January 2015, Pages 46--60. ( PDF file)

(with John Baldwin, Martin K?wien and Chris Laskowski) Three red herrings around Vaught's conjecture, Transactions AMS. ( PDF file)

(with Laura Fontanella) The tree property at both $\aleph_{\omega+1}$ and $\aleph_{\omega+2}$, Fundamenta Mathematicae 229 (2015), pp. 83--100. ( PDF file)

(with Tapani Hyttinen and Vadim Kulikov) On Borel reducibility in Generalised Baire Space, Fundamenta Mathematicae. ( PDF file)

(with Vera Fischer and Yurii Khomskii) Measure, category and projective wellorders, Journal of Logic and Analysis 6:8 (2014) 1--25. ( PDF file)

The enriched stable core and the relative rigidity of HOD. Fundamenta Mathematicae. ( PDF file)

Isomorphism on HYP, Journal of Symbolic Logic. ( PDF file)

(with Yurii Khomskii and Vadim Kulikov) Regularity properties on the generalised reals, Annals of Pure and Applied Logic. ( PDF file)

(with Yong Cheng and Joel Hamkins) Large cardinals need not be large in HOD, Annals of Pure and Applied Logic. ( PDF file)

(with Claudio Ternullo) The search for new axioms in the Hyperuniverse Programme, in Objectivity, Realism, and proof, FilMat Studies in the Philosophy of Mathematics, 2016. ( PDF file)

(with David Schrittesser) Projective measure without projective Baire, Memoirs of the American Mathematical Society. ( PDF file)

(with Li Wei and Tin Lok Wong) Fragments of KP and the metamathematics of $\alpha$-recursion theory, Archive for Mathematical Logic. ( PDF file)

(with Victor Torres) The tree property at $\omega_2$ and bounded forcing axioms. ( PDF file)

(with Radek Honzik) The definability of satisfaction in outer models, Journal of Symbolic Logic. ( PDF file)

Evidence for set-theoretic truth and the Hyperuniverse Programme, Proceedings of the Chiemsee summer school on Proof, Truth and Computation. ( PDF file)

(with Vera Fischer and Asger T?nquist) Definable maximal cofinitary groups. ( PDF file)

(with Arnold Beckmann, Sam Buss, Moritz M?ler and Neil Thapen) Cobham recursive set functions. ( PDF file)

(with Andrew Brooke-Taylor, Vera Fischer and Diana Montoya) Cardinal characteristics at $\kappa$ in a small $u(\kappa)$ model, Annals of Pure and Applied Logic. ( PDF file)

(with Carolin Antos) Hyperclass forcing in Morse-Kelley class theory, Journal of Symbolic Logic ( PDF file)

(with Radek Honzik and Sarka Stejskalova) The tree property at $\lambda^{++}$ with $\lambda$ singular strong limit and $2^\lambda$ large. ( PDF file)

(with Arnold Beckmann, Sam Buss, Moritz M?ler and Neil Thapen) ( PDF file)

(with James Cummings, Menachem Magidor, Assaf Rinot and Dima Sinapova) Ordinal definable subsets of singular cardinals. ( PDF file)

(with Neil Barton) Maximality and ontology. ( PDF file)

Evidence for set-theoretic truth and the hyperuniverse programme. ( PDF file)

(with Giorgio Laguzzi) A null ideal for inaccessibles. ( PDF file)

(with Vera Fischer, Diego Mejia and Diana Montoya) Matrix iterations and projective wellorders. ( PDF file)

(with Joerg Brendle, Andrew Brooke-Taylor and Diana Montoya) The Cichon diagram at $\kappa$. ( PDF file)

(with James Cummings, Menachem Magidor, Assaf Rinot and Dima Sinapova) The eightfold way. ( PDF file)

(with Arnold Beckmann, Sam Buss, Moritz M\"uller and Neil Thapen) Feasible set functions have small circuits. ( PDF file)

(with Vika Gitman and Vladimir Kanovei) A model of 2nd order arithmetic satisfying AC but not DC. ( PDF file)

(with Neil Barton) Set theory and structures. ( PDF file)

(with Radek Honzik and Sarka Stejskalova) The tree property at alphe_omega+2 with aleph_omega strong limit and 2^aleph_omega large. ( PDF file)

(with Stefan Hoffelner) A Sigma-1-4 wellorder of the reals with NS saturated. ( PDF file)

(with Dan Hathaway) Generic coding with help and amalgamation failure. ( PDF file)

(with Vera Fischer, David Schrittesser and Asger Toernquist) Good projective witnesses. ( PDF file)

(with Carolin Antos and Neil Barton) Universism and width extensions of V. ( PDF file)

(with Carolin Antos and Vika Gitman) Boolean-valued class forcing. ( PDF file)

(with Monroe Eskew) Elementary embeddings and correctness. ( PDF file)

(with Daniel Soukup) On the complexity of classes of uncountable structures: Trees on omega_1. ( PDF file)

(with Maxwell Levine) Patterns of stationary reflection. ( PDF file)

(with Vika Gitman and Sandra Mueller) Structural properties of the Stable Core. ( PDF file)

(with Claudio Ternullo) Maximality principles in the Hyperuniverse Programme. ( PDF file)

Trapping cofinality. ( PDF file)

Capturing the Universe. ( PDF file)

Some Lectures

The Appeal of $0^\#$, Lecture at the Mittag-Leffler Institute, Djursholm, September, 2000. ( PDF file)
Seven Aspects of Pure Set Theory, German Logic Society meeting at Dresden, September, 2000. ( PDF file)
Cantor's set theory from a modern point of view, German Nathematics Society meeting at Halle, September, 2002. ( PDF file)
G?el's Achievements and their Significance for Modern Mathematics (English version), Austrian Academy of Sciences, December 2003. ( PDF file)
Criteria for the Choice of New Axioms, Barcelona Workshop on the Foundations of Set Theory, June 2004. ( PDF file)
Internal consistency and the inner model hypothesis , Logic in Hungary, Budapest, August 2005. ( PDF file)
Large cardinals and L-like universes , British Logic Colloquium, Bristol, September 2005. ( PDF file)
Generalisations of G?el's universe of constructible sets , G?el Symposium Lecture, Annual Meeting of the ASL, Montreal, May 2006. ( PDF file)
Cantor's set theory from a modern point of view, International conference on Euler and Modern Combinatorics, St. Peterburg, June, 2007. ( PDF file)
Perfect trees and large cardinals, First European Set Theory meeting, Bedlewo, Poland, July, 2007. ( PDF file)
Research at the KGRC, Methods of Logic in Mathematics V (3-lecture tutorial), St.Peterburg, June, 2008. ( PDF file)
Internal consistency, Set theory workshop, Luminy, September, 2008. ( PDF file)
The Hyperuniverse and G?el Maximality, CUNY Logic Workshop, New York, October, 2008. ( PDF file)
Forcing when there are large cardinals, Hejnice winter school, February 2009. ( PDF file)
The foundations of set theory: Past, Present and Future, Singapore math colloquium, February 2009 ( PDF file)
The effective theory of Borel equivalence relations, Singapore logic seminar, February 2009. ( PDF file)
Descriptive set theory for finite structures, St.Peterburg-Vienna joint seminar, June 2009. ( PDF file)
The outer model programme and quasi lower bounds, 2nd European set theory meeting, Bedlewo, July 2009. ( PDF file)
Forcing, combinatorics and definability (tutorial), RIMS workshop on combinatorial set theory and forcing theory, Kyoto, November 2009 ( PDF file)
Forcings which preserve large cardinals, 38th Czech winter school in abstract analysis (tutorial), Hejnice, February 2010 ( PDF file)
Equivalence relations in set, computation and complexity theory, Mal'tsev Meeting, Novosibirsk, May 2010 ( PDF file)
Shelah classification and higher descriptive set theory, Set theory workshop, Luminy, October 2010 ( PDF file)
On Bukovsky's theorem, Torino set theory workshop, November 2010 ( PDF file)
Cardinal characteristics and definability, Kobe set theory seminar, November 2010 ( PDF file)
Combinatorics and large cardinals, Meeting in honour of Andras Hajnal, Budapest, June 2011 ( PDF file)
Polynomial-time set recursion, Complexity in Europe: Transfinite computation, Sofia, June 2011 ( PDF file)
The CRM Infinity Project, opening lecture of the CRM Infinity Conference, Bellaterra, July 2011 ( PDF file)
The Hyperuniverse, Sevilla workshop on set theory and its philosophy, November 2011 ( PDF file)
The Hyperuniverse, MALOA lectures at M?ster, October 2012 ( PDF file)
The current state of the foundations of set theory, Math Department, TU Graz, March 2013 ( PDF file)
The completeness of isomorphism, Special session on computable structure theory, ASL Annual Meeting at Waterloo, May 2013 ( PDF file)
Descriptive set theory on generalised Baire space, Young Set Theory Tutorial, Oropa, Italy, June 2013 ( PDF file)
Cardinals and ordinal definability, Erdos Centennial, Budapest, July 2013 ( PDF file)
Intrinsic evidence for set-theoretic truth, Lollifest, Torino, December 2013 ( PDF file)
The Silver dichotomy for generalised Baire Space, Descriptive Set Theory in Paris, December 2013 ( PDF file)
$\Delta_1$ definability of the nonstationary ideal, Freiburg Set Theory workshop, June 2014 ( PDF file)
The Hyperuniverse Programme, Chiemsee summer school, July 2014 ( PDF file)
News about HOD, Set Theory section, joint German-Polish mathematics meeting, Poznan September 2014 ( PDF file)
The Descriptive Set Theory of Generalised Baire Space, Descriptive Set Theory in Paris, December 2014 ( PDF file)
The current state of the foundations of set theory,Heidelberg Mathematics Colloquium, Heidelberg, May 2015 ( PDF file)
Vaught's conjecture and absoluteness, 2nd Berkeley Conference on Vaught's Conjecture, June 2015 ( PDF file)
Descriptive set theory and absoluteness, Descriptive Set Theory in Paris, December 2015 ( PDF file)

Course Notes, Reviews

Topics in Set Theory, Institut f? Formale Logik, 2001-2002. ( PDF file)
Descriptive set theory, Institut f? Formale Logik, 2003. ( PDF file)
Absoluteness in set theory, Institut f? Formale Logik, 2004. ( PDF file)
Internal and external consistency, Kurt G?el Research Center, 2005. ( PDF file)
Kommentar zu G?els 1931 Montashefte Artikel ?er die Unvollst?digkeit, 2006. ( PDF file)
Stationary reflection, saturated ideals, the tree property and Jonsson cardinals, Kurt G?el Research Center, 2006. ( PDF file)
Prikry-type forcing, Kurt G?el Research Center, 2007. ( PDF file)
Isomorphism relations, Kurt G?el Research Center, 2008. ( PDF file)
Definable wellorders, Kurt G?el Research Center, 2009. ( PDF file)
Singular cardinal combinatorics, Kurt G?el Research Center, 2010. ( PDF file)
The higher descriptive set theory of isomorphism, Kurt G?el Research Center, 2010. ( PDF file)
Ideals and generic elementary embeddings; large cardinals and combinatorial principles, Kurt G?el Research Center, 2011. ( PDF file)
Descriptive complexity theory, Kurt G?el Research Center, 2011. ( PDF file)
P-Max and the stationary tower, Kurt G?el Research Center, 2012. ( PDF file)
Infinity lectures (interdisciplinary topics in logic), Kurt G?el Research Center, 2012. ( PDF file)
Invariant descriptive set theory (on classical and generalised Baire space), Kurt G?el Research Center, 2013. ( PDF file)
Cardinal characteristics of the uncountable, Kurt G?el Research Center, 2014. ( PDF file)
The Philosophy and mathematics of set-theoretic truth , Kurt G?el Research Center, 2014. ( PDF file)
HOD and the Stable Core, Kurt G?el Research Center, 2015. ( PDF file)
Trees, reflection and approachability, Kurt G?el Research Center, 2016. ( PDF file)
The Hyperuniverse , Kurt G?el Research Center, 2017. ( PDF file)

Return to Sy David Friedman's Homepage