| Property |
Value |
| dbo:abstract
|
- Sy David Friedman (né le 23 mai 1953 à Chicago) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie des ensembles. Friedman étudie à l'université Northwestern et à partir de 1970 au Massachusetts Institute of Technology (MIT), où il obtient en 1976 un Ph. D. sous la direction de Gerald E. Sacks (titre de la thèse : « Recursion on Inadmissible Ordinals »). En 1979 il rejoint le corps enseignant du MIT ; à partir de 1990 il y est professeur titulaire. Depuis 1999 il est professeur de logique mathématique à l’université de Vienne et directeur du Kurt Gödel Forschungszentrums de logique mathématique à cette université. Sy Friedman travaille en théorie de la récursion, théorie axiomatique des ensembles (en relation avec la théorie des modèles) et théorie descriptive des ensembles. Un projet phare du centre est le Hyperuniverse Programme. Sy Friedman est le frère de Harvey Friedman, également mathématicien logicien. (fr)
- Sy David Friedman (né le 23 mai 1953 à Chicago) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie des ensembles. Friedman étudie à l'université Northwestern et à partir de 1970 au Massachusetts Institute of Technology (MIT), où il obtient en 1976 un Ph. D. sous la direction de Gerald E. Sacks (titre de la thèse : « Recursion on Inadmissible Ordinals »). En 1979 il rejoint le corps enseignant du MIT ; à partir de 1990 il y est professeur titulaire. Depuis 1999 il est professeur de logique mathématique à l’université de Vienne et directeur du Kurt Gödel Forschungszentrums de logique mathématique à cette université. Sy Friedman travaille en théorie de la récursion, théorie axiomatique des ensembles (en relation avec la théorie des modèles) et théorie descriptive des ensembles. Un projet phare du centre est le Hyperuniverse Programme. Sy Friedman est le frère de Harvey Friedman, également mathématicien logicien. (fr)
|
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3770 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1981 (xsd:integer)
- 1985 (xsd:integer)
- 1990 (xsd:integer)
- 2000 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
|
| prop-fr:auteur
|
- Sy D. Friedman (fr)
- Sy D. Friedman (fr)
|
| prop-fr:collection
|
- de Gruyter Series in Logic and its Applications (fr)
- de Gruyter Series in Logic and its Applications (fr)
|
| prop-fr:doi
|
- 10.109000 (xsd:double)
- 10.114200 (xsd:double)
- 10.230700 (xsd:double)
|
| prop-fr:isbn
| |
| prop-fr:journal
| |
| prop-fr:jstor
|
- 1971132 (xsd:integer)
- 2273986 (xsd:integer)
|
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Friedman (fr)
- Friedman (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
|
- 25 (xsd:integer)
- 93 (xsd:integer)
- 149 (xsd:integer)
- 591 (xsd:integer)
- 771 (xsd:integer)
- 1002 (xsd:integer)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
| |
| prop-fr:series
|
- Second Series (fr)
- Second Series (fr)
|
| prop-fr:titre
|
- Fine structure and class forcing (fr)
- Genericity and large cardinals (fr)
- Large Cardinals and L-like universes (fr)
- Negative solutions to Post's problem. II (fr)
- The -singleton conjecture (fr)
- Internal consistency and the inner model hypothesis (fr)
- A guide to "Coding the Universe" by Beller, Jensen, Welch (fr)
- Fine structure and class forcing (fr)
- Genericity and large cardinals (fr)
- Large Cardinals and L-like universes (fr)
- Negative solutions to Post's problem. II (fr)
- The -singleton conjecture (fr)
- Internal consistency and the inner model hypothesis (fr)
- A guide to "Coding the Universe" by Beller, Jensen, Welch (fr)
|
| prop-fr:volume
|
- 3 (xsd:integer)
- 5 (xsd:integer)
- 12 (xsd:integer)
- 17 (xsd:integer)
- 50 (xsd:integer)
- 113 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Sy David Friedman (né le 23 mai 1953 à Chicago) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie des ensembles. Friedman étudie à l'université Northwestern et à partir de 1970 au Massachusetts Institute of Technology (MIT), où il obtient en 1976 un Ph. D. sous la direction de Gerald E. Sacks (titre de la thèse : « Recursion on Inadmissible Ordinals »). En 1979 il rejoint le corps enseignant du MIT ; à partir de 1990 il y est professeur titulaire. Depuis 1999 il est professeur de logique mathématique à l’université de Vienne et directeur du Kurt Gödel Forschungszentrums de logique mathématique à cette université. (fr)
- Sy David Friedman (né le 23 mai 1953 à Chicago) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie des ensembles. Friedman étudie à l'université Northwestern et à partir de 1970 au Massachusetts Institute of Technology (MIT), où il obtient en 1976 un Ph. D. sous la direction de Gerald E. Sacks (titre de la thèse : « Recursion on Inadmissible Ordinals »). En 1979 il rejoint le corps enseignant du MIT ; à partir de 1990 il y est professeur titulaire. Depuis 1999 il est professeur de logique mathématique à l’université de Vienne et directeur du Kurt Gödel Forschungszentrums de logique mathématique à cette université. (fr)
|
| rdfs:label
|
- Sy David Friedman (fr)
- Sy Friedman (en)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |