The Hanf number for classes of algebras whose largest congruence is always finitely generated (Q1259582): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: The number of subdirectly irreducible algebras in a variety / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A note on the congruence extension property / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Incompactness in languages with infinitely long expressions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4075458 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Residually small varieties / rank | |||
Normal rank | |||
Latest revision as of 02:38, 13 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Hanf number for classes of algebras whose largest congruence is always finitely generated |
scientific article |
Statements
The Hanf number for classes of algebras whose largest congruence is always finitely generated (English)
0 references
1979
0 references
finitely generated largest congruence
0 references
first order theory of universal algebras
0 references
simple algebras
0 references
Hanf number
0 references
countable universal theories
0 references
congruence extension property
0 references
inductive theories
0 references
0 references
