The following pages link to Sy-David Friedman (Q487690):
Displaying 50 items.
- (Q186018) (redirect page) (← links)
- (Q251974) (redirect page) (← links)
- Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model (Q331044) (← links)
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- Subcompact cardinals, squares, and stationary reflection (Q375792) (← links)
- Co-analytic mad families and definable wellorders (Q377480) (← links)
- Cardinal characteristics, projective wellorders and large continuum (Q385067) (← links)
- Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals (Q403412) (← links)
- On Borel equivalence relations in generalized Baire space (Q412067) (← links)
- Foundational implications of the inner model hypothesis (Q448331) (← links)
- Independence of higher Kurepa hypotheses (Q453189) (← links)
- Definable normal measures (Q466448) (← links)
- Large cardinals and definable well-orders, without the GCH (Q487691) (← links)
- Baumgartner's conjecture and bounded forcing axioms (Q490654) (← links)
- Fusion and large cardinal preservation (Q490663) (← links)
- Large cardinals need not be large in HOD (Q490870) (← links)
- Multiverse conceptions in set theory (Q510715) (← links)
- The effective theory of Borel equivalence relations (Q636325) (← links)
- Cardinal characteristics and projective wellorders (Q636333) (← links)
- Projective mad families (Q636390) (← links)
- Projective wellorders and mad families with large continuum (Q639683) (← links)
- On absoluteness of categoricity in abstract elementary classes (Q654012) (← links)
- Easton's theorem and large cardinals from the optimal hypothesis (Q714710) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Cobham recursive set functions (Q904151) (← links)
- Easton's theorem and large cardinals (Q932575) (← links)
- Homogeneous iteration and measure one covering relative to HOD (Q953279) (← links)
- The internal consistency of Easton's theorem (Q998312) (← links)
- Large cardinals and locally defined well-orders of the universe (Q1001908) (← links)
- Large cardinals and gap-1 morasses (Q1023049) (← links)
- Some natural equivalence relations in the Solovay model (Q1032510) (← links)
- Uncountable admissibles. II: Compactness (Q1055768) (← links)
- Strong coding (Q1096623) (← links)
- A guide to ``Strong coding'' (Q1096624) (← links)
- Minimal coding (Q1117220) (← links)
- Post's problem without admissibility (Q1148898) (← links)
- Negative solutions to Post's problem. II (Q1152361) (← links)
- Minimal universes (Q1328494) (← links)
- A simpler proof of Jensen's coding theorem (Q1338196) (← links)
- \(\Delta_ 1\)-definability (Q1377911) (← links)
- Fine structure and class forcing (Q1575116) (← links)
- Cichoń's diagram for uncountable cardinals (Q1650470) (← links)
- Ordinal definable subsets of singular cardinals (Q1659547) (← links)
- The tree property at the double successor of a singular cardinal with a larger gap (Q1709684) (← links)
- Cantor's set theory from a modern point of view (Q1857116) (← links)
- Iterated class forcing (Q1901668) (← links)
- Slow consistency (Q1935874) (← links)
- A definable failure of the singular cardinal hypothesis (Q1936814) (← links)
- The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) (Q1949163) (← links)
- Maximality and ontology: how axiom content varies across philosophical frameworks (Q2054121) (← links)
