Austin algebras (Q1966126)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Austin algebras |
scientific article; zbMATH DE number 1407079
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Austin algebras |
scientific article; zbMATH DE number 1407079 |
Statements
Austin algebras (English)
0 references
27 February 2000
0 references
One of the earliest problems of undecidability was whether an identity having a non-trivial model has a finite one. A negative answer to this was given by \textit{A. K.~Austin} [Proc. Am. Math. Soc. 16, 522-523 (1965; Zbl 0137.00802)], who found an identity which has non-trivial models but every of its models is infinite. With the help of a PC, the author constructs a more convenient identity \((((yy)y)x)(yz)=x\) with the same property.
0 references
Austin identity
0 references
finite model
0 references
undecidability
0 references
identities with nontrivial models
0 references
0 references
0 references
