scientific article

zbMath0524.03022MaRDI QIDQ3037401

Sauro Tulipani

Publication date: 1983

Full work available at URL: https://eudml.org/doc/13382

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

infinite modelscongruence latticestable algebrascountable language without relational symbolsdefinability of compact congruences

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Subalgebras, congruence relations (08A30) Classification theory, stability, and related concepts in model theory (03C45) Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40)

Related Items (1)

On the size of congruence lattices for models of theories with definability of congruences

Cites Work

• Unnamed Item
• Unnamed Item
• On the size of congruence lattices for models of theories with definability of congruences
• Uniform congruence schemes
• On classes of algebras with the definability of congruences
• The number of subdirectly irreducible algebras in a variety
• A new proof of the congruence lattice representation theorem
• Model theory
• Residually small varieties
• On congruence lattices in a category
• Lattices of convex equivalences
• The stability function of a theory

This page was built for publication: