The Hanf number for classes of algebras whose largest congruence is always finitely generated (Q1259582): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The number of subdirectly irreducible algebras in a variety
+Normal rank
@@ Property / cites work @@
+A note on the congruence extension property
@@ Property / cites work: A note on the congruence extension property / rank @@
+Normal rank
@@ Property / cites work @@
+Incompactness in languages with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q4075458
@@ Property / cites work: Q4075458 / rank @@
+Normal rank
@@ Property / cites work @@
+Residually small varieties
@@ Property / cites work: Residually small varieties / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1259582