On universal Horn classes categorical in some infinite power

DOI10.1007/BF02945108zbMath0272.02078MaRDI QIDQ759010

John T. Baldwin, Alistair H. Lachlan

Publication date: 1973

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Varieties (08B99)

Related Items

Categorical quasivarieties revisited, Universal theories categorical in power and \(\kappa\)-generated models, Unnamed Item, Sheaf Constructions and Their Elementary Properties, Counting models in universal Horn classes, Categorical positive Horn theories, The periodic power of \(\mathcal A\) and complete Horn theories, Plain para primal algebras, Categorical Horn classes. I, The number of non-isomorphic denumerable models of certain universal Horn classes, UNIVERSAL CLASSES NEAR ${\aleph _1}$, Boolean powers, The description of categorical quasivarieties, The fine spectrum of a variety, Fragments of first order logic, I: universal Horn logic, \(\aleph_0\)-categoricity and stability of rings, A finite algebra A with SP(A) not elementary, Encoding orders and trees in binary relations, v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC, Model complete universal Horn classes, Categorical quasivarieties via Morita equivalence, Characterizing categoricity in several classes of modules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countable models of \(\aleph_ 1\)-categorical theories
• Models with countable-categorical universal theories
• The first order properties of products of algebraic systems
• A representation theorem for Marczewski's algebras
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Independence in algebras of sets and Boolean algebras
• Categoricity in Power
• On strongly minimal sets
• Almost strongly minimal theories. I
• Almost strongly minimal theories. II