On Solvable Congruences in Finitely Decidable Varieties Journal Articles

abstract

• AbstractIn 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.

authors

• Valeriote, Matthew Anthony

status

• published 

publication date

• January 1994

has subject area

• 0101 Pure Mathematics (FoR)
• General Mathematics (Science Metrix)

published in

• Mathematical Logic Quarterly  Journal

keywords

• ABELIAN VARIETY
• CONGRUENCE MODULARITY
• DECIDABLE LOCALLY FINITE VARIETY
• Logic
• Mathematics
• Physical Sciences
• Science & Technology
• Science & Technology - Other Topics
• TAME CONGRUENCE THEORY
• TRANSFER PRINCIPLE

Digital Object Identifier (DOI)

• 10.1002/malq.19940400309

start page

• 398

end page

• 414

volume

• 40

issue

• 3