scientific article; zbMATH DE number 3792250

MaRDI QIDQ3968997zbMATH OpenFDO

Authors Angus Macintyre

Publication date 1981

zbMATH Keywords

exponentiationprimitive recursive proceduretotally hereditarily computable

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems (aspects of algebraic structures) (08A50)

Cited in

(7)

• Which data types have -complete initial algebra specifications?
• Some results about exponential fields (survey)
• A normal form for restricted exponential functions
• Finite models for positive combinatorial and exponential algebra
• Constructing -free Hardy fields
• Growth estimates for exp-log functions
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3968997)