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 American Mathematical Society, vol. 9 (1996), pp. 1051–1094.

Charles Steinhorn

doi:10.2307/2586513

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 American Mathematical Society, vol. 9 (1996), pp. 1051–1094.

Journal of Symbolic Logic ◽

10.2307/2586513 ◽

1999 ◽

Vol 64 (2) ◽

pp. 910-913

Author(s):

Charles Steinhorn

Keyword(s):

Exponential Function ◽

American Mathematical Society ◽

Mathematical Society ◽

Real Numbers ◽

Model Completeness ◽

Ordered Field

Download Full-text

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

Journal of the American Mathematical Society ◽

10.1090/s0894-0347-96-00216-0 ◽

1996 ◽

Vol 9 (4) ◽

pp. 1051-1094 ◽

Cited By ~ 132

Author(s):

A. J. Wilkie

Keyword(s):

Exponential Function ◽

Real Numbers ◽

Model Completeness ◽

Ordered Field

Download Full-text

MODEL COMPLETENESS RESULTS FOR EXPANSIONS OF THE ORDERED FIELD OF REAL NUMBERS BY RESTRICTED PFAFFIAN FUNCTIONS AND THE EXPONENTIAL FUNCTION

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0029 ◽

2003 ◽

pp. 628-671 ◽

Cited By ~ 1

Author(s):

A. J. WILKIE

Keyword(s):

Exponential Function ◽

Real Numbers ◽

Model Completeness ◽

Ordered Field

Download Full-text

G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.

Journal of Symbolic Logic ◽

10.2307/2273571 ◽

1983 ◽

Vol 48 (2) ◽

pp. 496-496

Author(s):

Stephen D. Comer

Keyword(s):

American Mathematical Society ◽

Commutative Rings ◽

Mathematical Society ◽

Symbolic Logic ◽

Model Completeness ◽

Model Companion ◽

Nilpotent Elements

Download Full-text

H. G. Rice. Recursive real numbers. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 784–791.

Journal of Symbolic Logic ◽

10.2307/2266928 ◽

1955 ◽

Vol 20 (2) ◽

pp. 177-177

Author(s):

Norman Shapiro

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Real Numbers

Download Full-text

Problems in mathematical analysis I: real numbers, sequences and series, by W. J. Kaczor and M. T. Nowak. Pp. 380. $49. 2000. ISBN 0 8218 2050 8 (American Mathematical Society).

The Mathematical Gazette ◽

10.1017/s0025557200174765 ◽

2004 ◽

Vol 88 (511) ◽

pp. 180-181

Author(s):

S. C. Russen

Keyword(s):

Mathematical Analysis ◽

American Mathematical Society ◽

Mathematical Society ◽

Real Numbers

Download Full-text

Geometric Asymptotics for Nonlinear PDE. I. By V. P. MASLOV & G. A. OMEL’YANOV. Translations of Mathematical Monographs, Vol. 202, American Mathematical Society, 2001. 285 pp. ISBN 0-8218-2109-1.

Journal of Fluid Mechanics ◽

10.1017/s0022112002228979 ◽

2002 ◽

Vol 461 ◽

pp. 408-410

Keyword(s):

American Mathematical Society ◽

Nonlinear Pde ◽

Mathematical Society

Download Full-text

Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002

ACM SIGACT News ◽

10.1145/1107523.1107529 ◽

2005 ◽

Vol 36 (4) ◽

pp. 5-8

Author(s):

Maulik A. Dave

Keyword(s):

Data Structures ◽

American Mathematical Society ◽

Near Neighbor ◽

Mathematical Society ◽

Implementation Challenge

Download Full-text

Citations versus expert opinions: citation analysis of featured reviews of the American Mathematical Society

Scientometrics ◽

10.1007/s11192-021-03894-2 ◽

2021 ◽

Vol 126 (5) ◽

pp. 3853-3870

Author(s):

Lawrence Smolinsky ◽

Daniel S. Sage ◽

Aaron J. Lercher ◽

Aaron Cao

Keyword(s):

Citation Analysis ◽

American Mathematical Society ◽

Mathematical Society ◽

Expert Opinions

Download Full-text

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

THE AMERICAN MATHEMATICAL SOCIETY

Science ◽

10.1126/science.55.1431.600 ◽

1922 ◽

Vol 55 (1431) ◽

pp. 600-602

Author(s):

R. G. D. Richardson

Keyword(s):

American Mathematical Society ◽

Mathematical Society

Download Full-text