On the Universal Theory of Classes of Finite Models

DOI10.2307/1999280zbMath0521.03021OpenAlexW4252762409MaRDI QIDQ3671138

Sauro Tulipani

Publication date: 1984

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

zbMATH Keywords

residually finitealgebraic structuresfinitely presenteduniversal sentencefirst order theoryuniversally finite equational theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items

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

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