On the Universal Theory of Classes of Finite Models

DOI10.2307/1999280zbMath0521.03021MaRDI QIDQ3671138

Sauro Tulipani

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/1999280

zbMATH Keywords

residually finite; algebraic structures; finitely presented; universal sentence; first order theory; universally finite equational theories

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C13: Model theory of finite structures

03C05: Equational classes, universal algebra in model theory

08C10: Axiomatic model classes

Related Items

Unnamed Item, Finitely determined arithmetical varieties need not be universally- finite, Bjarni Jónsson's contributions in algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational compactness in rings. With applications to the theory of topological rings
• A note on the elementary theory of finite abelian groups
• Model theory
• Equational classes of modular lattices
• Residually small varieties
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Sheaf Constructions and Their Elementary Properties
• Modules over commutative regular rings
• Algebras Whose Congruence Lattices are Distributive.
• A Finitely Related Group with An Isomorphic Proper Factor Group
• A Finitely Generated Infinite Simple Group
• Einige Sätze über freie Gruppen