Popular links
Search
About McMaster
Home
News
Research & Innovation
Giving to McMaster
Working at McMaster
Study
Undergraduate Programs
Graduate Programs
Continuing Education
Admission Requirements
Visit
Tours
Campus Maps
Campus Safety Services
Events
Connect
University Directories
Media Inquiries
Research Centres & Institutes
McMaster Global
Alumni
Search
Keyword Search
Search Current Website
Search McMaster
Student Support
Campus Safety Services
Equity & Inclusion Office
IT Support
Office of the Registrar
Ombuds Office
School of Graduate Studies
Student Wellness Centre
Student Affairs
Tools
Academic Calendars
Avenue to Learn
Campus Maps
Faculty and Staff Directory
Find an Expert
Microsoft Office 365
Mosaic
Safety App
Faculties
DeGroote School of Business
Engineering
Health Sciences
Humanities
Science
Social Sciences
On Campus
Athletics & Recreation
Campus Store
Housing & Conference Services
Hospitality Services
Libraries
Student Success Centre
Experts
Menu
Home
People
Groups
Scholarly Works
About
Login
Experts
Home
People
Groups
Scholarly Works
About
Login
Home
Scholarly Works
Decidable Equational Classes
Conference
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, Mathematics and Statistics
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)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback
