Equational theory of positive numbers with exponentiation is not finitely axiomatizable

DOI10.1016/0168-0072(90)90049-8zbMath0707.03023MaRDI QIDQ918968

Elsie Sterbin Gottlieb

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(90)90049-8

zbMATH Keywords

equational theory; identity; finitely axiomatizable; positive numbers with exponentiation

Mathematics Subject Classification ID

03C62: Models of arithmetic and set theory

03C05: Equational classes, universal algebra in model theory

Related Items

POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., On finite alphabets and infinite bases, A field guide to equational logic, A note on HSI-algebras and counterexamples to Wilkie's identity, Which data types have \(\omega\)-complete initial algebra specifications?, Inherently nonfinitely based lattices, Axiomatic (and non-axiomatic) mathematics, Remarks on isomorphisms in typed lambda calculi with empty and sum types, 1995–1996 Winter Meeting of the Association for Symbolic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Polynomial functions with exponentiation are well ordered
• An initial segment of the set of polynomial functions with exponentiation
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
• Equational Theory of Positive Numbers with Exponentiation
• The Logic of Equality