On Solvable Congruences in Finitely Decidable Varieties
β Scribed by Matthew A. Valeriote
- Publisher
- John Wiley and Sons
- Year
- 1994
- Tongue
- English
- Weight
- 993 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
In this paper we establish the (1, 2)β and (2, 1)βtransfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of finite algebras and have strong global consequences.
Mathematics Subject Classification: 08A05, 03C13, 08B05, 08B10.
π SIMILAR VOLUMES
The expression q n(n&1)Γ4 should be replaced with the expression q (n+2)(n&1)Γ4 in the first displayed equation in the statement of Theorem 1.2 (page 427), as well as in the first displayed equation in the statement of Proposition 3.2.1 (page 445) and in the displayed equation at the bottom of page