Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Angus_Macintyre> ?p ?o. }
Showing items 1 to 86 of
86
with 100 items per page.
- Angus_Macintyre abstract "Angus John Macintyre FRS, FRSE (born 1941) is a British mathematician and logician and Professor of Mathematics at the Queen Mary, University of London. He is known for many fundamental and widely influential contributions to Model theory, logic and their applications in algebra, algebraic geometry, and number theory.After undergraduate studies in Cambridge University, he completed his PhD at Stanford University under the supervision of Dana Scott in 1968. From 1973 to 1985, he was Professor of Mathematics at Yale University. From 1985 to 1999, he was Professor of Mathematical Logic at the University of Oxford and Merton College, Oxford. He then moved to the University of Edinburgh until 2002, after which he moved to Queen Mary. Macintyre was the first Scientific Director of ICMS, the International Centre for Mathematical Sciences in Edinburgh. He was elected a Fellow of the Royal Society in 1993. In 2003, he was awarded the Pólya Prize by the London Mathematical Society. From 2009 to 2011, he served as the President of the London Mathematical Society. He has supervised a number of doctoral students who have become leaders in the field. His papers from 1971 on Aleph-one categorical theories of groups and fields have been influential in the development of geometric stability theory and his works on model theory of various structures related to algebra, geometry and number theory have been widely influential. His work in 1976 on quantifier elimination for p-adic fields created a theory of p-adic semi-algebraic geometry and has had applications to arithmetic geometry, including solution by Jan Denef to a conjecture of Jean-Pierre Serre on rationality of p-adic Poincare series.Macintyre's work with Zoe Chatzidakis and Lou van den Dries re-visited Ax's work on model theory of finite and pseudo-finite fields and generalized the Lang-Weil estimates (of Serge Lang and Andre Weil) over finite fields to definable sets. This has had applications to model theory of finite and asymptotic structures, simple theories and analytic number theory. His work with Alex Wilkie on decidability of real exponential fields solved a problem of Alfred Tarski modulo Schanuel's conjecture. His work with David Marker and Lou van den Dries gave model theory for restricted analytic functions and real exponentiation and O-minimality. Macintyre has worked on Zilber's theory of the complex exponentiation and Zilber's pseudo-exponential field. Macintyre's work with Jamshid Derakhshan develops a model theory for the adele ring of a number field.".
- Angus_Macintyre almaMater Stanford_University.
- Angus_Macintyre award P%C3%B3lya_Prize_(LMS).
- Angus_Macintyre doctoralAdvisor Dana_Scott.
- Angus_Macintyre viafId "118737816".
- Angus_Macintyre wikiPageExternalLink amacintyre.
- Angus_Macintyre wikiPageID "11551260".
- Angus_Macintyre wikiPageRevisionID "605757983".
- Angus_Macintyre almaMater Stanford_University.
- Angus_Macintyre awards Pólya_Prize_(LMS).
- Angus_Macintyre caption "Angus Macintyre in 2009".
- Angus_Macintyre doctoralAdvisor Dana_Scott.
- Angus_Macintyre hasPhotoCollection Angus_Macintyre.
- Angus_Macintyre imageSize "200".
- Angus_Macintyre name "Angus MacIntyre".
- Angus_Macintyre name "Macintyre, Angus".
- Angus_Macintyre shortDescription "British mathematician".
- Angus_Macintyre thesisTitle "Classifying Pairs of Real-Closed Fields".
- Angus_Macintyre thesisYear "1968".
- Angus_Macintyre workplaces Queen_Mary_University_of_London.
- Angus_Macintyre workplaces University_of_Oxford.
- Angus_Macintyre workplaces Yale_University.
- Angus_Macintyre description "British mathematician".
- Angus_Macintyre description "British mathematician".
- Angus_Macintyre subject Category:1941_births.
- Angus_Macintyre subject Category:Academics_of_Queen_Mary,_University_of_London.
- Angus_Macintyre subject Category:British_mathematicians.
- Angus_Macintyre subject Category:Fellows_of_the_Royal_Society.
- Angus_Macintyre subject Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Angus_Macintyre subject Category:Living_people.
- Angus_Macintyre subject Category:Model_theorists.
- Angus_Macintyre type Academician109759069.
- Angus_Macintyre type AcademicsOfQueenMary,UniversityOfLondon.
- Angus_Macintyre type Adult109605289.
- Angus_Macintyre type Associate109816771.
- Angus_Macintyre type BritishMathematicians.
- Angus_Macintyre type CausalAgent100007347.
- Angus_Macintyre type Colleague109935990.
- Angus_Macintyre type Educator110045713.
- Angus_Macintyre type FellowsOfTheRoyalSociety.
- Angus_Macintyre type Intellectual109621545.
- Angus_Macintyre type LivingPeople.
- Angus_Macintyre type LivingThing100004258.
- Angus_Macintyre type Mathematician110301261.
- Angus_Macintyre type ModelTheorists.
- Angus_Macintyre type Object100002684.
- Angus_Macintyre type Organism100004475.
- Angus_Macintyre type Peer109626238.
- Angus_Macintyre type Person100007846.
- Angus_Macintyre type PhysicalEntity100001930.
- Angus_Macintyre type Professional110480253.
- Angus_Macintyre type Scientist110560637.
- Angus_Macintyre type Theorist110706812.
- Angus_Macintyre type Whole100003553.
- Angus_Macintyre type YagoLegalActor.
- Angus_Macintyre type YagoLegalActorGeo.
- Angus_Macintyre type Agent.
- Angus_Macintyre type Person.
- Angus_Macintyre type Scientist.
- Angus_Macintyre type Person.
- Angus_Macintyre type Scientist.
- Angus_Macintyre type Q215627.
- Angus_Macintyre type Q5.
- Angus_Macintyre type Agent.
- Angus_Macintyre type NaturalPerson.
- Angus_Macintyre type Thing.
- Angus_Macintyre type Person.
- Angus_Macintyre comment "Angus John Macintyre FRS, FRSE (born 1941) is a British mathematician and logician and Professor of Mathematics at the Queen Mary, University of London. He is known for many fundamental and widely influential contributions to Model theory, logic and their applications in algebra, algebraic geometry, and number theory.After undergraduate studies in Cambridge University, he completed his PhD at Stanford University under the supervision of Dana Scott in 1968.".
- Angus_Macintyre label "Angus Macintyre".
- Angus_Macintyre label "Angus Macintyre".
- Angus_Macintyre label "Angus Macintyre".
- Angus_Macintyre label "Angus Macintyre".
- Angus_Macintyre sameAs Angus_Macintyre.
- Angus_Macintyre sameAs Angus_Macintyre.
- Angus_Macintyre sameAs Angus_Macintyre.
- Angus_Macintyre sameAs m.02rhtcw.
- Angus_Macintyre sameAs Q544512.
- Angus_Macintyre sameAs Q544512.
- Angus_Macintyre sameAs Angus_Macintyre.
- Angus_Macintyre wasDerivedFrom Angus_Macintyre?oldid=605757983.
- Angus_Macintyre givenName "Angus".
- Angus_Macintyre isPrimaryTopicOf Angus_Macintyre.
- Angus_Macintyre name "Angus MacIntyre".
- Angus_Macintyre name "Angus Macintyre".
- Angus_Macintyre name "Macintyre, Angus".
- Angus_Macintyre surname "Macintyre".