THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763)
From MaRDI portal
scientific article; zbMATH DE number 6472559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES |
scientific article; zbMATH DE number 6472559 |
Statements
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (English)
0 references
14 August 2015
0 references
definable principal subcongruences
0 references
undecidable
0 references
finite basis
0 references
finite residual bound
0 references
