Equational theory of positive numbers with exponentiation is not finitely axiomatizable

DOI10.1016/0168-0072(90)90049-8zbMath0707.03023OpenAlexW1987877697MaRDI 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 theoryidentityfinitely axiomatizablepositive numbers with exponentiation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Equational classes, universal algebra in model theory (03C05)

Related Items

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

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