Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Polynomial functions with exponentiation are well ordered / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational Theory of Positive Numbers with Exponentiation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logic of Equality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An initial segment of the set of polynomial functions with exponentiation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3968997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2758397 / rank | |||
Normal rank |
Latest revision as of 10:26, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equational theory of positive numbers with exponentiation is not finitely axiomatizable |
scientific article |
Statements
Equational theory of positive numbers with exponentiation is not finitely axiomatizable (English)
0 references
1990
0 references
The author considers the equational theory K of \((N,1,+,*,\uparrow).\) Let T be the standard axioms for addition, multiplication and exponentiation. A. Tarski asked if the whole of K can be derived from T. A. J. Wilkie first provided an identity holding in N but not derivable from T. It is proved in the paper that for any finite \(S\subseteq K\) there is an identity from K in one variable which is not derived from S.
0 references
positive numbers with exponentiation
0 references
finitely axiomatizable
0 references
equational theory
0 references
identity
0 references
0 references