Angus Macintyre - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2023

-1Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter. cea, 215:108419, December 2023. [doi]

2022

Model theory of adeles IJamshid Derakhshan, Angus Macintyre. APAL, 173(3):103074, 2022. [doi]

2017

Model Theory of Some Local RingsPaola D'Aquino, Angus Macintyre. flap, 4(4), 2017. [doi]

2016

Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283]Andrew M. W. Glass, Angus Macintyre, Françoise Point. APAL, 167(4):431-433, 2016. [doi]

Turing meets SchanuelAngus Macintyre. APAL, 167(10):901-938, 2016. [doi]

2014

Some supplements to Feferman-Vaught related to the model theory of adelesJamshid Derakhshan, Angus Macintyre. APAL, 165(11):1639-1679, 2014. [doi]

2013

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fieldsRaf Cluckers, Jamshid Derakhshan, Eva Leenknegt, Angus Macintyre. APAL, 164(12):1236-1246, 2013. [doi]

2011

Quadratic forms in models of IΔ::0::+Ω::1::, Part II: Local equivalencePaola D Aquino, Angus Macintyre. APAL, 162(6):447-456, 2011. [doi]

2010

Exponentiations over the universal enveloping algebra of sl::2::(C)Sonia L Innocente, Angus Macintyre, Françoise Point. APAL, 161(12):1565-1580, 2010. [doi]

2008

Logic, Language, Information and ComputationRuy J. G. B. de Queiroz, Angus Macintyre. APAL, 152(1-3):1-2, 2008. [doi]

Model theory of exponentials on Lie algebrasAngus Macintyre. mscs, 18(1):189-204, 2008. [doi]

2007

Quadratic forms in models of IDelta::0::+Omega::1::. IPaola D Aquino, Angus Macintyre. APAL, 148(1-3):31-48, 2007. [doi]

2006

PrefaceRuy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt. ENTCS, 143:1-4, 2006. [doi]

2005

Free abelian lattice-ordered groupsAndrew M. W. Glass, Angus Macintyre, Françoise Point. APAL, 134(2-3):265-283, 2005. [doi]

2003

Model theory: Geometrical and set-theoretic aspects and prospectsAngus Macintyre. bsl, 9(2):197-212, 2003. [doi]

2001

Logarithmic-exponential seriesLou van den Dries, Angus Macintyre, David Marker. APAL, 111(1-2):61-113, 2001.

1997

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural NetworksMarek Karpinski, Angus Macintyre. jcss, 54(1):169-176, 1997.

Approximating the Volume of General Pfaffian BodiesMarek Karpinski, Angus Macintyre. BIRTHDAY 1997: 162-173

Generic Automorphisms of FieldsAngus Macintyre. APAL, 88(2-3):165-180, 1997.

1995

Polynomial bounds for VC dimension of sigmoidal neural networksMarek Karpinski, Angus Macintyre. stoc 1995: 200-208 [doi]

Bounding VC-dimension of neural networks: Progress and prospectsMarek Karpinski, Angus Macintyre. eurocolt 1995: 337-341

1994

Polynomial Bounds for VC Dimension of Sigmoidal Neural NetworksMarek Karpinski, Angus Macintyre. eccc, 1(24), 1994. [doi]

1993

Finiteness results for sigmoidal neural networksAngus Macintyre, Eduardo D. Sontag. stoc 1993: 325-334 [doi]

On the Elimination of Imaginaries from Certain Valued FieldsPhilip Scowcroft, Angus Macintyre. APAL, 61(3):241-276, 1993.

1991

Schanuel s Conjecture and Free Exponential RingsAngus Macintyre. APAL, 51(3):241-246, 1991.

1990

Rationality of p-adic Poincaré Series: Uniformity in pAngus Macintyre. APAL, 49(1):31-74, 1990.

1989

Primes and Their Residue Rings in Models of Open InductionAngus Macintyre, David Marker. APAL, 43(1):57-77, 1989.

1983

Decision Problems for Exponential Rings: The p-adic caseAngus Macintyre. fct 1983: 285-289

1976

On Definable Subsets of p-Adic FieldsAngus Macintyre. JSYML, 41(3):605-610, 1976.

1973

The Word Problem for Division RingsAngus Macintyre. JSYML, 38(3):428-436, 1973.

1972

Omitting Quantifier-Free Types in Generic StructuresAngus Macintyre. JSYML, 37(3):512-520, 1972.

Sign in or sign up to see more results.

runs on WebDSL