Counting models in universal Horn classes

DOI10.1007/BF02483731zbMath0525.03028OpenAlexW2069468298MaRDI QIDQ594089

Ralph McKenzie, John T. Baldwin

Publication date: 1982

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483731

zbMATH Keywords

congruence modular varietyalgebras of countable similarity typenumber of nonisomorphic modelsuniversal Horn classes

Mathematics Subject Classification ID

Abstract model theory (03C95)

Related Items

Bjarni Jónsson's contributions in algebra, Categorical quasivarieties revisited, Elementary theory of \({\mathfrak D}\)-degrees, B-separating algebras, European Summer Meeting of the Association for Symbolic Logic, The number of non-isomorphic models in quasi-varieties of semigroups, Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991, Congruence-distributive varieties of algebras, Superstability, Noetherian rings and pure-semisimple rings, Vaught's conjecture for superstable theories of finite rank, Vaught's conjecture for modules over a serial ring, Abelian algebras and the Hamiltonian property, On superstability in the class of flat modules and perfect rings, The structure of saturated free algebras, Rings of finite representation type and modules of finite Morley rank, Clones satisfying the term condition, Categorical quasivarieties via Morita equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The number of rigid Boolean algebras
• On universal Horn classes categorical in some infinite power
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• An easy way to the commutator in modular varieties
• The number of non-isomorphic denumerable models of certain universal Horn classes
• Boolean powers
• Classification theory and the number of non-isomorphic models
• Purity and algebraic compactness for modules
• On the number of complete Boolean algebras
• The first order properties of products of algebraic systems
• On isomorphic free algebras
• On Two Properties of Free Algebras.
• Direct product decomposition of theories of modules
• Decomposition of totally transcendental modules
• Decidability and Boolean representations
• Vaught's conjecture for theories of one unary operation
• ℵ₀-categorical modules
• The number of countable models of a theory of one unary function
• Model theory of topological structures
• Model-completions and modules
• On the categoricity in power of elementary deductive systems and some related problems