Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 7 of 7

Order by Relevance | Title | Year of publication

Martin's Axiom Applied to Existentially Closed Groups.

Angus Macintyre — 1973

Mathematica Scandinavica

Model-completeness for sheaves of structures

Angus Macintyre — 1973

Fundamenta Mathematicae

On $ω_{1}$ -categorical theories of fields

Angus Macintyre — 1971

Fundamenta Mathematicae

On $ω_{1}$ -categorical theories of abelian groups

Angus Macintyre — 1971

Fundamenta Mathematicae

A failure of quantifier elimination.

Angus Macintyre; David Marker — 1997

Revista Matemática de la Universidad Complutense de Madrid

We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.

The logic of Rumely's local-global principle.

L. van den Dries; Angus Macintyre — 1990

Journal für die reine und angewandte Mathematik

Schanuel Nullstellensatz for Zilber fields

Paola D'Aquino; Angus Macintyre; Giuseppina Terzo — 2010

Fundamenta Mathematicae

We characterize the unsolvable exponential polynomials over the exponential fields introduced by Zilber, and deduce Picard's Little Theorem for such fields.

Page 1

Download Results (CSV)