On the Universal Theory of Classes of Finite Models

DOI10.2307/1999280MaRDI QIDQ3671138zbMATH OpenOpenAlexFDO

Authors Sauro Tulipani

Publication date 1984

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

zbMATH Keywords

algebraic structuresfinitely presentedfirst order theoryresidually finiteuniversal sentenceuniversally finite equational theories

Mathematics Subject Classification ID

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

Cites work

• A Finitely Generated Infinite Simple Group
• A Finitely Related Group with An Isomorphic Proper Factor Group
• A note on the elementary theory of finite abelian groups
• Algebras Whose Congruence Lattices are Distributive.
• Einige Sätze über freie Gruppen
• Equational classes of modular lattices
• Equational compactness in rings. With applications to the theory of topological rings
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3470593 (Why is no real title available?)
• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• Model theory
• Modules over commutative regular rings
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Residually small varieties
• Sheaf Constructions and Their Elementary Properties

Cited in

(3)

• Finitely determined arithmetical varieties need not be universally- finite
• Bjarni Jónsson's contributions in algebra
• scientific article; zbMATH DE number 2156380 (Why is no real title available?)

This page was built for publication: On the Universal Theory of Classes of Finite Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671138)