Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Angus_Macintyre> ?p ?o }
- Angus_Macintyre abstract "Angus John Macintyre FRS, FRSE (born 1941) is a British mathematician and logician who has made 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, where he taught combined graduate and undergraduate courses in recursive function theory and philosophical foundations of mathematics. From 1985 to 1999, Professor of Mathematical Logic at the University of Oxford and Professorial Fellow of Merton College, Oxford. From 1999 until 2002, he was Professory of Mathematics at the University of Edinburgh.Since 2002, he has been Professor of Mathematics at Queen Mary.Macintyre was the first Scientific Director of the International Centre for Mathematical Sciences (ICMS) 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 was President of the London Mathematical Society (LMS).Macintyre's papers from 1971 on Aleph-one categorical theories of groups and fields created paradigms of research and new fields of study in model theory and its applications to areas of mathematics, and were also influential in the development of geometric stability theory. 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 was a major contribution to model theory of valued fields in continuation of works of James Ax and Simon Kochen and Paul Cohen, and has had celebrated applications to arithmetic geometry and motivic integration, including solution by Jan Denef to a conjecture of Jean-Pierre Serre on rationality of p-adic Poincaré series. These works have been of importance in the development and applications of the theory of integration on local fields and the theory of motivic integration by Jan Denef and Francois Loeser among others.Macintyre's work with Zoe Chatzidakis and Lou van den Dries developed the model theory of finite and pseudo-finite fields pioneered by James Ax, and generalized the Lang-Weil estimates (of Serge Lang and Andre Weil) over finite fields to definable sets. This result could find several applications, to name a few, model theory of finite and asymptotic structures, simple theories and in bounds for exponential sums in analytic number theory.Macintyre introduced the model theory of difference fields (which has become a widely studied subject) and proved the first model-theoretic results on these structures. He proved the first results on the model theory of Frobenius automorphisms. He gave a model theory for intersection theory and related it to Alexander Grothendieck's standard conjectures on algebraic cycles.Macintyre is one of the pioneers of the model theory of real and complex exponentiation. With Alex Wilkie he proved the decidability of real exponential fields (solving a problem of Alfred Tarski) modulo Schanuel's conjecture from transcendental number theory. With Lou van den Dries he initiated the model theory of logarithmic-exponential series and Hardy fields. His work with David Marker and Lou van den Dries gave fundamental results on the model theory of restricted analytic functions and exponentiation and O-minimality.Macintyre has worked on Zilber's theory of the complex exponentiation and Zilber's pseudo-exponential fields. Macintyre's work with Jamshid Derakhshan develops a model theory for the adele ring of a number field which is of importance in number theory. With Marek Karpinski, he proved decisive results on VC-dimension which has had applications to theoretical computer science and neural networks.".
- Angus_Macintyre almaMater Stanford_University.
- Angus_Macintyre almaMater University_of_Cambridge.
- Angus_Macintyre award Pólya_Prize_(LMS).
- Angus_Macintyre birthDate "1941".
- Angus_Macintyre birthYear "1941".
- Angus_Macintyre doctoralAdvisor Dana_Scott.
- Angus_Macintyre wikiPageExternalLink amacintyre.
- Angus_Macintyre wikiPageID "11551260".
- Angus_Macintyre wikiPageLength "6159".
- Angus_Macintyre wikiPageOutDegree "58".
- Angus_Macintyre wikiPageRevisionID "695634902".
- Angus_Macintyre wikiPageWikiLink Adele_ring.
- Angus_Macintyre wikiPageWikiLink Alex_Wilkie.
- Angus_Macintyre wikiPageWikiLink Alexander_Grothendieck.
- Angus_Macintyre wikiPageWikiLink Alfred_Tarski.
- Angus_Macintyre wikiPageWikiLink Algebra.
- Angus_Macintyre wikiPageWikiLink Algebraic_geometry.
- Angus_Macintyre wikiPageWikiLink Algebraic_number_field.
- Angus_Macintyre wikiPageWikiLink Analytic_number_theory.
- Angus_Macintyre wikiPageWikiLink André_Weil.
- Angus_Macintyre wikiPageWikiLink Categorical_theories.
- Angus_Macintyre wikiPageWikiLink Category:1941_births.
- Angus_Macintyre wikiPageWikiLink Category:20th-century_British_mathematicians.
- Angus_Macintyre wikiPageWikiLink Category:21st-century_British_mathematicians.
- Angus_Macintyre wikiPageWikiLink Category:Academics_of_Queen_Mary_University_of_London.
- Angus_Macintyre wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Angus_Macintyre wikiPageWikiLink Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Angus_Macintyre wikiPageWikiLink Category:Living_people.
- Angus_Macintyre wikiPageWikiLink Category:Model_theorists.
- Angus_Macintyre wikiPageWikiLink Dana_Scott.
- Angus_Macintyre wikiPageWikiLink François_Loeser.
- Angus_Macintyre wikiPageWikiLink Geometric_stability_theory.
- Angus_Macintyre wikiPageWikiLink International_Centre_for_Mathematical_Sciences.
- Angus_Macintyre wikiPageWikiLink James_Ax.
- Angus_Macintyre wikiPageWikiLink Jan_Denef.
- Angus_Macintyre wikiPageWikiLink Jean-Pierre_Serre.
- Angus_Macintyre wikiPageWikiLink Logic.
- Angus_Macintyre wikiPageWikiLink London_Mathematical_Society.
- Angus_Macintyre wikiPageWikiLink Mathematician.
- Angus_Macintyre wikiPageWikiLink Model_theory.
- Angus_Macintyre wikiPageWikiLink Number_theory.
- Angus_Macintyre wikiPageWikiLink O-minimal_theory.
- Angus_Macintyre wikiPageWikiLink Paul_Cohen.
- Angus_Macintyre wikiPageWikiLink Pólya_Prize_(LMS).
- Angus_Macintyre wikiPageWikiLink Quantifier_elimination.
- Angus_Macintyre wikiPageWikiLink Queen_Mary_University_of_London.
- Angus_Macintyre wikiPageWikiLink Royal_Society.
- Angus_Macintyre wikiPageWikiLink Royal_Society_of_Edinburgh.
- Angus_Macintyre wikiPageWikiLink Schanuels_conjecture.
- Angus_Macintyre wikiPageWikiLink Serge_Lang.
- Angus_Macintyre wikiPageWikiLink Simon_B._Kochen.
- Angus_Macintyre wikiPageWikiLink Stanford_University.
- Angus_Macintyre wikiPageWikiLink United_Kingdom.
- Angus_Macintyre wikiPageWikiLink University_of_Cambridge.
- Angus_Macintyre wikiPageWikiLink University_of_Edinburgh.
- Angus_Macintyre wikiPageWikiLink University_of_Oxford.
- Angus_Macintyre wikiPageWikiLink Yale_University.
- Angus_Macintyre wikiPageWikiLinkText "Angus John Macintyre".
- Angus_Macintyre wikiPageWikiLinkText "Angus Macintyre".
- Angus_Macintyre wikiPageWikiLinkText "Macintyre".
- Angus_Macintyre wikiPageWikiLinkText "Macintyre, Angus".
- Angus_Macintyre almaMater Stanford_University.
- Angus_Macintyre almaMater University_of_Cambridge.
- Angus_Macintyre awards "Polya Prize".
- Angus_Macintyre caption "Angus Macintyre in 2009".
- Angus_Macintyre dateOfBirth "1941".
- Angus_Macintyre doctoralAdvisor Dana_Scott.
- Angus_Macintyre doctoralStudents "Ali Nesin, Luc Belair, David Marker".
- 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 wikiPageUsesTemplate Template:Authority_control.
- Angus_Macintyre wikiPageUsesTemplate Template:Birth_year_and_age.
- Angus_Macintyre wikiPageUsesTemplate Template:Infobox_scientist.
- Angus_Macintyre wikiPageUsesTemplate Template:MathGenealogy.
- Angus_Macintyre wikiPageUsesTemplate Template:Persondata.
- Angus_Macintyre wikiPageUsesTemplate Template:Reflist.
- 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:20th-century_British_mathematicians.
- Angus_Macintyre subject Category:21st-century_British_mathematicians.
- Angus_Macintyre subject Category:Academics_of_Queen_Mary_University_of_London.
- 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 hypernym Mathematician.
- Angus_Macintyre type Agent.
- Angus_Macintyre type List.
- Angus_Macintyre type Person.
- Angus_Macintyre type Scientist.
- Angus_Macintyre type Person.