Open Problem Garden
Help
About
Contact
login/create account
Home
»
Author index
Tarski, Alfred
Logic
Tarski's exponential function problem
★★
Author(s):
Tarski
Conjecture
Is the theory of the real numbers with the exponential function decidable?
Keywords:
Decidability
Posted by
Charles
updated July 8th, 2008
add new comment
Navigate
Subject
Algebra
(7)
Analysis
(5)
Combinatorics
(35)
Geometry
(29)
Graph Theory
(227)
Group Theory
(5)
Logic
(10)
Number Theory
(48)
PDEs
(0)
Probability
(1)
Theoretical Comp. Sci.
(13)
Topology
(40)
Unsorted
(1)
Author index
Keyword index
more
Recent Activity
KPZ Universality Conjecture
3-Edge-Coloring Conjecture
Several ways to apply a (multivalued) multiargument function to a family of filters
Jones' conjecture
Multicolour Erdős--Hajnal Conjecture
more