Edit Profile (opens in new tab) Macintyre, Angus John Co-Author Distance Author ID: macintyre.angus-j Published as: Macintyre, Angus; Macintyre, Angus J.; Macintyre, A.; MacIntyre, Angus J.; MacIntyre, Angus; MacIntyre, A. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 103 Publications since 1958, including 8 Additional arXiv Preprints 6 Contributions as Editor · 3 Further Contributions Biographic References: 1 Publication Co-Authors: 55 Co-Authors with 69 Joint Publications 1,857 Co-Co-Authors all top 5 Co-Authors 42 single-authored 12 Derakhshan, Jamshid 11 D’Aquino, Paola 9 van den Dries, Lou 6 Marker, David E. 5 Karpinski, Marek 4 Point, Françoise 3 Barwise, Kenneth Jon 3 Bélair, Luc 3 Glass, Andrew M. W. 3 Paris, Jeffrey Bruce 3 Reyes, Gonzalo E. 3 Simmons, Harold 3 Terzo, Giuseppina 3 Troelstra, Anne Sjerp 2 Aczel, Peter 2 Barendregt, Hendrik Pieter 2 Burgess, John P. 2 Cherlin, Gregory L. 2 Davis, Martin David 2 de Queiroz, Ruy 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Feferman, Solomon 2 Fourman, Michael Paul 2 Harrington, Leo A. 2 Jech, Thomas J. 2 Juhász, István 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kock, Anders Jungersen 2 Kreisel, Georg 2 Kunen, Kenneth 2 L’Innocente, Sonia 2 Makkai, Michael 2 Martin, Donald A. 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Rabin, Michael O. 2 Rudin, Mary Ellen 2 Schwichtenberg, Helmut 2 Shelah, Saharon 2 Shönfield, Joseph R. 2 Shore, Richard Arnold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Statman, Richard 2 Stroyan, Keith D. 1 Agazzi, Evandro 1 Alexanderson, Gerald L. 1 Atiyah, Michael Francis 1 Baur, Walter 1 Belnap, Nuel D. jun. 1 Bittencourt, Guilherme 1 Bocheński, Józef Maria 1 Boffa, Maurice 1 Böhm, Corrado 1 Bundy, Alan 1 Casari, Ettore 1 Castro Perelman, Carlos 1 Chatzidakis, Zoé Maria 1 Cluckers, Raf 1 Cohen, Charles J. 1 Costin, Ovidiu 1 Craig, C. jun. 1 Dalla Chiara, Maria Luisa 1 Diamond, Harold George 1 Fenstad, Jens Erik 1 Goldrei, Derek 1 Hales, Thomas Callister 1 Heath-Brown, Roger 1 Hejhal, Dennis A. 1 Hermes, Hans 1 Hickin, Kenneth Keller 1 Hintikka, Jaakko 1 Kirby, Jonathan 1 Kolountzakis, Mihail N. 1 Kruskal, Martin David 1 Leenknegt, Eva 1 Lejewski, Czesław 1 MacKenzie, Donald 1 Manin, Yuriĭ Ivanovich 1 Massey, Gerald J. 1 Matiyasevich, Yuriĭ Vladimirovich 1 McKenna, Kenneth 1 Mekler, Alan H. 1 Moroz, Boris Zelikovich 1 Onshuus, Alf Angel 1 Otero, Margarita 1 Pacholski, Leszek M. 1 Poland, John C. 1 Rosenstein, Joseph G. 1 Sarnak, Peter Clive 1 Scanlon, Thomas J. 1 Schütte, Kurt 1 Scowcroft, Philip 1 Sontag, Eduardo D. 1 Stalnaker, Robert C. 1 Surma, Stanislaw J. 1 Takeuti, Gaisi ...and 5 more Co-Authors all top 5 Serials 16 Annals of Pure and Applied Logic 6 Fundamenta Mathematicae 4 Israel Journal of Mathematics 3 Journal of Algebra 3 The Journal of Symbolic Logic 3 Studies in Logic and the Foundations of Mathematics 2 Journal of the London Mathematical Society. Second Series 2 Journal für die Reine und Angewandte Mathematik 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Annals of Mathematics. Second Series 2 Journal of the Institute of Mathematics of Jussieu 1 Advances in Mathematics 1 Algebra Universalis 1 American Journal of Mathematics 1 Annals of Mathematical Logic 1 Colloquium Mathematicum 1 Commentarii Mathematici Helvetici 1 Glasgow Mathematical Journal 1 Journal of Computer and System Sciences 1 Manuscripta Mathematica 1 Mathematica Scandinavica 1 Pacific Journal of Mathematics 1 Proceedings of the London Mathematical Society. Third Series 1 Transactions of the American Mathematical Society 1 Bulletin de la Société Matheḿatique de Belgique. Série B 1 Revista Matemática de la Universidad Complutense de Madrid 1 Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Notices of the American Mathematical Society 1 Journal of Mathematical Sciences (New York) 1 Selecta Mathematica. New Series 1 The Bulletin of Symbolic Logic 1 Comptes Rendus de l’Académie des Sciences. Série I. Mathématique 1 Bulletin of the American Mathematical Society 1 Contemporary Mathematics 1 Synthese Library 1 Electronic Notes in Theoretical Computer Science 1 Quaderni di Matematica 1 Confluentes Mathematici 1 Forum of Mathematics, Sigma 1 Annales Academiae Scientiarum Fennicae. Series A I all top 5 Fields 97 Mathematical logic and foundations (03-XX) 34 Field theory and polynomials (12-XX) 31 Number theory (11-XX) 11 Commutative algebra (13-XX) 11 Group theory and generalizations (20-XX) 9 General and overarching topics; collections (00-XX) 9 Algebraic geometry (14-XX) 8 Computer science (68-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 History and biography (01-XX) 4 Associative rings and algebras (16-XX) 2 Nonassociative rings and algebras (17-XX) 2 Category theory; homological algebra (18-XX) 2 Ordinary differential equations (34-XX) 2 General topology (54-XX) 1 General algebraic systems (08-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 86 Publications have been cited 1,160 times in 898 Documents Cited by ▼ Year ▼ The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006 van den Dries, Lou; Macintyre, Angus; Marker, David 126 1994 On definable subsets of p-adic fields. Zbl 0362.02046 Macintyre, Angus J. 93 1976 On the decidability of the real exponential field. Zbl 0896.03012 Macintyre, Angus; Wilkie, A. J. 68 1996 On \(\omega_ 1\)-categorical theories of fields. Zbl 0228.02033 Macintyre, Angus J. 54 1971 Definable sets over finite fields. Zbl 0759.11045 Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus 45 1992 On algebraically closed groups. Zbl 0254.20021 Macintyre, Angus J. 43 1972 Logarithmic-exponential power series. Zbl 0924.12007 van den Dries, Lou; Macintyre, Angus; Marker, David 42 1997 Totally categorical groups and rings. Zbl 0401.03012 Baur, Walter; Cherlin, Gregory; Macintyre, Angus J. 40 1979 Logarithmic-exponential series. Zbl 0998.12014 van den Dries, Lou; Macintyre, Angus; Marker, David 37 2001 Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks. Zbl 0869.68088 Karpinski, Marek; Macintyre, Angus 35 1997 Elimination of quantifiers in algebraic structures. Zbl 0531.03016 Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou 34 1983 Model-completeness for sheaves of structures. Zbl 0317.02065 Macintyre, Angus J. 30 1974 On \(\omega_ 1\)-categorical theories of abelian groups. Zbl 0234.02035 Macintyre, Angus J. 29 1971 Uncountable universal locally finite groups. Zbl 0363.20032 Macintyre, Angus J.; Shelah, Saharon 23 1976 Generic automorphisms of fields. Zbl 0891.03015 Macintyre, Angus 22 1997 Model theory of the Frobenius on the Witt vectors. Zbl 1121.03043 Bélair, Luc; Macintyre, Angus; Scanlon, Thomas 21 2007 Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017 Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J. 20 1981 Polynomial bounds for VC dimension of sigmoidal neural networks. Zbl 0978.68562 Karpinski, Marek; Macintyre, Angus 17 1995 \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures. Zbl 0346.02031 MacIntyre, Angus J.; Rosenstein, Joseph G. 17 1976 Omitting quantifier-free types in generic structures. Zbl 0273.02038 Macintyre, Angus J. 17 1972 Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields. Zbl 1370.11138 Cluckers, Raf; Derakhshan, Jamshid; Leenknegt, Eva; Macintyre, Angus 16 2013 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Primes and their residue rings in models of open induction. Zbl 0675.03040 Macintyre, Angus; Marker, David 14 1989 Rationality of p-adic Poincaré series: Uniformity in p. Zbl 0731.12015 Macintyre, Angus 13 1990 Schanuel’s conjecture and free exponential rings. Zbl 0724.13008 Macintyre, Angus 13 1991 The logic of Rumely’s local-global principle. Zbl 0703.13021 van den Dries, Lou; Macintyre, Angus 12 1990 Gödel’s diagonalization technique and related properties of theories. Zbl 0288.02018 Macintyre, Angus J.; Simmons, H. 11 1973 Finiteness results for sigmoidal “neural” networks. Zbl 1310.68077 Macintyre, Angus; Sontag, Eduardo D. 11 1993 Connections between model theory and algebraic and analytic geometry. Zbl 0971.00010 10 2000 Exponential algebra. Zbl 0891.12006 Macintyre, Angus J. 8 1996 A generalization of Wilkie’s theorem of the complement, and an application to Pfaffian closure. Zbl 0953.03046 Karpinski, Marek; Macintyre, Angus 8 1999 The word problem for division rings. Zbl 0286.02046 Macintyre, Angus J. 8 1973 The forcing companions of number theories. Zbl 0301.02054 Goldrei, D. C.; Macintyre, Angus J.; Simmons, H. 8 1973 Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004 8 1978 Existentially closed structures and Jensen’s principle \(\diamond\). Zbl 0374.02034 Macintyre, Angus J. 8 1976 Constructive logic versus algebraization. I. Zbl 0522.03046 Kreisel, Georg; Macintyre, Angus J. 8 1982 Schanuel Nullstellensatz for Zilber fields. Zbl 1207.03044 D’Aquino, Paola; Macintyre, Angus; Terzo, Giuseppina 8 2010 From Schanuel’s conjecture to Shapiro’s conjecture. Zbl 1378.11103 D’Aquino, Paola; Macintyre, Angus; Terzo, Giuseppina 8 2014 Degrees of recursively saturated models. Zbl 0557.03046 Macintyre, Angus J.; Marker, David 7 1984 Dense embeddings. I: A theorem of Robinson in a general setting. Zbl 0327.02049 MacIntyre, Angus J. 7 1975 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Free abelian lattice-ordered groups. Zbl 1066.06010 Glass, A. M. W.; Macintyre, Angus; Point, Françoise 7 2005 Turing meets Schanuel. Zbl 1432.03063 Macintyre, Angus 7 2016 Model theory: geometrical and set-theoretic aspects and prospects. Zbl 1067.03044 Macintyre, Angus 6 2003 Martin’s axiom applied to existentially closed groups. Zbl 0268.02038 Macintyre, Angus J. 6 1973 Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303 Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus 6 2005 Algebraically closed groups: Embeddings and centralizers. Zbl 0444.20025 Hickin, Kenneth; Macintyre, Angus J. 5 1980 The laws of exponentiation. Zbl 0503.08008 Macintyre, Angus J. 5 1981 Algebraic properties of number theories. Zbl 0356.02043 MacIntyre, Angus J.; Simmons, H. 5 1975 Towards decidability of the theory of pseudo-finite dimensional representations of \(sl_2(k)\). I. Zbl 1148.03006 L’Innocente, Sonia; Macintyre, Angus 5 2008 Comparing and Zilber’s exponential fields: zero sets of exponential polynomials. Zbl 1522.11131 D’Aquino, P.; Macintyre, A.; Terzo, G. 5 2016 The algebraic numbers definable in various exponential fields. Zbl 1270.03057 Kirby, Jonathan; Macintyre, Angus; Onshuus, Alf 5 2012 Twenty years of \(p\)-adic model theory. Zbl 0622.03023 Macintyre, Angus 5 1986 Some observations about the real and imaginary parts of complex Pfaffian functions. Zbl 1162.33312 Macintyre, Angus 5 2008 Enrichments of Boolean algebras by Presburger predicates. Zbl 1420.03145 Derakhshan, Jamshid; Macintyre, Angus 5 2017 The Frobenius automorphism of Witt vectors. (L’automorphisme de Frobenius des vecteurs de Witt.) Zbl 0966.03038 Bélair, Luc; Macintyre, Angus 4 2000 Residue fields of models of P. Zbl 0514.03021 MacIntyre, Angus J. 4 1982 The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Zbl 0446.03026 Boffa, M.; Macintyre, Angus J.; Point, F. 4 1980 Some supplements to Feferman-Vaught related to the model theory of adeles. Zbl 1354.03046 Derakhshan, Jamshid; Macintyre, Angus 4 2014 The impact of Gödel’s incompleteness theorems on mathematics. Zbl 1288.03003 Macintyre, Angus 4 2011 Model theory of adeles. I. Zbl 1525.03096 Derakhshan, Jamshid; Macintyre, Angus 4 2022 The mathematical significance of proof theory. Zbl 1152.03307 Macintyre, Angus 4 2005 Approximating volumes and integrals in o-minimal and p-minimal theories. Zbl 1003.03037 Karpinski, Marek; Macintyre, Angus 3 2000 Non-standard finite fields over \(I\Delta_0+\Omega_1\). Zbl 0993.03076 D’Aquino, Paola; Macintyre, Angus 3 2000 Combinatorial problems for skew fields. I: Analogue of Britton’s lemma, and results of Adjan-Rabin type. Zbl 0433.16018 Macintyre, Angus J. 3 1979 A note on axioms for infinite-generic structures. Zbl 0308.02055 Macintyre, Angus J. 3 1975 Model theory of exponentials on Lie algebras. Zbl 1138.03030 Macintyre, Angus 3 2008 Weil cohomology and model theory. Zbl 1078.14021 Macintyre, Angus 2 2000 Approximating the volume of general Pfaffian bodies. Zbl 0884.68108 Karpinski, Marek; Macintyre, Angus 2 1997 On the elementary theory of Banach algebras. Zbl 0286.02049 Macintyre, Angus J. 2 1971 On the elimination of imaginaries from certain valued fields. Zbl 0795.03049 Scowcroft, Philip; Macintyre, Angus 2 1993 Nonstandard analysis and cohomology. Zbl 1105.03074 Macintyre, Angus 2 2006 Abraham Robinson, 1918-1974. Zbl 0356.01027 Macintyre, Angus J. 2 1977 Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\). Zbl 1232.17023 L’Innocente, Sonia; Macintyre, Angus; Point, Françoise 2 2010 Analyzable functions and applications. International workshop, Edinburgh, UK, June 17–21, 2002. Zbl 1063.00011 2 2005 Inequalities for functions regular and bounded in a circle. Zbl 0182.40803 Craig, C. jun.; Macintyre, Angus J. 2 1967 Direct powers with distinguished diagonal. Zbl 0256.02026 Macintyre, Angus J. 2 1972 Truncations of ordered abelian groups. Zbl 1478.06005 D’Aquino, Paola; Derakhshan, Jamshid; Macintyre, Angus 2 2021 A theorem of Rabin in a general setting. Zbl 0502.03034 Macintyre, Angus J. 1 1981 Elementary equivalence and the commutator subgroup. Zbl 0504.03006 van den Dries, L. P. D.; Glass, A. M. W.; Macintyre, Angus J.; Mekler, Alan H.; Poland, John 1 1982 Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I. Zbl 1124.03032 D’Aquino, Paola; Macintyre, Angus 1 2007 Ramsey quantifiers in arithmetic. Zbl 0464.03031 Macintyre, Angus J. 1 1980 A history of interactions between logic and number theory. Zbl 1105.03032 Macintyre, Angus 1 2002 A Lefschetz principle for integral closures. Zbl 0693.03017 Macintyre, Angus 1 1989 Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19–22, 2005. Zbl 1109.03310 1 2006 An convergence theorem of G. Bourion and its application to the coefficients of certain power series. Zbl 0083.06304 Macintyre, Angus J. 1 1958 Model theory of adeles. I. Zbl 1525.03096 Derakhshan, Jamshid; Macintyre, Angus 4 2022 Truncations of ordered abelian groups. Zbl 1478.06005 D’Aquino, Paola; Derakhshan, Jamshid; Macintyre, Angus 2 2021 Enrichments of Boolean algebras by Presburger predicates. Zbl 1420.03145 Derakhshan, Jamshid; Macintyre, Angus 5 2017 Turing meets Schanuel. Zbl 1432.03063 Macintyre, Angus 7 2016 Comparing and Zilber’s exponential fields: zero sets of exponential polynomials. Zbl 1522.11131 D’Aquino, P.; Macintyre, A.; Terzo, G. 5 2016 From Schanuel’s conjecture to Shapiro’s conjecture. Zbl 1378.11103 D’Aquino, Paola; Macintyre, Angus; Terzo, Giuseppina 8 2014 Some supplements to Feferman-Vaught related to the model theory of adeles. Zbl 1354.03046 Derakhshan, Jamshid; Macintyre, Angus 4 2014 Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields. Zbl 1370.11138 Cluckers, Raf; Derakhshan, Jamshid; Leenknegt, Eva; Macintyre, Angus 16 2013 The algebraic numbers definable in various exponential fields. Zbl 1270.03057 Kirby, Jonathan; Macintyre, Angus; Onshuus, Alf 5 2012 The impact of Gödel’s incompleteness theorems on mathematics. Zbl 1288.03003 Macintyre, Angus 4 2011 Schanuel Nullstellensatz for Zilber fields. Zbl 1207.03044 D’Aquino, Paola; Macintyre, Angus; Terzo, Giuseppina 8 2010 Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\). Zbl 1232.17023 L’Innocente, Sonia; Macintyre, Angus; Point, Françoise 2 2010 Towards decidability of the theory of pseudo-finite dimensional representations of \(sl_2(k)\). I. Zbl 1148.03006 L’Innocente, Sonia; Macintyre, Angus 5 2008 Some observations about the real and imaginary parts of complex Pfaffian functions. Zbl 1162.33312 Macintyre, Angus 5 2008 Model theory of exponentials on Lie algebras. Zbl 1138.03030 Macintyre, Angus 3 2008 Model theory of the Frobenius on the Witt vectors. Zbl 1121.03043 Bélair, Luc; Macintyre, Angus; Scanlon, Thomas 21 2007 Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I. Zbl 1124.03032 D’Aquino, Paola; Macintyre, Angus 1 2007 Nonstandard analysis and cohomology. Zbl 1105.03074 Macintyre, Angus 2 2006 Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19–22, 2005. Zbl 1109.03310 1 2006 Free abelian lattice-ordered groups. Zbl 1066.06010 Glass, A. M. W.; Macintyre, Angus; Point, Françoise 7 2005 Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303 Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus 6 2005 The mathematical significance of proof theory. Zbl 1152.03307 Macintyre, Angus 4 2005 Analyzable functions and applications. International workshop, Edinburgh, UK, June 17–21, 2002. Zbl 1063.00011 2 2005 Model theory: geometrical and set-theoretic aspects and prospects. Zbl 1067.03044 Macintyre, Angus 6 2003 A history of interactions between logic and number theory. Zbl 1105.03032 Macintyre, Angus 1 2002 Logarithmic-exponential series. Zbl 0998.12014 van den Dries, Lou; Macintyre, Angus; Marker, David 37 2001 Connections between model theory and algebraic and analytic geometry. Zbl 0971.00010 10 2000 The Frobenius automorphism of Witt vectors. (L’automorphisme de Frobenius des vecteurs de Witt.) Zbl 0966.03038 Bélair, Luc; Macintyre, Angus 4 2000 Approximating volumes and integrals in o-minimal and p-minimal theories. Zbl 1003.03037 Karpinski, Marek; Macintyre, Angus 3 2000 Non-standard finite fields over \(I\Delta_0+\Omega_1\). Zbl 0993.03076 D’Aquino, Paola; Macintyre, Angus 3 2000 Weil cohomology and model theory. Zbl 1078.14021 Macintyre, Angus 2 2000 A generalization of Wilkie’s theorem of the complement, and an application to Pfaffian closure. Zbl 0953.03046 Karpinski, Marek; Macintyre, Angus 8 1999 Logarithmic-exponential power series. Zbl 0924.12007 van den Dries, Lou; Macintyre, Angus; Marker, David 42 1997 Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks. Zbl 0869.68088 Karpinski, Marek; Macintyre, Angus 35 1997 Generic automorphisms of fields. Zbl 0891.03015 Macintyre, Angus 22 1997 Approximating the volume of general Pfaffian bodies. Zbl 0884.68108 Karpinski, Marek; Macintyre, Angus 2 1997 On the decidability of the real exponential field. Zbl 0896.03012 Macintyre, Angus; Wilkie, A. J. 68 1996 Exponential algebra. Zbl 0891.12006 Macintyre, Angus J. 8 1996 Polynomial bounds for VC dimension of sigmoidal neural networks. Zbl 0978.68562 Karpinski, Marek; Macintyre, Angus 17 1995 The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006 van den Dries, Lou; Macintyre, Angus; Marker, David 126 1994 Finiteness results for sigmoidal “neural” networks. Zbl 1310.68077 Macintyre, Angus; Sontag, Eduardo D. 11 1993 On the elimination of imaginaries from certain valued fields. Zbl 0795.03049 Scowcroft, Philip; Macintyre, Angus 2 1993 Definable sets over finite fields. Zbl 0759.11045 Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus 45 1992 Schanuel’s conjecture and free exponential rings. Zbl 0724.13008 Macintyre, Angus 13 1991 Rationality of p-adic Poincaré series: Uniformity in p. Zbl 0731.12015 Macintyre, Angus 13 1990 The logic of Rumely’s local-global principle. Zbl 0703.13021 van den Dries, Lou; Macintyre, Angus 12 1990 Primes and their residue rings in models of open induction. Zbl 0675.03040 Macintyre, Angus; Marker, David 14 1989 A Lefschetz principle for integral closures. Zbl 0693.03017 Macintyre, Angus 1 1989 Twenty years of \(p\)-adic model theory. Zbl 0622.03023 Macintyre, Angus 5 1986 Degrees of recursively saturated models. Zbl 0557.03046 Macintyre, Angus J.; Marker, David 7 1984 Elimination of quantifiers in algebraic structures. Zbl 0531.03016 Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou 34 1983 Constructive logic versus algebraization. I. Zbl 0522.03046 Kreisel, Georg; Macintyre, Angus J. 8 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Residue fields of models of P. Zbl 0514.03021 MacIntyre, Angus J. 4 1982 Elementary equivalence and the commutator subgroup. Zbl 0504.03006 van den Dries, L. P. D.; Glass, A. M. W.; Macintyre, Angus J.; Mekler, Alan H.; Poland, John 1 1982 Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017 Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J. 20 1981 The laws of exponentiation. Zbl 0503.08008 Macintyre, Angus J. 5 1981 A theorem of Rabin in a general setting. Zbl 0502.03034 Macintyre, Angus J. 1 1981 Algebraically closed groups: Embeddings and centralizers. Zbl 0444.20025 Hickin, Kenneth; Macintyre, Angus J. 5 1980 The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Zbl 0446.03026 Boffa, M.; Macintyre, Angus J.; Point, F. 4 1980 Ramsey quantifiers in arithmetic. Zbl 0464.03031 Macintyre, Angus J. 1 1980 Totally categorical groups and rings. Zbl 0401.03012 Baur, Walter; Cherlin, Gregory; Macintyre, Angus J. 40 1979 Combinatorial problems for skew fields. I: Analogue of Britton’s lemma, and results of Adjan-Rabin type. Zbl 0433.16018 Macintyre, Angus J. 3 1979 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004 8 1978 Abraham Robinson, 1918-1974. Zbl 0356.01027 Macintyre, Angus J. 2 1977 On definable subsets of p-adic fields. Zbl 0362.02046 Macintyre, Angus J. 93 1976 Uncountable universal locally finite groups. Zbl 0363.20032 Macintyre, Angus J.; Shelah, Saharon 23 1976 \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures. Zbl 0346.02031 MacIntyre, Angus J.; Rosenstein, Joseph G. 17 1976 Existentially closed structures and Jensen’s principle \(\diamond\). Zbl 0374.02034 Macintyre, Angus J. 8 1976 Dense embeddings. I: A theorem of Robinson in a general setting. Zbl 0327.02049 MacIntyre, Angus J. 7 1975 Algebraic properties of number theories. Zbl 0356.02043 MacIntyre, Angus J.; Simmons, H. 5 1975 A note on axioms for infinite-generic structures. Zbl 0308.02055 Macintyre, Angus J. 3 1975 Model-completeness for sheaves of structures. Zbl 0317.02065 Macintyre, Angus J. 30 1974 Gödel’s diagonalization technique and related properties of theories. Zbl 0288.02018 Macintyre, Angus J.; Simmons, H. 11 1973 The word problem for division rings. Zbl 0286.02046 Macintyre, Angus J. 8 1973 The forcing companions of number theories. Zbl 0301.02054 Goldrei, D. C.; Macintyre, Angus J.; Simmons, H. 8 1973 Martin’s axiom applied to existentially closed groups. Zbl 0268.02038 Macintyre, Angus J. 6 1973 On algebraically closed groups. Zbl 0254.20021 Macintyre, Angus J. 43 1972 Omitting quantifier-free types in generic structures. Zbl 0273.02038 Macintyre, Angus J. 17 1972 Direct powers with distinguished diagonal. Zbl 0256.02026 Macintyre, Angus J. 2 1972 On \(\omega_ 1\)-categorical theories of fields. Zbl 0228.02033 Macintyre, Angus J. 54 1971 On \(\omega_ 1\)-categorical theories of abelian groups. Zbl 0234.02035 Macintyre, Angus J. 29 1971 On the elementary theory of Banach algebras. Zbl 0286.02049 Macintyre, Angus J. 2 1971 Inequalities for functions regular and bounded in a circle. Zbl 0182.40803 Craig, C. jun.; Macintyre, Angus J. 2 1967 An convergence theorem of G. Bourion and its application to the coefficients of certain power series. Zbl 0083.06304 Macintyre, Angus J. 1 1958 all cited Publications top 5 cited Publications all top 5 Cited by 815 Authors 29 Macintyre, Angus John 18 Cluckers, Raf 18 van den Dries, Lou 17 Pillay, Anand 14 Hrushovski, Ehud 14 Point, Françoise 14 Shelah, Saharon 13 Rolin, Jean-Philippe 12 Cherlin, Gregory L. 11 Macpherson, Dugald 11 Miller, Chris 10 Aschenbrenner, Matthias 10 D’Aquino, Paola 10 Kaiser, Tobias 10 Servi, Tamara 9 Kuhlmann, Salma 8 Berarducci, Alessandro 8 Halupczok, Immanuel 8 Haskell, Deirdre 8 Jahnke, Franziska 8 L’Innocente, Sonia 7 Altınel, Tuna 7 Belegradek, Oleg V. 7 Fehm, Arno 7 Fornasiero, Antongiulio 7 Kaplan, Elliot 7 Marker, David E. 7 Speissegger, Patrick 7 Terzo, Giuseppina 7 van der Hoeven, Joris 6 Bélair, Luc 6 Chatzidakis, Zoé Maria 6 Johnson, Will 6 Matusinski, Mickaël 6 Steinhorn, Charles I. 6 Toffalori, Carlo 6 Yao, Ningyuan 5 Bianconi, Ricardo 5 Comte, Georges 5 Dobrowolski, Jan Cz. 5 Guzy, Nicolas 5 Hoffmann, Daniel Max 5 Koiran, Pascal 5 Krupiński, Krzysztof 5 Lion, Jean-Marie 5 Nesin, Ali 5 Pierce, David Austin 5 Resman, Maja 5 Schmitt, Michael 5 Simmons, Harold 5 Sontag, Eduardo D. 5 Starchenko, Sergei 5 Tomašić, Ivan 5 Wagner, Frank Olaf 5 Wilkie, Alex James 5 Worrell, James Benjamin 4 Baldwin, John T. 4 Borovik, Alexandre V. 4 Bouyer, Patricia 4 Brihaye, Thomas 4 Chistikov, Dmitry V. 4 Derakhshan, Jamshid 4 Fischer, Andreas 4 Glass, Andrew M. W. 4 Herzog, Ivo 4 Kegel, Otto H. 4 Kuzucuoğlu, Mahmut 4 Leenknegt, Eva 4 Lipshitz, Leonard 4 Maller, Michael 4 Mantova, Vincenzo 4 Myasnikov, Alexei G. 4 Otero, Margarita 4 Peran, Dino 4 Pila, Jonathan 4 Prest, Mike 4 Scowcroft, Philip 4 Shkop, Ahuva C. 4 Walsberg, Erik 4 Weispfenning, Volker 4 Zilber, Boris I. 3 Aleksandrova, S. A. 3 Andrews, Uri 3 Basarab, Serban A. 3 Bonnard, Bernard 3 Chernikov, Artem 3 Cubides Kovacsics, Pablo 3 Dabbene, Fabrizio 3 D’Elbée, Christian 3 Denef, Jan 3 Dickmann, Max A. 3 Dolich, Alf 3 Durnev, Valeriĭ Georgievich 3 Edmundo, Mário J. 3 Ehrlich, Philip 3 Gabrielov, Andrei 3 Glazer, Itay 3 Goldbring, Isaac 3 Halevi, Yatir 3 Haran, Dan ...and 715 more Authors all top 5 Cited in 176 Serials 89 Annals of Pure and Applied Logic 79 The Journal of Symbolic Logic 41 Journal of Algebra 37 Israel Journal of Mathematics 37 Transactions of the American Mathematical Society 25 Mathematical Logic Quarterly (MLQ) 24 Journal of Pure and Applied Algebra 24 Proceedings of the American Mathematical Society 22 Archive for Mathematical Logic 15 The Bulletin of Symbolic Logic 13 Algebra and Logic 13 Journal of Symbolic Computation 11 Advances in Mathematics 11 Siberian Mathematical Journal 11 Journal of Mathematical Logic 10 Annales de l’Institut Fourier 10 Journal of Computer and System Sciences 10 Theoretical Computer Science 10 Journal of the Institute of Mathematics of Jussieu 10 Model Theory 9 Algebra Universalis 8 Communications in Algebra 8 Duke Mathematical Journal 8 Notre Dame Journal of Formal Logic 7 Mathematische Zeitschrift 7 Rendiconti del Seminario Matematico della Università di Padova 7 Journal of Complexity 6 Fundamenta Mathematicae 5 Inventiones Mathematicae 5 Mathematische Annalen 5 Proceedings of the London Mathematical Society. Third Series 5 Information and Computation 5 Bulletin of the American Mathematical Society. New Series 5 Journal of the European Mathematical Society (JEMS) 5 Comptes Rendus. Mathématique. Académie des Sciences, Paris 5 Forum of Mathematics, Sigma 4 Archiv der Mathematik 4 Automatica 4 Bulletin of the London Mathematical Society 4 Illinois Journal of Mathematics 4 Journal of Soviet Mathematics 4 Pacific Journal of Mathematics 4 Studia Logica 4 Journal of the American Mathematical Society 4 Neural Computation 3 Journal of Mathematical Analysis and Applications 3 Journal of Differential Equations 3 Journal of the London Mathematical Society. Second Series 3 Manuscripta Mathematica 3 Memoirs of the American Mathematical Society 3 Proceedings of the Edinburgh Mathematical Society. Series II 3 Systems & Control Letters 3 Order 3 International Journal of Algebra and Computation 3 Journal of Mathematical Sciences (New York) 3 Selecta Mathematica. New Series 3 Advances in Computational Mathematics 3 Annals of Mathematics and Artificial Intelligence 3 Journal of Group Theory 3 Annals of Mathematics. Second Series 3 Journal of High Energy Physics 3 Journal of Algebra and its Applications 3 Chebyshevskiĭ Sbornik 3 Algebra & Number Theory 3 Journal of Logic and Analysis 3 The Review of Symbolic Logic 2 Discrete Applied Mathematics 2 Rocky Mountain Journal of Mathematics 2 Boletim da Sociedade Brasileira de Matemática 2 Compositio Mathematica 2 Journal of Number Theory 2 Journal für die Reine und Angewandte Mathematik 2 Nagoya Mathematical Journal 2 Topology and its Applications 2 Discrete & Computational Geometry 2 Neural Networks 2 Geometric and Functional Analysis. GAFA 2 Expositiones Mathematicae 2 Journal of Dynamics and Differential Equations 2 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 2 Matematicheskie Trudy 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Confluentes Mathematici 2 Forum of Mathematics, Pi 2 EMS Surveys in Mathematical Sciences 1 Artificial Intelligence 1 Computer Methods in Applied Mechanics and Engineering 1 Discrete Mathematics 1 Houston Journal of Mathematics 1 Information Processing Letters 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal d’Analyse Mathématique 1 Journal of the Franklin Institute 1 Letters in Mathematical Physics 1 Mathematical Notes 1 Periodica Mathematica Hungarica 1 The Mathematical Intelligencer 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Annales Polonici Mathematici 1 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série ...and 76 more Serials all top 5 Cited in 56 Fields 646 Mathematical logic and foundations (03-XX) 215 Field theory and polynomials (12-XX) 146 Group theory and generalizations (20-XX) 112 Number theory (11-XX) 106 Algebraic geometry (14-XX) 105 Computer science (68-XX) 57 Commutative algebra (13-XX) 48 Order, lattices, ordered algebraic structures (06-XX) 44 Several complex variables and analytic spaces (32-XX) 39 Associative rings and algebras (16-XX) 32 Real functions (26-XX) 22 General algebraic systems (08-XX) 21 Functions of a complex variable (30-XX) 18 Dynamical systems and ergodic theory (37-XX) 18 General topology (54-XX) 15 History and biography (01-XX) 15 Category theory; homological algebra (18-XX) 15 Topological groups, Lie groups (22-XX) 14 Ordinary differential equations (34-XX) 14 Systems theory; control (93-XX) 12 General and overarching topics; collections (00-XX) 12 Numerical analysis (65-XX) 11 Combinatorics (05-XX) 11 Statistics (62-XX) 9 Approximations and expansions (41-XX) 9 Functional analysis (46-XX) 9 Global analysis, analysis on manifolds (58-XX) 8 Quantum theory (81-XX) 8 Operations research, mathematical programming (90-XX) 7 Probability theory and stochastic processes (60-XX) 6 Nonassociative rings and algebras (17-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Geometry (51-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Special functions (33-XX) 5 Operator theory (47-XX) 4 Measure and integration (28-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 4 Differential geometry (53-XX) 4 Biology and other natural sciences (92-XX) 3 Sequences, series, summability (40-XX) 3 Manifolds and cell complexes (57-XX) 3 Information and communication theory, circuits (94-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Difference and functional equations (39-XX) 2 Abstract harmonic analysis (43-XX) 2 Convex and discrete geometry (52-XX) 2 Relativity and gravitational theory (83-XX) 1 \(K\)-theory (19-XX) 1 Partial differential equations (35-XX) 1 Integral equations (45-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.