scientific article; zbMATH DE number 3499747

zbMath0319.02048MaRDI QIDQ4081239

Haim Gaifman

Publication date: 1974

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure theory of algebraic structures (08A05) Free algebras (08B20) Other classical first-order model theory (03C68)

Related Items (6)

First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Completeness for systems including real numbers ⋮ A logical study of the correspondence relation ⋮ On conceptual completeness of syntactic-semantical systems

This page was built for publication: