In part I we address the question: which varieties have a decidable first order theory? We confine our attention to varieties whose algebras have modular congruence lattices (i.e., modular varieties), and focus primarily on locally finite varieties, although near the end of the …
Collected papers
by Givant, Steven R., McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Collected papers
by Givant, Steven, McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Collected papers
by Givant, Steven, McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Collected papers
by Givant, Steven, McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Collected papers
by Givant, Steven R., McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Alfred Tarski, collected papers
by Givant, Steven R., McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
Collected papers
by Givant, Steven, McKenzie, Ralph, Tarski, Alfred
fromContemporary mathematicians
