Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

UNIFORM MODEL-COMPLETENESS FOR THE REAL FIELD EXPANDED BY POWER FUNCTIONS

TOM FOSTER
The Journal of Symbolic Logic
Vol. 75, No. 4 (DECEMBER 2010), pp. 1441-1461
Stable URL: http://www.jstor.org/stable/20799324
Page Count: 21
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
UNIFORM MODEL-COMPLETENESS FOR THE REAL FIELD EXPANDED BY POWER FUNCTIONS
Preview not available

Abstract

We prove that given any first order formula φ in the language L' = {+,., <, (f i ) i ∈ I , (c i ) i ∈ I }, where the f i are unary function symbols and the c i are constants, one can find an existential formula ψ such that φ and ψ are equivalent in any L'-structure $\langle {\Bbb R},+,.,<,(x^{c_{i}})_{i\in I},(c_{i})_{i\in I}\rangle $ .

Page Thumbnails

  • Thumbnail: Page 
1441
    1441
  • Thumbnail: Page 
1442
    1442
  • Thumbnail: Page 
1443
    1443
  • Thumbnail: Page 
1444
    1444
  • Thumbnail: Page 
1445
    1445
  • Thumbnail: Page 
1446
    1446
  • Thumbnail: Page 
1447
    1447
  • Thumbnail: Page 
1448
    1448
  • Thumbnail: Page 
1449
    1449
  • Thumbnail: Page 
1450
    1450
  • Thumbnail: Page 
1451
    1451
  • Thumbnail: Page 
1452
    1452
  • Thumbnail: Page 
1453
    1453
  • Thumbnail: Page 
1454
    1454
  • Thumbnail: Page 
1455
    1455
  • Thumbnail: Page 
1456
    1456
  • Thumbnail: Page 
1457
    1457
  • Thumbnail: Page 
1458
    1458
  • Thumbnail: Page 
1459
    1459
  • Thumbnail: Page 
1460
    1460
  • Thumbnail: Page 
1461
    1461