scientific article
From MaRDI portal
Publication:2758397
zbMath0993.03044MaRDI QIDQ2758397
Publication date: 16 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)
Related Items (4)
Equational theory of positive numbers with exponentiation is not finitely axiomatizable ⋮ 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
This page was built for publication:
