Varieties with decidable finite algebras I: Linearity (original) (raw)

Algebra Universalis, 1988

A Characterization of Finitely Decidable Congruence Modular Varieties

1993

Strong solvability and residual finiteness for finitely decidable varieties

Ralph McKenzie

An extension of Willard?s Finite Basis Theorem: Congruence meet-semidistributive varieties of finite critical depth

algebra universalis, 2005

Congruence quasi-orderability in subtractive varieties

Paolo Agliano

Journal of the Australian Mathematical Society, 2001

On the structure of varieties with equationally definable principal congruences III

D. Pigozzi

Algebra Universalis, 1994

Axiomatizable and nonaxiomatizable congruence prevarieties

James Nation

Algebra universalis, 2008

Fregean subtractive varieties with definable congruence

Paolo Agliano

Journal of the Australian Mathematical Society, 2001

Congruence meet-semidistributive locally finite varieties and a finite basis theorem

Algebra universalis

On decidable algebraic fields

Alexandra Shlapentokh

2015

Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class

Janusz Czelakowski

Algebra Universalis, 1990

A property of the solvable radical in flnitely decidable varieties

1992

Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties

D. Pigozzi

Transactions of the American Mathematical Society, 1988

Konrad Zdanowski, Marcin Mostowski

Finite Arithmetics

Fundamenta Informaticae

Decidability of the class of all the rings : A problem of Ax

Jamshid Derakhshan

Forum of Mathematics, Sigma

Congruence intersection properties for varieties of algebras

Paolo Agliano

Journal of the Australian Mathematical Society, 1999

Definability of principal congruences in equivalential algebras

Colloquium Mathematicum

The amalgamation class of a discriminator variety is finitely axiomatizable

Clifford Bergman

Lecture Notes in Mathematics, 1983

Arithmetic of divisibility in finite models

Anna W., Marcin Mostowski

MLQ, 2004

On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

Viorica Sofronie-Stokkermans

Lecture Notes in Computer Science, 1999

Residual smallness relativized to congruence types, I

Ralph McKenzie

Journal of Pure and Applied Algebra, 2001

Definable principal congruences and solvability

Emil Kiss, Paweł Idziak

Annals of Pure and Applied Logic, 2009

Minimal varieties and quasivarieties

Clifford Bergman

Journal of the Australian Mathematical Society, 1990

Decidability and structure

Computational Recognition of Properties of Finite Algebras

2008

Theories of arithmetics in finite models

Konrad Zdanowski

The Journal of Symbolic Logic, 2005

Non-finite-axiomatizability results in algebraic logic

Balazs Biro

Journal of Symbolic Logic, 1992

Reducibility orderings: Theories, definability and automorphisms

Anil Nerode, Richard Shore

Annals of Mathematical Logic, 1980

AN ALTERNATE ROUTE TO WILLARD'S FINITE BASIS THEOREM

Finitely generated equational classes

Peter Mayr, Erhard Aichinger

Degrees of insolubility of extensions of arithmetic by true propositions

Oleg Okunev

Russian Mathematical Surveys, 1988

Deductive Varieties of Modules and Universal Algebras

Clifford Bergman

Transactions of the American Mathematical Society, 1985

Computational Recognition of Properities of Finite Algebras

2003

Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

Ildikó Sain

Logic Journal of IGPL, 1993

Decidability and Complexity of Finitely Closable Linear Equational Theories

Barbara Morawska

Lecture Notes in Computer Science, 2001