Equational theory of positive numbers with exponentiation is not finitely axiomatizable
From MaRDI portal
Publication:918968
DOI10.1016/0168-0072(90)90049-8zbMath0707.03023MaRDI QIDQ918968
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
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