Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On Solvable Congruences in Finitely Decidable Varieties
View through CrossRef
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.
Title: On Solvable Congruences in Finitely Decidable Varieties
Description:
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.
Related Results
CHICKPEA: A PROMISING LEGUME CROP FOR THE GRAIN INDUSTRY
CHICKPEA: A PROMISING LEGUME CROP FOR THE GRAIN INDUSTRY
Abstract
The cultivation of chickpea seeds covers various climatic zones, allowing its cultivation in many countries. The conducted analysis shows that India is the largest produc...
CLEMATIS IN URBAN LANDSCAPES OF POLTAVA: VARIETY AND MORPHOLOGICAL PROFILE
CLEMATIS IN URBAN LANDSCAPES OF POLTAVA: VARIETY AND MORPHOLOGICAL PROFILE
The study presents the results of research on the variety of clematis grown in the urban landscapes of Poltava. It was found that the varieties studied are the result of the work o...
Teaching Congruences in Connection with Diophantine Equations
Teaching Congruences in Connection with Diophantine Equations
The presented paper is devoted to the new teaching model of congruences of computer science students within the subject of discrete mathematics at universities. The main goal was t...
Interactive Visualization of Line Congruences for Spatial Mechanism Design
Interactive Visualization of Line Congruences for Spatial Mechanism Design
This paper presents a framework for generating, representing, and interacting with the line congruences associated with four general finite poses. These line congruences are the so...
Algebraic and algorithmic aspects of Zm × Fn : fixed subgroups and quantification of inertia
Algebraic and algorithmic aspects of Zm × Fn : fixed subgroups and quantification of inertia
This work is based on the family of groups Z^m x F_n, namely free-abelian times free groups, direct products of finitely many copies of Z and a finitely generated free group F_n. T...
KAJIAN KARAKTER FISIOLOGIS VARIETAS PADI SAWAH PADA BUDIDAYA SECARA ORGAN
KAJIAN KARAKTER FISIOLOGIS VARIETAS PADI SAWAH PADA BUDIDAYA SECARA ORGAN
The reality in the field shows that not all lowland rice varieties which include local varieties, old superior varieties, new superior varieties and new types of varieties are suit...
Sifat - Sifat Grup Solvable
Sifat - Sifat Grup Solvable
Grup solvable merupakan suatu grup yang mempunyai barisan subgrup normal dan grup faktor yang terjadi pada unsur dibarisan tersebut adalah grup abelian. Tulisan ini akan membahas s...
Finitely Presented Heyting Algebras
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every s...