On the Universal Theory of Classes of Finite Models
From MaRDI portal
Publication:3671138
DOI10.2307/1999280zbMath0521.03021MaRDI QIDQ3671138
Publication date: 1984
Full work available at URL: https://doi.org/10.2307/1999280
residually finite; algebraic structures; finitely presented; universal sentence; first order theory; universally finite equational theories
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