scientific article

From MaRDI portal

Revision as of 00:28, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3968997

Jump to:navigation, search

zbMath0503.08008MaRDI QIDQ3968997

Angus J. Macintyre

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exponentiation primitive recursive procedure totally hereditarily computable

Mathematics Subject Classification ID

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

Related Items (5)

Equational theory of positive numbers with exponentiation is not finitely axiomatizable ⋮ A normal form for restricted exponential functions ⋮ Growth estimates for exp-log functions ⋮ Which data types have \(\omega\)-complete initial algebra specifications? ⋮ Some results about exponential fields (survey)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3968997&oldid=17680404"