scientific article; zbMATH DE number 934778
From MaRDI portal
Publication:4895324
zbMath0893.03011MaRDI QIDQ4895324
Publication date: 14 October 1996
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 (6)
Degree spectra and computable dimensions in algebraic structures ⋮ A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic ⋮ Virtual algebraic isomorphisms between predicate calculi of finite rich signatures ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ A.D. Taimanov and model theory in Kazakhstan
This page was built for publication:
