Sy-David Friedman

zbMath Openfriedman.sy-davidDBLP42/4806WikidataQ700374 ScholiaQ700374MaRDI QIDQ487690

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mutually embeddable models of ZFC Annals of Pure and Applied Logic	2023-10-12	Paper
Set Theory and Structures Synthese Library	2023-09-20	Paper
STRUCTURAL PROPERTIES OF THE STABLE CORE Journal of Symbolic Logic	2023-09-11	Paper
Embeddings into outer models Journal of Symbolic Logic	2022-11-18	Paper
Coding over Core Models	2022-09-18	Paper
Patterns of stationary reflection Israel Journal of Mathematics	2022-08-15	Paper
Boolean-valued class forcing Fundamenta Mathematicae	2022-02-11	Paper
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE Journal of Symbolic Logic	2022-01-17	Paper
Maximality and ontology: how axiom content varies across philosophical frameworks Synthese	2021-12-01	Paper
On the complexity of classes of uncountable structures: trees on $\aleph _1$ Fundamenta Mathematicae	2021-11-03	Paper
Universism and extensions of $V$ The Review of Symbolic Logic	2021-07-22	Paper
Projective Measure Without Projective Baire Memoirs of the American Mathematical Society	2021-04-26	Paper
The tree property at $\aleph_{\omega +2}$ with a finite gap Fundamenta Mathematicae	2021-01-25	Paper
On the set-generic multiverse Sets and Computations	2020-12-02	Paper
Cobham recursive set functions and weak set theories Sets and Computations	2020-12-02	Paper
On the set-generic multiverse The Hyperuniverse Project and Maximality	2020-08-07	Paper
On Strong Forms of Reflection in Set Theory The Hyperuniverse Project and Maximality	2020-08-07	Paper
Explaining maximality through the hyperuniverse programme The Hyperuniverse Project and Maximality	2020-08-07	Paper
Multiverse conceptions in set theory The Hyperuniverse Project and Maximality	2020-08-07	Paper
Evidence for Set-Theoretic Truth and the Hyperuniverse Programme The Hyperuniverse Project and Maximality	2020-08-07	Paper
Definability of satisfaction in outer models The Hyperuniverse Project and Maximality	2020-08-07	Paper
The search for new axioms in the hyperuniverse programme The Hyperuniverse Project and Maximality	2020-08-07	Paper
Hyperclass forcing in Morse-Kelley class theory The Hyperuniverse Project and Maximality	2020-08-07	Paper
The search for new axioms in the hyperuniverse programme Boston Studies in the Philosophy and History of Science	2020-07-13	Paper
A $\Sigma_4^1$ wellorder of the reals with $\mathrm{NS}_{\omega_1}$ saturated Journal of Symbolic Logic	2020-01-10	Paper
Feasible set functions have small circuits Computability	2019-10-28	Paper
A model of second-order arithmetic satisfying AC but not DC Journal of Mathematical Logic	2019-07-08	Paper
On the complexity of classes of uncountable structures: trees on $\aleph_1$	2019-06-03	Paper
The Scott rank of Polish metric spaces	2019-06-02	Paper
Embeddings into outer models	2019-05-15	Paper
Good projective witnesses	2019-04-11	Paper
Generic Coding with Help and Amalgamation Failure	2018-08-30	Paper
Ordinal definable subsets of singular cardinals Israel Journal of Mathematics	2018-08-22	Paper
Cichoń's diagram for uncountable cardinals Israel Journal of Mathematics	2018-07-03	Paper
Coherent systems of finite support iterations Journal of Symbolic Logic	2018-05-02	Paper
The eightfold way Journal of Symbolic Logic	2018-05-02	Paper
The tree property at the double successor of a singular cardinal with a larger gap Annals of Pure and Applied Logic	2018-04-06	Paper
A null ideal for inaccessibles Archive for Mathematical Logic	2017-09-15	Paper
Hyperclass forcing in Morse-Kelley class theory The Journal of Symbolic Logic	2017-08-03	Paper
Definability of satisfaction in outer models Journal of Symbolic Logic	2017-04-28	Paper
Multiverse conceptions in set theory Synthese	2017-02-14	Paper
Fragments of Kripke-Platek set theory and the metamathematics of $\alpha $-recursion theory Archive for Mathematical Logic	2016-11-01	Paper
Cardinal characteristics at $\kappa$ in a small $\mathfrak{u}(\kappa)$ model Annals of Pure and Applied Logic	2016-10-26	Paper
The enriched stable core and the relative rigidity of HOD Fundamenta Mathematicae	2016-09-02	Paper
ISOMORPHISM ON HYP Journal of Symbolic Logic	2016-08-19	Paper
On strong forms of reflection in set theory Mathematical Logic Quarterly (MLQ)	2016-03-17	Paper
Definable maximal cofinitary groups	2016-03-09	Paper
Three red herrings around Vaught's conjecture Transactions of the American Mathematical Society	2016-03-07	Paper
Regularity properties on the generalized reals Annals of Pure and Applied Logic	2016-03-02	Paper
The tree property at $\omega_2$ and bounded forcing axioms Bulletin of the Polish Academy of Sciences, Mathematics	2016-02-24	Paper
Collapsing the cardinals of HOD Journal of Mathematical Logic	2016-02-18	Paper
Equivalence relations in set theory, computation theory, model theory and complexity theory	2016-01-27	Paper
Cobham recursive set functions Annals of Pure and Applied Logic	2016-01-12	Paper
Safe recursive set functions Journal of Symbolic Logic	2015-11-09	Paper
On Borel reducibility in generalized Baire space Fundamenta Mathematicae	2015-09-11	Paper
Fusion and large cardinal preservation Annals of Pure and Applied Logic	2015-08-27	Paper
Baumgartner's conjecture and bounded forcing axioms Annals of Pure and Applied Logic	2015-08-27	Paper
Large cardinals need not be large in HOD Annals of Pure and Applied Logic	2015-08-21	Paper
Failures of the Silver dichotomy in the generalized Baire space Journal of Symbolic Logic	2015-08-14	Paper
Large cardinals and lightface definable well-orders, without the GCH Journal of Symbolic Logic	2015-05-20	Paper
The completeness of isomorphism	2015-04-09	Paper
Coding over core models	2015-04-09	Paper
Δ₁-Definability of the non-stationary ideal at successor cardinals Fundamenta Mathematicae	2015-03-12	Paper
The tree property at both $\aleph_{\omega +1}$ and $\aleph_{\omega +2}$ Fundamenta Mathematicae	2015-02-11	Paper
The tree property at the $\aleph_{2 n}$'s and the failure of SCH at $\aleph_\omega$ Annals of Pure and Applied Logic	2015-02-04	Paper
Large cardinals and definable well-orders, without the GCH Annals of Pure and Applied Logic	2015-01-23	Paper
Measure, category and projective wellorders Journal of Logic and Analysis	2015-01-22	Paper
Definable normal measures Annals of Pure and Applied Logic	2014-10-27	Paper
Generalized descriptive set theory and classification theory Memoirs of the American Mathematical Society	2014-10-17	Paper
A quasi-lower bound on the consistency strength of PFA Transactions of the American Mathematical Society	2014-09-17	Paper
Consistency of the Silver dichotomy in generalised Baire space Fundamenta Mathematicae	2014-09-03	Paper
Cichoń's diagram, regularity properties and $\varDelta^1_3$ sets of reals Archive for Mathematical Logic	2014-08-29	Paper
Easton functions and supercompactness Fundamenta Mathematicae	2014-07-07	Paper
Rank-into-rank hypotheses and the failure of GCH Archive for Mathematical Logic	2014-05-12	Paper
Classes of structures with universe a subset of $\omega _{1}$ Journal Of Logic And Computation	2014-04-01	Paper
Projective measure without projective Baire	2014-01-27	Paper
Killing the GCH everywhere with a single real The Journal of Symbolic Logic	2014-01-07	Paper
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH Fundamenta Mathematicae	2013-12-16	Paper
Cardinal characteristics, projective wellorders and large continuum Annals of Pure and Applied Logic	2013-11-29	Paper
Co-analytic mad families and definable wellorders Archive for Mathematical Logic	2013-11-06	Paper
Subcompact cardinals, squares, and stationary reflection Israel Journal of Mathematics	2013-10-31	Paper
The tree property at the double successor of a measurable cardinal $\kappa $ with $2^{\kappa} $ large Fundamenta Mathematicae	2013-10-30	Paper
The hyperuniverse program The Bulletin of Symbolic Logic	2013-07-11	Paper
BPFA and inner models Annals of the Japan Association for Philosophy of Science	2013-07-10	Paper
The nonabsoluteness of model existence in uncountable cardinals for $L_{\omega_{1},\omega}$ Notre Dame Journal of Formal Logic	2013-04-25	Paper
Slow consistency Annals of Pure and Applied Logic	2013-02-19	Paper
A definable failure of the singular cardinal hypothesis Israel Journal of Mathematics	2013-02-07	Paper
Definable well-orders of $H(\omega _2)$ and GCH Journal of Symbolic Logic	2013-01-07	Paper
Projective maximal families of orthogonal measures with large continuum Journal of Logic and Analysis	2012-12-17	Paper
Supercompactness and failures of GCH Fundamenta Mathematicae	2012-10-19	Paper
Easton's theorem and large cardinals from the optimal hypothesis Annals of Pure and Applied Logic	2012-10-11	Paper
Equivalence relations that are $\Sigma^0_3$ complete for computable reducibility (extended abstract) Logic, Language, Information and Computation	2012-09-21	Paper
Independence of higher Kurepa hypotheses Archive for Mathematical Logic	2012-09-18	Paper
Foundational implications of the inner model hypothesis Annals of Pure and Applied Logic	2012-09-06	Paper
The stable core The Bulletin of Symbolic Logic	2012-06-20	Paper
On Borel equivalence relations in generalized Baire space Archive for Mathematical Logic	2012-05-03	Paper
Isomorphism relations on computable structures Journal of Symbolic Logic	2012-04-19	Paper
On Σ¹ ₁ equivalence relations over the natural numbers Mathematical Logic Quarterly	2012-02-29	Paper
BPFA and projective well-orderings of the reals Journal of Symbolic Logic	2011-12-23	Paper
Strong isomorphism reductions in complexity theory Journal of Symbolic Logic	2011-12-23	Paper
On absoluteness of categoricity in abstract elementary classes Notre Dame Journal of Formal Logic	2011-12-21	Paper
Condensation and large cardinals Fundamenta Mathematicae	2011-11-18	Paper
Potential isomorphism of elementary substructures of a strictly stable homogeneous model Journal of Symbolic Logic	2011-10-10	Paper
Projective wellorders and mad families with large continuum Annals of Pure and Applied Logic	2011-09-22	Paper
Forcings which preserve large cardinals	2011-08-31	Paper
The effective theory of Borel equivalence relations Annals of Pure and Applied Logic	2011-08-26	Paper
Cardinal characteristics and projective wellorders Annals of Pure and Applied Logic	2011-08-26	Paper
Projective mad families Annals of Pure and Applied Logic	2011-08-26	Paper
The tree property at $\aleph _{\omega +2}$ Journal of Symbolic Logic	2011-06-28	Paper
Hypermachines Journal of Symbolic Logic	2011-06-28	Paper
Analytic equivalence relations and bi-embeddability Journal of Symbolic Logic	2011-03-18	Paper
Generalisations of Gödel's universe of constructible sets	2011-03-02	Paper
Negative universality results for graphs Fundamenta Mathematicae	2011-01-11	Paper
Constructibility and class forcing Handbook of Set Theory	2010-11-05	Paper
Equivalence Relations on Classes of Computable Structures Mathematical Theory and Computational Practice	2010-07-28	Paper
The consistency strength of the tree property at the double successor of a measurable cardinal Fundamenta Mathematicae	2010-05-21	Paper
Measurable cardinals and the cofinality of the symmetric group Fundamenta Mathematicae	2010-04-09	Paper
Forcing when there are large cardinals: an introduction	2010-01-13	Paper
Some natural equivalence relations in the Solovay model Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg	2009-10-26	Paper
The number of normal measures Journal of Symbolic Logic	2009-09-29	Paper
Large cardinals and gap-1 morasses Annals of Pure and Applied Logic	2009-06-10	Paper
An inner model for global domination Journal of Symbolic Logic	2009-03-25	Paper
Perfect trees and elementary embeddings Journal of Symbolic Logic	2009-03-23	Paper
Internal consistency for embedding complexity Journal of Symbolic Logic	2009-03-23	Paper
Large cardinals and locally defined well-orders of the universe Annals of Pure and Applied Logic	2009-02-19	Paper
The internal consistency of Easton's theorem Annals of Pure and Applied Logic	2009-01-28	Paper
□ on the singular cardinals Journal of Symbolic Logic	2009-01-09	Paper
Homogeneous iteration and measure one covering relative to HOD Archive for Mathematical Logic	2008-11-17	Paper
Parameter-free uniformisation Proceedings of the American Mathematical Society	2008-09-01	Paper
Easton's theorem and large cardinals Annals of Pure and Applied Logic	2008-07-11	Paper
Internal consistency and global co-stationarity of the ground model Journal of Symbolic Logic	2008-06-09	Paper
On the consistency strength of the inner model hypothesis Journal of Symbolic Logic	2008-06-09	Paper
scientific article; zbMATH DE number 5233908 (Why is no real title available?)	2008-02-11	Paper
scientific article; zbMATH DE number 5233906 (Why is no real title available?)	2008-02-11	Paper
The strength of the Inner Model Hypothesis	2007-11-05	Paper
Internal Consistency and the Inner Model Hypothesis The Bulletin of Symbolic Logic	2007-08-23	Paper
scientific article; zbMATH DE number 5130974 (Why is no real title available?)	2007-03-05	Paper
Stable axioms of set theory	2007-03-05	Paper
Thin stationary sets and disjoint club sequences Transactions of the American Mathematical Society	2007-02-01	Paper
Co-stationarity of the ground model Journal of Symbolic Logic	2006-11-29	Paper
Hyperfine structure theory and gap 1 morasses Journal of Symbolic Logic	2006-08-03	Paper
GENERICITY AND LARGE CARDINALS Journal of Mathematical Logic	2006-04-06	Paper
A characterisation of 0^{#} in terms of forcing Proceedings of the American Mathematical Society	2006-03-08	Paper
Definability degrees Mathematical Logic Quarterly	2005-09-26	Paper
Generic Σ₃¹ absoluteness Journal of Symbolic Logic	2005-08-29	Paper
scientific article; zbMATH DE number 2152228 (Why is no real title available?)	2005-04-04	Paper
Cardinal-preserving extensions Journal of Symbolic Logic	2005-02-09	Paper
Universally Baire sets and definable well-orderings of the reals Journal of Symbolic Logic	2005-02-09	Paper
Classification theory and 0^# Journal of Symbolic Logic	2005-02-09	Paper
0^# and inner models Journal of Symbolic Logic	2003-06-13	Paper
Cantor's set theory from a modern point of view Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)	2003-03-13	Paper
Generic absoluteness Annals of Pure and Applied Logic	2002-10-07	Paper
Fine structure and class forcing De Gruyter Series in Logic and Its Applications	2000-08-20	Paper
scientific article; zbMATH DE number 1390271 (Why is no real title available?)	2000-04-03	Paper
scientific article; zbMATH DE number 1302489 (Why is no real title available?)	1999-11-29	Paper
New $\Sigma ^1_3$ facts Proceedings of the American Mathematical Society	1999-10-28	Paper
Generic saturation Journal of Symbolic Logic	1999-02-04	Paper
An Elementary Approach to the Fine Structure of L The Bulletin of Symbolic Logic	1998-10-01	Paper
Coding without fine structure Journal of Symbolic Logic	1998-07-08	Paper
$\Delta_ 1$-definability Annals of Pure and Applied Logic	1998-05-29	Paper
Condensation and large cardinals Fundamenta Mathematicae	1998-05-06	Paper
Nonstandard models and analytic equivalence relations Proceedings of the American Mathematical Society	1997-05-13	Paper
\undertilde{𝛿}₂¹ without sharps Proceedings of the American Mathematical Society	1996-09-15	Paper
Provable Π 1 2 -Singletons Proceedings of the American Mathematical Society	1996-07-01	Paper
Iterated class forcing Mathematical Research Letters	1995-11-16	Paper
A simpler proof of Jensen's coding theorem Annals of Pure and Applied Logic	1994-11-27	Paper
Jensen's Σ* theory and the combinatorial content of V = L Journal of Symbolic Logic	1994-11-27	Paper
A Large \Prod 1 2 Set, Absolute for Set Forcings Proceedings of the American Mathematical Society	1994-11-10	Paper
The genericity conjecture Journal of Symbolic Logic	1994-08-15	Paper
Minimal universes Advances in Mathematics	1994-07-26	Paper
The Π 1 2 -Singleton Conjecture Journal of the American Mathematical Society	1990-01-01	Paper
Minimal coding Annals of Pure and Applied Logic	1989-01-01	Paper
Coding over a measurable cardinal Journal of Symbolic Logic	1989-01-01	Paper
scientific article; zbMATH DE number 4106829 (Why is no real title available?)	1989-01-01	Paper
Strong coding Annals of Pure and Applied Logic	1987-01-01	Paper
A guide to ``Strong coding Annals of Pure and Applied Logic	1987-01-01	Paper
scientific article; zbMATH DE number 4057499 (Why is no real title available?)	1986-01-01	Paper
A guide to “Coding the universe” by Beller, Jensen, Welch Journal of Symbolic Logic	1985-01-01	Paper
scientific article; zbMATH DE number 3963817 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3914314 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3902644 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3878917 (Why is no real title available?)	1984-01-01	Paper
Model theory for $L_{\infty \omega _ 1}$ Annals of Pure and Applied Logic	1984-01-01	Paper
Tall α-Recursive Structures Proceedings of the American Mathematical Society	1983-01-01	Paper
Some recent developments in higher recursion theory Journal of Symbolic Logic	1983-01-01	Paper
Uncountable Admissibles I: Forcing Transactions of the American Mathematical Society	1982-01-01	Paper
Steel forcing and barwise compactness Annals of Mathematical Logic	1982-01-01	Paper
scientific article; zbMATH DE number 3813606 (Why is no real title available?)	1982-01-01	Paper
Negative solutions to Post's problem. II Annals of Mathematics. Second Series	1981-01-01	Paper
scientific article; zbMATH DE number 3737651 (Why is no real title available?)	1981-01-01	Paper
Uncountable admissibles. II: Compactness Israel Journal of Mathematics	1981-01-01	Paper
Post's problem without admissibility Advances in Mathematics	1980-01-01	Paper
β-Recursion Theory Transactions of the American Mathematical Society	1979-01-01	Paper
HC of an admissible set Journal of Symbolic Logic	1979-01-01	Paper
Inadmissible recursion theory Bulletin of the American Mathematical Society	1977-01-01	Paper
Provable Pi-1-2 Singletons	N/A	Paper
A large Pi-1-2 set absolute for set forcing	N/A	Paper
Delta-1-2 Without Sharps	N/A	Paper

Research outcomes over time

This page was built for person: Sy-David Friedman