Elimination of quantifiers in algebraic structures

Angus Macintyre; Kenneth McKenna; Lou van den Dries

doi:10.1016/0001-8708(83)90055-5

Elimination of quantifiers in algebraic structures

Angus Macintyre, Kenneth McKenna, Lou van den Dries

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	74-87
Number of pages	14
Journal	Advances in Mathematics
Volume	47
Issue number	1
DOIs	https://doi.org/10.1016/0001-8708(83)90055-5
State	Published - Jan 1983
Externally published	Yes

ASJC Scopus subject areas

Mathematics(all)

Online availability

10.1016/0001-8708(83)90055-5

Library availability

Discover UIUC Full Text

Cite this

@article{e9216c6d48aa45dd853ea7ad10702a3b,

title = "Elimination of quantifiers in algebraic structures",

author = "Angus Macintyre and Kenneth McKenna and {van den Dries}, Lou",

year = "1983",

month = jan,

doi = "10.1016/0001-8708(83)90055-5",

language = "English (US)",

volume = "47",

pages = "74--87",

journal = "Advances in Mathematics",

issn = "0001-8708",

publisher = "Academic Press Inc.",

number = "1",

}

TY - JOUR

T1 - Elimination of quantifiers in algebraic structures

AU - Macintyre, Angus

AU - McKenna, Kenneth

AU - van den Dries, Lou

PY - 1983/1

Y1 - 1983/1

UR - http://www.scopus.com/inward/record.url?scp=0002371619&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0002371619&partnerID=8YFLogxK

U2 - 10.1016/0001-8708(83)90055-5

DO - 10.1016/0001-8708(83)90055-5

M3 - Article

AN - SCOPUS:0002371619

SN - 0001-8708

VL - 47

SP - 74

EP - 87

JO - Advances in Mathematics

JF - Advances in Mathematics

IS - 1

ER -

Elimination of quantifiers in algebraic structures

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this