Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

A. J. Wilkie

misc1996

Citation key: Wilkie1996ModelComplete
Year: 1996
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

A. J. Wilkie, “Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function,” Journal of the AMS 9 (1996), 1051–1094, DOI: 10.1090/S0894-0347-96-00216-0.

Catalog connections

Conjectures citing this source

LOG-DEC-005Decidability of the Real Exponential FieldLogic and foundations

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: A. J. Wilkie
doi: 10.1090/S0894-0347-96-00216-0
note: A. J. Wilkie, “Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function,” Journal of the AMS 9 (1996), 1051–1094, DOI: 10.1090/S0894-0347-96-00216-0.
title: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function,
year: 1996