scientific article; zbMATH DE number 1081433
From MaRDI portal
Publication:4362314
zbMath0884.03031MaRDI QIDQ4362314
Publication date: 29 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerfinitely axiomatizablerecursive isomorphismLindenbaum algebrarecursively axiomatizablecomplexity of semantic classes of sentences
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)
Related Items (5)
Pseudofinite formulae ⋮ The property of being a model complete theory is preserved by Cartesian extensions ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Approximations of theories ⋮ The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
This page was built for publication:
