On the decidability of the real exponential field

Angus Macintyre and A. J. Wilkie

misc1996

Citation key: MacintyreWilkie1996
Year: 1996
Cited by: 2 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Angus Macintyre and A. J. Wilkie, “On the decidability of the real exponential field,” in Kreiseliana, A K Peters (1996), 441–467, DOI: 10.1007/978-94-015-8923-9_11.

Catalog connections

Conjectures citing this source

NT-TRANS-021Schanuel’s ConjectureNumber theory
LOG-DEC-005Decidability of the Real Exponential FieldLogic and foundations

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Angus Macintyre and A. J. Wilkie
doi: 10.1007/978-94-015-8923-9_11
note: Angus Macintyre and A. J. Wilkie, “On the decidability of the real exponential field,” in Kreiseliana, A K Peters (1996), 441–467, DOI: 10.1007/978-94-015-8923-9_11.
title: On the decidability of the real exponential field,
year: 1996