About: Tarski's exponential function problem

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Tarski's exponential function problem Goto Sponge NotDistinct Permalink

An Entity of Type : yago:State100024720, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

In model theory, Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Alfred Tarski had previously shown that the theory of the real numbers (without the exponential function) is decidable.

Attributes	Values
rdf:type	yago:WikicatUnsolvedProblemsInMathematics yago:Abstraction100002137 yago:Attribute100024264 yago:Condition113920835 yago:Difficulty114408086 yago:Problem114410605 yago:State100024720
rdfs:label	Problema da função exponencial de Tarski (pt) Tarski's exponential function problem (en)
rdfs:comment	In model theory, Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Alfred Tarski had previously shown that the theory of the real numbers (without the exponential function) is decidable. (en) Na teoria dos modelos, o problema da função exponencial de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível. Alfred Tarski tinha mostrado anteriormente que a teoria dos números reais (sem a função exponencial) é decidível. (pt)
dct:subject	Unsolved problems in mathematics Model theory
Wikipage page ID	16073214 (xsd:integer)
Wikipage revision ID	1033527234 (xsd:integer)
Link from a Wikipage to another Wikipage	Model theory Decidability (logic) Decidability of first-order theories of the real numbers Schanuel's conjecture Unsolved problems in mathematics Ordered ring Sine Singular point of a curve Alfred Tarski Exponential function Necessary and sufficient condition Model theory Theory (mathematical logic) Real closed field Real number Exponential polynomial
sameAs	Tarski's exponential function problem Tarski's exponential function problem Tarski's exponential function problem Tarski's exponential function problem Tarski's exponential function problem
dbp:wikiPageUsesTemplate	dbt:Springer dbt:Citation dbt:Harv dbt:Harvtxt dbt:Mvar
first	S. (en)
id	M/m110160 (en)
last	Kuhlmann (en)
title	Model theory of the real exponential function (en)
has abstract	In model theory, Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Alfred Tarski had previously shown that the theory of the real numbers (without the exponential function) is decidable. (en) Na teoria dos modelos, o problema da função exponencial de Tarski pergunta se a teoria dos números reais junto com a função exponencial é decidível. Alfred Tarski tinha mostrado anteriormente que a teoria dos números reais (sem a função exponencial) é decidível. (pt)
prov:wasDerivedFrom	wikipedia-en:Tarski's_exponential_function_problem?oldid=1033527234&ns=0
page length (characters) of wiki page	4139 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Tarski's_exponential_function_problem
is Link from a Wikipage to another Wikipage of	Decidability (logic) Decidability of first-order theories of the real numbers List of mathematical logic topics Schanuel's conjecture Ordered exponential field Exponential field List of things named after Alfred Tarski List of unsolved problems in mathematics Tarski's problem Model theory of the real exponential function
is Wikipage redirect of	Model theory of the real exponential function
is foaf:primaryTopic of	wikipedia-en:Tarski's_exponential_function_problem

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 69 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software