Skip to main content
SpringerLink
Log in

On subsets of the Skolem class of exponential polynomials

  • Conference paper
  • First Online:
Computation and Proof Theory

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1104))

  • 337 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. EHRENFEUCHT: Polynomial functions with exponentiation are well ordered. Algebra Universalis 3 (1973), pp. 261–262.

    Article  MathSciNet  MATH  Google Scholar 

  2. J.B. KRUSKAL: Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture. Trans. Amer. Math. Soc. 95 (1960), pp. 210–225.

    MathSciNet  MATH  Google Scholar 

  3. H. LEVITZ: An ordered set of arithmetic functions representing the least ε-number. Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 21, S115–120 (1975).

    Article  MathSciNet  Google Scholar 

  4. H. LEVITZ: An ordinal bound for the set of polynomial functions with exponentiation. Algebra Universalis 8 (1978), 233–243.

    Article  MathSciNet  MATH  Google Scholar 

  5. H. LEVITZ: Decidability of some problems pertaining to base 2 exponential diophantine equations. To appear, Zeitschr. f. math. Logik und Grundlagen d. Math.

    Google Scholar 

  6. R. McBETH: Fundamental squences for exponential polynomials. Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 26, S115–122 (1980).

    Article  MathSciNet  Google Scholar 

  7. D. RICHARDSON: Solution of the identity problem for integral exponential functions. Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 15, S. 333–340 (1969).

    Article  MathSciNet  MATH  Google Scholar 

  8. TH. SKOLEM: An ordered set of arithmetic functions representing the least ε-number. DET KONGELIGE NORSKE VIDENSKABERS SELKABS FORHANDLINGER Bind 29 (1956) Nr. 12.

    Google Scholar 

  9. P.H. SLESSENGER: A height restricted generation of a set of arithmetic functions of order-type ε0. To appear, Zeitschr. f. math. Logik und Grundlagen d. Math.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics Department, Leeds University, LS2 9JT, Leeds, England

    P. H. Slessenger

Authors
  1. P. H. Slessenger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Walter Oberschelp Michael M. Richter Brigitta Schinzel Wolfgang Thomas

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag

About this paper

Cite this paper

Slessenger, P.H. (1984). On subsets of the Skolem class of exponential polynomials. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099495

Download citation

  • DOI: https://doi.org/10.1007/BFb0099495

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13901-0

  • Online ISBN: 978-3-540-39119-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation