Decidable Equational Classes

Abstract

I will discuss the progress that has been made on solving two open problems dealing with the decidability of the first order theory of equationally defined classes of algebras (varieties).

Authors

Valeriote MA

Pagination

pp. 207-221

Publisher

Springer Nature

Publication Date

January 1, 1997

DOI

10.1007/978-94-015-8923-9_10

Conference proceedings

Nato Science Series C:

ISSN

1389-2185

Associated Experts

Matthew Anthony Valeriote

Professor Emeritus, Faculty of Science

Visit profile

Labels

Fields of Research (FoR)

5003 Philosophy 4904 Pure Mathematics 49 Mathematical Sciences 50 Philosophy and Religious Studies

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback