𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


CORRIGENDUM: Volume 73, Number 2 (1998),
πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 27 KB

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