The following pages link to Angus J. Macintyre (Q787960):
Displayed 50 items.
- Item:Q787960 (redirect page) (← links)
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- From Schanuel's conjecture to Shapiro's conjecture (Q466219) (← links)
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields (Q490661) (← links)
- Free abelian lattice-ordered groups (Q556825) (← links)
- Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\) (Q636389) (← links)
- Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence (Q639651) (← links)
- Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks (Q676431) (← links)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- Rationality of p-adic Poincaré series: Uniformity in p (Q807686) (← links)
- Truncations of ordered abelian groups (Q829755) (← links)
- Item:Q787960 (redirect page) (← links)
- Elementary equivalence and codimension in p-adic fields (Q1115924) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- The forcing companions of number theories (Q1215625) (← links)
- Item:Q787960 (redirect page) (← links)
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures (Q1233438) (← links)
- Algebraic properties of number theories (Q1237783) (← links)
- Uncountable universal locally finite groups (Q1240310) (← links)
- Existentially closed structures and Jensen's principle \(\diamond\) (Q1245219) (← links)
- Totally categorical groups and rings (Q1254992) (← links)
- The elementary theory of restricted analytic fields with exponentiation (Q1341981) (← links)
- Generic automorphisms of fields (Q1377642) (← links)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\) (Q1567349) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure (Q1971500) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- Schanuel's conjecture and free exponential rings (Q2277030) (← links)
- Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I (Q2382276) (← links)
- Inequalities for functions regular and bounded in a circle (Q2535062) (← links)
- On algebraically closed groups (Q2558384) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- (Q2758399) (← links)
- (Q2758400) (← links)
- (Q2856483) (← links)
- (Q3035264) (← links)
- The algebraic numbers definable in various exponential fields (Q3167453) (← links)
- (Q3216749) (← links)
- Degrees of Recursively Saturated Models (Q3222194) (← links)
- (Q3255537) (← links)
- (Q3315623) (← links)
- COMPARING AND ZILBER’S EXPONENTIAL FIELDS: ZERO SETS OF EXPONENTIAL POLYNOMIALS (Q3460404) (← links)
- (Q3481833) (← links)
- (Q3509170) (← links)
- (Q3535222) (← links)
- (Q3659766) (← links)
- (Q3671969) (← links)
- (Q3758813) (← links)
- Combinatorial Problems for Skew Fields I. Analogue of Britton's Lemma, and Results of Adjan-Rabin Type (Q3871047) (← links)
- (Q3887652) (← links)