Graduate Thesis Or Dissertation
The Undecidability of the Definability of Principal Subcongruences Público Deposited
Contenido Descargable
Descargar PDF
https://scholar.colorado.edu/concern/graduate_thesis_or_dissertations/h989r345z
- Abstract
- For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is undecidable. Using this, we present another proof that A. Tarski's finite basis problem is undecidable.
- Creator
- Date Issued
- 2013
- Academic Affiliation
- Advisor
- Committee Member
- Degree Grantor
- Commencement Year
- Subject
- Última modificación
- 2019-11-13
- Resource Type
- Declaración de derechos
- Language
Relaciones
Elementos
Miniatura | Título | Fecha de subida | Visibilidad | Acciones |
---|---|---|---|---|
theUndecidabilityOfTheDefinabilityOfPrincipalSubcongruence.pdf | 2019-11-13 | Público | Descargar |