×

Macintyre, Angus John

Author ID: macintyre.angus-j Recent zbMATH articles by "Macintyre, Angus John"
Published as: Macintyre, Angus; Macintyre, Angus J.; Macintyre, A.; MacIntyre, Angus J.; MacIntyre, Angus; MacIntyre, A.
External Links: MGP · Wikidata · dblp · GND · IdRef
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

Publications by Year

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 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

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.