Structure of Decidable Locally Finite Varieties: 79 - Rilegato

Libro 9 di 169: Progress in Mathematics

McKenzie, Ralph; Valeriote, Matthew

 
9780817634391: Structure of Decidable Locally Finite Varieties: 79

Sinossi

Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930).

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

0 Preliminaries.- 0.1 Languages, structures, algebras, and graphs.- 0.2 Decidability and interpretability.- 0.3 Varieties.- 0.4 Abelian and solvable algebras.- 0.5 Special kinds of varieties.- 0.6 Tame congruence theory.- 0.7 Definable relations in subdirect powers.- 1 Preview: The three sub varieties.- I: Structured Varieties.- 2: a property of the center.- 3: Centerless algebras.- 4: The discriminator subvariety.- 5: The Abelian subvariety.- 6: Transfer principles.- Summary of Part I.- II: Structured Abelian Varieties.- 7: Strongly solvable varieties.- 8: More transfer principles.- 9: Consequences of the transfer principles.- 10: Three interpretations.- 11: From strongly Abelian to essentially unary varieties.- 12: The unary case.- III: The Decomposition.- 13: The decomposition theorem.- 14: Conclusion.- Notation.

Product Description

Book by McKenzie Ralph Valeriote Matthew

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo