Sy Friedman

Q: What Schools Are Affiliated With Sy Friedman

Sy Friedman is affiliated with the following schools: Massachusetts Institute of Technology, University of Vienna

Sy Friedman's AcademicInfluence.com Rankings

Sy Friedman

Mathematics

#3332

World Rank

#4938

Historical Rank

#1244

USA Rank

Measure Theory

#3133

World Rank

#3716

Historical Rank

#911

USA Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Sy Friedman Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Sy-David Friedman is an American and Austrian mathematician and a professor of mathematics at the University of Vienna and the former director of the Kurt Gödel Research Center for Mathematical Logic. His main research interest lies in mathematical logic, in particular in set theory and recursion theory.

(See a Problem?)

Sy Friedman's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Fine Structure and Class Forcing (2000) (116)
Generalized Descriptive Set Theory and Classification Theory (2012) (80)
THE EIGHTFOLD WAY (2018) (65)
Isomorphism relations on computable structures (2012) (60)
Internal Consistency and the Inner Model Hypothesis (2006) (47)
The number of normal measures (2009) (41)
Perfect trees and elementary embeddings (2008) (37)
The hyperuniverse program (2013) (37)
Large cardinals and $L$-like universes (2005) (35)
Forcing with Finite Conditions (2006) (32)
Easton's theorem and large cardinals (2008) (32)
Tameness in expansions of the real field (2016) (29)
Negative Solutions to Post's Problem, II (1981) (28)
Analytic equivalence relations and bi-embeddability (2011) (28)
Three red herrings around Vaught’s conjecture (2015) (28)
Homogeneous iteration and measure one covering relative to HOD (2008) (27)
Cardinal characteristics and projective wellorders (2010) (27)
The effective theory of Borel equivalence relations (2009) (27)
Multiverse conceptions in set theory (2015) (26)
Projective wellorders and mad families with large continuum (2011) (26)
Equivalence Relations on Classes of Computable Structures (2009) (25)
Cardinal characteristics at κ in a small u(κ) model (2015) (25)
On the consistency strength of the inner model hypothesis (2007) (24)
Regularity properties on the generalized reals (2014) (24)
A model of second-order arithmetic satisfying AC but not DC (2018) (23)
Generic absoluteness (2001) (23)
Measurable cardinals and the cofinality of the symmetric group (2010) (22)
Cichoń’s diagram for uncountable cardinals (2016) (21)
On Σ11 equivalence relations over the natural numbers (2012) (21)
Rank-into-rank hypotheses and the failure of GCH (2014) (20)
COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS (2016) (19)
An Elementary Approach to the Fine Structure of L (1997) (19)
Negative Solutions to Post's Problem, I (1978) (19)
Foundational implications of the Inner Model Hypothesis (2012) (18)
Condensation and large cardinals (2011) (18)
The consistency strength of the tree property at the double successor of a measurable cardina (2010) (18)
Projective mad families (2010) (17)
Inadmissible recursion theory (1977) (17)
Large cardinals and locally defined well-orders of the universe (2009) (17)
On strong forms of reflection in set theory (2016) (16)
The tree property at ℵω+2 (2011) (16)
Large cardinals and gap-1 morasses (2008) (16)
Hypermachines (2011) (15)
SAFE RECURSIVE SET FUNCTIONS (2015) (15)
HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY (2015) (15)
Slow consistency (2013) (14)
Fusion and large cardinal preservation (2013) (14)
Thin stationary sets and disjoint club sequences (2006) (14)
On the Set-Generic Multiverse (2016) (14)
Strong isomorphism reductions in complexity theory (2011) (13)
Large cardinals need not be large in HOD (2014) (12)
Evidence for Set-theoretic Truth and the Hyperuniverse Programme (2016) (12)
β-Recursion Theory (1979) (12)
Recursion on inadmissible ordinals (1976) (12)
Uncountable admissibles II: Compactness (1981) (12)
$\beta $-recursion theory (1979) (11)
Uncountable admissibles. I. Forcing (1982) (11)
A null ideal for inaccessibles (2017) (11)
Constructibility and Class Forcing (2010) (11)
Post's problem without admissibility (1980) (11)
Collapsing the cardinals of HOD (2015) (10)
Ordinal definable subsets of singular cardinals (2018) (10)
UNIVERSISM AND EXTENSIONS OF V (2017) (10)
Equivalence Relations That Are Σ03 Complete for Computable Reducibility - (Extended Abstract) (2012) (10)
The internal consistency of Easton's theorem (2008) (10)
Subcompact cardinals, squares, and stationary reflection (2011) (9)
An immune partition of the ordinals (1985) (9)
Cardinal characteristics, projective wellorders and large continuum (2013) (9)
The Π 1 2 -Singleton Conjecture (1990) (9)
A definable failure of the singular cardinal hypothesis (2012) (9)
The tree property at the א2n's and the failure of SCH at אω (2015) (8)
A quasi-lower bound on the consistency strength of PFA (2014) (8)
The Hyperuniverse Project and Maximality (2018) (8)
The model theory of compact complex spaces (2016) (8)
□ on the singular cardinals (2008) (8)
Maximality and ontology: how axiom content varies across philosophical frameworks (2017) (8)
Co-analytic mad families and definable wellorders (2013) (8)
Supercompactness and failures of GCH (2012) (8)
Nonstandard models and analytic equivalence relations (1997) (8)
Parameter-free uniformisation (2008) (7)
The tree property at the double successor of a singular cardinal with a larger gap (2018) (7)
An inner model for global domination (2009) (7)
Projective maximal families of orthogonal measures with large continuum (2011) (7)
Two observations regarding infinite time Turing machines (2011) (7)
Internal consistency and global co-stationarity of the ground model (2008) (7)
On Borel Reducibility in Generalised Baire Space (2014) (7)
Steel forcing and barwise compactness (1982) (7)
The stable core (2012) (7)
Co-stationarity of the ground model (2006) (7)
BPFA and projective well-orderings of the reals (2011) (7)
Coding over a measurable cardinal (1989) (7)
Internal consistency for embedding complexity (2008) (6)
Cardinal-preserving extensions (2003) (6)
Bpfa and inner models (2011) (6)
The Search for New Axioms in the Hyperuniverse Programme (2016) (6)
DEFINABILITY OF SATISFACTION IN OUTER MODELS (2016) (6)
Projective Measure Without Projective Baire (2014) (6)
The Π¹₂-singleton conjecture (1990) (6)
An Introduction to the Admissibility Spectrum (1986) (6)
Boolean-valued class forcing (2021) (5)
$\Delta _1$-Definability of the non-stationary ideal at successor cardinals (2015) (5)
Measure, category and projective wellorders (2015) (5)
On Borel equivalence relations in generalized Baire space (2012) (5)
Generic Σ31 absoluteness (2004) (5)
Global Complexity Results (2007) (5)
MUTUAL STATIONARITY IN THE CORE MODEL (2005) (5)
Compactness and incompactness phenomena in set theory (2016) (5)
Cobham recursive set functions (2016) (5)
The tree property at the double successor of a measurable cardinal $\kappa $ with $2^{\kappa} $ large (2013) (5)
A Simpler proof of Jensen's Coding Theorem (1992) (5)
Classes of structures with universe a subset of ω1 (2013) (5)
Stable Axioms of Set Theory (2006) (5)
Classification theory and 0# (2003) (5)
Definable well-orders of H(ω2) and GCH (2012) (4)
Genericity and Large Cardinals (2005) (4)
Large cardinals and definable well-orders, without the GCH (2015) (4)
Killing The GCH Everywhere with a Single Real (2013) (4)
Generic Σ 1 3 Absoluteness (2003) (4)
Class Forcing (4)
“Natural” representations and extensions of Gödel's second theorem 350 (2016) (4)
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory (2016) (4)
Consistency of the Silver dichotomy in generalised Baire space (2014) (4)
Hyperfine structure theory and gap 1 morasses (2006) (4)
Minimal Coding (1989) (4)
0# and inner models (2002) (4)
Strong coding (1987) (4)
The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω (2013) (4)
Cichoń’s diagram, regularity properties and $${\varvec{\Delta}^1_3}$$Δ31 sets of reals (2014) (4)
BOUNDED FORCING AXIOMS AND BAUMGARTNER'S CONJECTURE (2011) (3)
Some natural equivalence relations in the Solovay model (2008) (3)
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH (2015) (3)
Generic saturation (1996) (3)
Iterated Class Forcing (1993) (3)
Review: James E. Baumgartner, On the Size of Closed Unbounded Sets (2001) (3)
An Introduction to β-Recursion Theory (1978) (3)
The genericity conjecture (1992) (3)
New Sigma^1_3 facts (1997) (3)
Some recent developments in higher recursion theory (1983) (3)
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$α-recursion theory (2016) (3)
LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH (2015) (3)
FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE (2014) (3)
An introduction to proofs of determinacy of long games (2016) (3)
MULTIVERSE CONCEPTIONS AND THE HYPERUNIVERSE PROGRAMME (2013) (3)
Tall -recursive structures (1983) (3)
The tree property at both ℵω+1and ℵω+2 (2015) (3)
The Turing Degrees and the Metadegrees have Isomorphic Cones (1982) (2)
Cichoń’s diagram for uncountable cardinals (2018) (2)
Easton's theorem and large cardinals from the optimal hypothesis (2012) (2)
Choice and uniformity in weak applicative theories (2016) (2)
Degree theory on alephω (1983) (2)
Delta 1 -Definability. (1997) (2)
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE (2018) (2)
David's trick (1997) (2)
On the structure of planetary nebulae. (1975) (2)
Some results on PA-provably recursive functions (2013) (2)
THE TREE PROPERTY AT ω2 AND BOUNDED FORCING AXIOMS (2014) (2)
HC of an admissible set (1979) (2)
The Σ* approach to the fine structure of L (2000) (2)
A large $\Pi\sp 1\sb 2$ set, absolute for set forcings (1994) (2)
Independence of higher Kurepa hypotheses (2012) (2)
BPFA and Inner Models( Mathematical Logic and Its Applications) (2011) (2)
A guide to "strong coding" (1987) (2)
Universally Baire sets and definable well-orderings of the reals (2003) (2)
On Absoluteness of Categoricity in Abstract Elementary Classes (2011) (2)
The Scott rank of Polish metric spaces (2019) (2)
A guide to “Coding the universe” by Beller, Jensen, Welch (1985) (2)
The enriched stable core and the relative rigidity of HOD (2016) (2)
Strict Genericity (1995) (2)
Provable recursiveness and complexity (2005) (2)
Jensen's Σ* theory and the combinatorial content of V = L (1994) (2)
Coding without fine structure (1995) (1)
Forcing, Combinatorics and Definability (Combinatorial set theory and forcing theory) (2010) (1)
A large Pi-1-2 set absolute for set forcing (1992) (1)
Definable maximal cofinitary groups (2016) (1)
A characterisation of 0^{#} in terms of forcing (2006) (1)
Set Theory and Structures (2019) (1)
Explaining Maximality Through the Hyperuniverse Programme (2018) (1)
The tree property at $\aleph _{\omega +2}$ with a finite gap (2020) (1)
Resolution theorem proving: a logical point of view (2005) (1)
\undertilde₂¹ without sharps (1996) (1)
Ordinal Recursion Theory (1996) (1)
The limit theory of generic polynomials (2005) (1)
Negative universality results for graphs (2010) (1)
The completeness of isomorphism (2014) (1)
Baumgartner's conjecture and bounded forcing axioms (2013) (1)
Countabilism and Maximality Principles (2021) (1)
Provable Pi-1-2 Singletons (1993) (1)
The Tree Property at $\omega _2$ and Bounded Forcing Axioms (2015) (1)
Cantor’s Set Theory from a Modern Point of View (2011) (1)
Mutually embeddable models of ZFC (2021) (1)
Forcing, Combinatorics and Definability (2010) (1)
Easton functions and supercompactness (2013) (1)
A LARGE n^ SET, ABSOLUTE FOR SET FORCINGS (1992) (1)
Coding over Core Models (2022) (1)
Introduction to Synthese Special Issue on the Foundations of Mathematics (2020) (0)
Effective Hausdorff dimension (2016) (0)
Definability degrees (2005) (0)
ISOMORPHISM ON HYP (2016) (0)
Review: Hans-Dieter Donder, Peter Koepke, On the Consistency Strength of `Accessible' Jonsson Cardinals and of the Weak Chang Conjecture; Peter Koepke, Some Applications of Short Core Models (1989) (0)
Definable maximal cofinitary groups of intermediate size (2019) (0)
On the complexity of classes of uncountable structures: trees on $\aleph _1$ (2019) (0)
Incompleteness theoremand its frontier (2016) (0)
Some Open Problems (2000) (0)
Forcing when there are large cardinals: an introduction (2009) (0)
Equivalence Relations in Set Theory, Computation Theory, Model Theory and Complexity Theory (2011) (0)
Sequences of degrees associated with models of arithmetic (2005) (0)
Chapter 2. Forcing (2000) (0)
Chapter 5. The Genericity Problem (2000) (0)
A null ideal for inaccessibles (2017) (0)
Maximality and ontology: how axiom content varies across philosophical frameworks (2017) (0)
Generic Sigma13 absoluteness (2004) (0)
Easton supported Jensen coding and projective measure without projective Baire (2014) (0)
The pair (Nn, N0) may fail N0-compactness (2016) (0)
Chapter 3. Construction of Generic Classes (2000) (0)
THE HYPERUNIVERSE PROGRAM: MATHEMATICAL AND PHILOSOPHICAL ASPECTS (2013) (0)
On [summation of 1 raised to the power 1] equivalence relations over the natural numbers (2011) (0)
Ordinal definable subsets of singular cardinals (2018) (0)
Δ 1 -Definability (1997) (0)
Rank-into-rank hypotheses and the failure of GCH (2014) (0)
Small-Scale Structure in the ISM (2001) (0)
Potential isomorphism of elementary substructures of a strictly stable homogeneous model (2011) (0)
Sets and Computations (2017) (0)
Maximality Principles in the Hyperuniverse Programme (2020) (0)
L O ] 3 0 A ug 2 01 8 GENERIC CODING WITH HELP AND AMALGAMATION FAILURE (2018) (0)
L O ] 1 9 Ju l 2 01 8 Universism and Extensions of V (2019) (0)
Forcings which preserve large cardinals (2010) (0)
Introduction to special issue on the foundations of mathematics (2020) (0)
Delta1-Definability (1997) (0)
Projective Singletons (2002) (0)
Potential Isomorphism of Elementary Substructures of a Homogeneous Model (2010) (0)
STRUCTURAL PROPERTIES OF THE STABLE CORE (2019) (0)
Cobham Recursive Set Functions Submitted to Annals of Pure and Applied Logic (2015) (0)
Internal consistency and the inner model hypothesis (Budapest lecture, August 2005) (2005) (0)
Baumgartner James E.. On the size of closed unbounded sets. Annals of pure and applied logic , vol. 54 (1991), pp. 195–227. (2001) (0)
Classi ation theory and 0 # (2001) (0)
Review: A. Beller, R. Jensen, P. Welch, Coding the Universe (1985) (0)
Definability of satisfaction in outer models1 (2016) (0)
Without Sharps (1995) (0)
1996–97 Annual Meeting of the Association for Symbolic Logic (1997) (0)
Fragments of Kripke–Platek set theory and the metamathematics of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alp (2016) (0)
Definable normal measures (2015) (0)
REVIEWS-On the size of closed unbounded sets (2001) (0)
The $\Pi\sp 1\sb 2$-singleton conjecture (1990) (0)
Patterns of stationary reflection (2022) (0)
Delta-1-2 Without Sharps (1995) (0)
Provable Π¹₂-singletons (1995) (0)
Completeness and Iteration in Modern Set Theory (2011) (0)
Introduction (2019) (0)
Logic Colloquium '01 : Lecture Notes In Logic, 20 (2005) (0)
The tree property at (2010) (0)
Model theory for L∞ω1 (1984) (0)
Meeting of the Association for Symbolic Logic, New York, 1979 (1981) (0)
The strength of the Inner Model Hypothesis (2007) (0)
Chapter 7. The Admissibility Spectrum Problem (2000) (0)
Good projective witnesses (2019) (0)
Feasible set functions have small circuits (2019) (0)
Provable $\Pi\sp 1\sb 2$-singletons (1995) (0)
Projective wellorders and maximal families of orthogonal measures with large continuum (2011) (0)
Cardinal characteristics at {\kappa} in a small u(\kappa) model (2015) (0)
A ${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${\rm{NS}}_{\omega _1 } $ SATURATED (2019) (0)
On absoluteness of categoricity in AEC’s (2009) (0)
Subcompact cardinals, squares, and stationary reflection (2013) (0)
On Borel equivalence relations in generalized Baire space (2012) (0)
Minimal universes (1992) (0)
On the Consistency Strength of `Accessible' Jonsson Cardinals and of the Weak Chang Conjecture.@@@Some Applications of Short Core Models. (1989) (0)
New $\Sigma^1 (1999) (0)
Criteria for the Choice of New Axioms (2011) (0)
Chapter 4. The Coding Theorem (2000) (0)
1 Problems and results 1 . 1 Problems related to Vaught ’ s Conjecture (2012) (0)
Jensen's Sigma* Theory and the Combinatorial Content of V=L (1992) (0)
A WELLORDER OF THE REALS WITH SATURATED (2019) (0)
Co-analytic mad families and definable wellorders (2013) (0)
Independence of higher Kurepa hypotheses (2012) (0)
Chapter 8. Further Applications of Class Forcing (2000) (0)
EMBEDDINGS INTO OUTER MODELS (2019) (0)
Chapter 6. The Π½-Singleton Problem (2000) (0)
Annual Meeting of the Association for Symbolic Logic (1984) (0)
Beller A., Jensen R., and Welch P.. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp. (1985) (0)
to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a union L=⋃ (1997) (0)
A definable failure of the singular cardinal hypothesis (2012) (0)
Kurt Gödel: Generalisations of Gödel's universe of constructible sets (2010) (0)
Capturing the Universe (2020) (0)
Association for Symbolic Logic (1991) (0)
Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 (2016) (0)
MODEL THEORY FOR L,,* (2001) (0)
Multiverse conceptions in set theory (2015) (0)

This paper list is powered by the following services:

Other Resources About Sy Friedman

en.wikipedia.org

What Schools Are Affiliated With Sy Friedman?

Sy Friedman is affiliated with the following schools:

Sy Friedman's Academic­Influence.com Rankings