This HTML5 document contains 165 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n29http://isni.org/isni/
n34http://data.bnf.fr/ark:/12148/cb14469015v#
n30https://zbmath.org/authors/?q=ai:
dbrhttp://dbpedia.org/resource/
n13http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n39http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n24http://viaf.org/viaf/
schemahttp://schema.org/
n35http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n31http://g.co/kg/m/
n7https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n21http://genealogy.math.ndsu.nodak.edu/
n27http://philpapers.org/profile/
n16http://www.logic.univie.ac.at/~sdf/
n8https://dblp.org/pid/42/
n17https://id.loc.gov/authorities/names/
n15http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n10https://books.google.com/
dbpedia-pthttp://pt.dbpedia.org/resource/
n38http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n22http://aut.nkp.cz/
n19https://commons.wikimedia.org/wiki/Category:
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n28http://arz.dbpedia.org/resource/
n36http://www.idref.fr/082607753/
n9https://data.bibliotheken.nl/doc/thes/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Sy_David_Friedman
rdf:type
dbo:Eukaryote schema:Person dbo:Person dbo:Species foaf:Person owl:Thing wikidata:Q215627 wikidata:Q19088 wikidata:Q729 wikidata:Q5 dbo:Animal n39:NaturalPerson
rdfs:label
Sy Friedman Sy David Friedman
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é.
rdfs:seeAlso
n19:Sy_David_Friedman n21:id.php?id=62291 n22:mub2015858086 n27:sy-david-friedman n29:0000_0001_1442_9666 n30:friedman.sy-david
owl:sameAs
n7:122113950 n8:4806 n9:p241390729 n17:n00001108 dbpedia-ar:سي_فريدمان dbr:Sy_Friedman n24:44524944 wikidata:Q700374 dbpedia-de:Sy_Friedman n28:سى_فريدمان n31:043kzkl dbpedia-pt:Sy_Friedman n34:about n36:id n38:Sy_David_Friedman
dbo:birthPlace
dbpedia-fr:Chicago
dbo:wikiPageID
11646266
dbo:wikiPageRevisionID
180494873
dbo:wikiPageWikiLink
dbpedia-fr:Doctorat dbpedia-fr:Massachusetts_Institute_of_Technology dbpedia-fr:Annals_of_Mathematics dbpedia-fr:Walter_de_Gruyter n15:Friedman_Woodin_Magidor.jpg category-fr:Naissance_à_Chicago dbpedia-fr:Théorie_des_modèles category-fr:Professeur_au_Massachusetts_Institute_of_Technology dbpedia-fr:Harvey_Friedman dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Journal_of_the_American_Mathematical_Society dbpedia-fr:Théorie_de_la_calculabilité category-fr:Naissance_en_mai_1953 dbpedia-fr:Logique_mathématique dbpedia-fr:Gerald_E._Sacks dbpedia-fr:Chicago category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle dbpedia-fr:Théorie_descriptive_des_ensembles category-fr:Personnalité_en_théorie_des_ensembles dbpedia-fr:Université_Northwestern dbpedia-fr:Journal_of_Symbolic_Logic dbpedia-fr:Université_de_Vienne
dbo:wikiPageExternalLink
n10:books%3Fid=gma7x3h4vOUC&printsec=frontcover n16: n16:chiemsee.pdf
dbo:wikiPageLength
3770
dct:subject
category-fr:Personnalité_en_théorie_des_ensembles category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_à_Chicago category-fr:Naissance_en_mai_1953 category-fr:Professeur_au_Massachusetts_Institute_of_Technology
prop-fr:wikiPageUsesTemplate
n13:Ouvrage n13:Date- n13:DNB n13:Citation_étrangère n13:Autorité n13:Références n13:Article n13:Portail n13:Infobox_Biographie2 n13:Homonyme
prov:wasDerivedFrom
wikipedia-fr:Sy_David_Friedman?oldid=180494873&ns=0
foaf:depiction
n35:Friedman_Woodin_Magidor.jpg
prop-fr:année
1990 1985 2006 2007 2005 2000 1981
prop-fr:auteur
Sy D. Friedman
prop-fr:collection
de Gruyter Series in Logic and its Applications
prop-fr:doi
10.1142 10.2307 10.109
prop-fr:isbn
3
prop-fr:journal
Quaderni di Matematica dbpedia-fr:Annals_of_Mathematics dbpedia-fr:Journal_of_the_American_Mathematical_Society dbpedia-fr:Journal_of_Symbolic_Logic Journal of Symbolic Logic Bull. Symbolic Logic
prop-fr:langue
en
prop-fr:lieu
Berlin
prop-fr:lireEnLigne
n10:books%3Fid=gma7x3h4vOUC&printsec=frontcover
prop-fr:nom
Friedman
prop-fr:numéro
4 2 1
prop-fr:pages
771 149 25 591 1002 93
prop-fr:pagesTotales
221
prop-fr:prénom
Sy D.
prop-fr:titre
The -singleton conjecture Large Cardinals and L-like universes Internal consistency and the inner model hypothesis Negative solutions to Post's problem. II Fine structure and class forcing A guide to "Coding the Universe" by Beller, Jensen, Welch Genericity and large cardinals
prop-fr:volume
50 17 5 3 12 113
prop-fr:éditeur
dbpedia-fr:Walter_de_Gruyter
prop-fr:jstor
2273986 1971132
prop-fr:numéroDansCollection
3
prop-fr:series
Second Series
dbo:thumbnail
n35:Friedman_Woodin_Magidor.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Sy_David_Friedman
dbo:employer
dbpedia-fr:Massachusetts_Institute_of_Technology dbpedia-fr:Université_de_Vienne
dbo:doctoralStudent
wikidata:Q102266541 wikidata:Q102374662 wikidata:Q102684319 wikidata:Q102684331 wikidata:Q102239253 wikidata:Q102239249 wikidata:Q102239252 wikidata:Q102239240 wikidata:Q102239245 wikidata:Q102239236 wikidata:Q102730878 wikidata:Q102372699 wikidata:Q102349123 wikidata:Q102349124 wikidata:Q102349122 wikidata:Q102420622 wikidata:Q102401131 wikidata:Q102401134
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.
dbo:citizenship
dbpedia-fr:États-Unis
dbo:occupation
wikidata:Q1622272 dbpedia-fr:Mathématicien
dbo:discipline
dbpedia-fr:Théorie_des_ensembles
dbo:almaMater
dbpedia-fr:Massachusetts_Institute_of_Technology
dbo:doctoralAdvisor
dbpedia-fr:Gerald_E._Sacks