On the “Problem of the Last Root” for Exponential Terms

Mathematical Logic Quarterly 31 (9-12):163-168 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9‐12):163-168.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
A lower bound for intuitionistic logic.Pavel Hrubeš - 2007 - Annals of Pure and Applied Logic 146 (1):72-90.
On the structure of nonarchimedean exponential fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.
Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13‐16):229-236.
On the theory of exponential fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.
Orderings in Exponential Fields of Term Defined Functions.Helmut Wolter - 1989 - Mathematical Logic Quarterly 35 (2):187-192.
Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13-16):229-236.

Analytics

Added to PP
2015-12-02

Downloads
24 (#639,942)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references