Thesis--Auburn University, 2009. / Abstract. Vita. Includes bibliographic references (p.48-49).

Thesis (Ed. D.)--Teachers College, Columbia University. / Typescript; issued also on microfilm. Sponsor: Paul Rosenbloom. Dissertation Committee: J. Philip Smith. Bibliography: leaves 103-112.

Thesis (M. Ed.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 96-97).

Thesis (M.Ed.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 96-97). Also available in print.

Thesis (M.S.) in Teaching--University of Maine, 2006. / Includes vita. Includes bibliographical references (leaves 60-64).

Thesis (M.S.) in Teaching--University of Maine, 2008. / Includes vita. Includes bibliographical references (leaves 91-94).

<p>In this thesis we examine the computational complexity of determining the satisfaction of various Mal'cev conditions. First we present a novel classification of linear idempotent Mal'cev conditions based on the form of the equations with which they are represented. Using this classification we present a class of conditions which can be detected in polynomial time when examining idempotent algebras. Next we generalize an existing result of Freese and Valeriote by presenting another class of conditions whose satisfaction is exponential time hard to detect in the general case, and en route we prove that it is equally hard to detect local constant terms. The final new contribution is an extension of a recent result of Maróti to a subclass class of weak Mal'cev conditions, proving that their detection is decidable and providing a rough upperbound for the complexity of the provided algorithm for said detection. We close the thesis by reviewing the current state of knowledge with respect to determining satisfaction of linear idempotent Mal'cev conditions.</p> / Doctor of Philosophy (PhD)

No description available.

No description available.

No description available.