30 found
Order:
Disambiguations
Angus Macintyre [34]Angus J. MacIntyre [1]
  1.  16
    The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   58 citations  
  2.  19
    Uniformly Defining Valuation Rings in Henselian Valued Fields with Finite or Pseudo-Finite Residue Fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
    We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. On the Decidability of the Real Exponential Field.Angus Macintyre & Alex J. Wilkie - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 441--467.
     
    Export citation  
     
    Bookmark   10 citations  
  4.  33
    On Definable Subsets of P-Adic Fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
  5.  17
    Generic Automorphisms of Fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
    It is shown that the theory of fields with an automorphism has a decidable model companion. Quantifier-elimination is established in a natural language. The theory is intimately connected to Ax's theory of pseudofinite fields, and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  8
    Primes and Their Residue Rings in Models of Open Induction.Angus Macintyre & David Marker - 1989 - Annals of Pure and Applied Logic 43 (1):57-77.
  7.  61
    Model Theory: Geometrical and Set-Theoretic Aspects and Prospects.Angus Macintyre - 2003 - Bulletin of Symbolic Logic 9 (2):197-212.
  8.  11
    Logarithmic-Exponential Series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
    We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  7
    On Ω 1 -Categorical Theories of Abelian Groups.Angus Macintyre, Joachim Reineke, J. T. Baldwin, Jan Saxl & Walter Baur - 1984 - Journal of Symbolic Logic 49 (1):317-321.
  10.  12
    Quadratic Forms in Models of IΔ0+ Ω1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.
    Gauss used quadratic forms in his second proof of quadratic reciprocity. In this paper we begin to develop a theory of binary quadratic forms over weak fragments of Peano Arithmetic, with a view to reproducing Gauss’ proof in this setting.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  5
    Quadratic Forms in Models of I Δ 0 + Ω 1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1-3):31-48.
    Gauss used quadratic forms in his second proof of quadratic reciprocity. In this paper we begin to develop a theory of binary quadratic forms over weak fragments of Peano Arithmetic, with a view to reproducing Gauss’ proof in this setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  68
    The Impact of Godel's Incompleteness Theorems on Mathematics.Angus Macintyre - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. pp. 3--25.
  13.  7
    Schanuel's Conjecture and Free Exponential Rings.Angus Macintyre - 1991 - Annals of Pure and Applied Logic 51 (3):241-246.
  14.  39
    Omitting Quantifier-Free Types in Generic Structures.Angus Macintyre - 1972 - Journal of Symbolic Logic 37 (3):512-520.
  15.  11
    Quadratic Forms in Models of IΔ0+ Ω1, Part II: Local Equivalence.Paola D’Aquino & Angus Macintyre - 2011 - Annals of Pure and Applied Logic 162 (6):447-456.
    In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of IΔ0+Ω1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  15
    On the Elimination of Imaginaries From Certain Valued Fields.Philip Scowcroft & Angus Macintyre - 1993 - Annals of Pure and Applied Logic 61 (3):241-276.
    A nontrivial ring with unit eliminates imaginaries just in case its complete theory has the following property: every definable m-ary equivalence relation E may be defined by a formula f = f, where f is an m-ary definable function. We show that for certain natural expansions of the field of p-adic numbers, elimination of imaginaries fails or is independent of ZPC. Similar results hold for certain fields of formal power series.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  10
    Free Abelian Lattice-Ordered Groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
    Let n be a positive integer and FAℓ be the free abelian lattice-ordered group on n generators. We prove that FAℓ and FAℓ do not satisfy the same first-order sentences in the language if m≠n. We also show that is decidable iff n{1,2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  11
    On the Elementary Theory of Banach Algebras.Angus Macintyre - 1971 - Annals of Pure and Applied Logic 3 (3):239.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  16
    Turing Meets Schanuel.Angus Macintyre - 2016 - Annals of Pure and Applied Logic 167 (10):901-938.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  5
    Rationality of P-Adic Poincaré Series: Uniformity in P.Angus Macintyre - 1990 - Annals of Pure and Applied Logic 49 (1):31-74.
  21.  21
    Some Supplements to Feferman–Vaught Related to the Model Theory of Adeles.Jamshid Derakhshan & Angus Macintyre - 2014 - Annals of Pure and Applied Logic 165 (11):1639-1679.
    We give foundational results for the model theory of AfinK, the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings interpretable therein. In particular we give a systematic treatment of the product valuation and the valuation monoid. Deeper results are given for the adelic version of Krasner's hyperfields, relating them to the Basarab–Kuhlmann formalism.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  14
    Erratum to “Free Abelian Lattice-Ordered Groups” [Ann. Pure Appl. Logic 134 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
  23.  16
    Logic, Language, Information and Computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
  24.  14
    Conferences.Ruy de Queiroz, Angus Macintyre & Guilherme Bittencourt - 2005 - Logic Journal of the IGPL 13 (6):729-737.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Ramsey Quantifiers in Arithmetic.Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, James H. Schmerl & Stephen G. Simpson - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  14
    The Word Problem for Division Rings.Angus Macintyre - 1973 - Journal of Symbolic Logic 38 (3):428-436.
  27.  10
    Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004.John Baldwin, Lev Beklemishev, Michael Hallett, Valentina Harizanov, Steve Jackson, Kenneth Kunen, Angus J. MacIntyre, Penelope Maddy, Joe Miller & Michael Rathjen - 2005 - Bulletin of Symbolic Logic 11 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  8
    Ideals on Uncountable Cardinals.James E. Baumgartner, Alan Taylor, Stanley Wagon, Angus Macintyre, Leszek Pacholski & Jeff Paris - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
  29. 12th Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de Julho de 2005.Ruy J. G. B. de Queiroz, Angus Macintyre & Guilherme Bittencourt (eds.) - 2005 - [S.N.].
     
    Export citation  
     
    Bookmark  
  30. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark