habile
发表于 2025-3-28 16:24:15
The decomposition theoremAbelian variety ., an affine variety ., and a discriminator variety .. (See Definition 1.1 and Theorems 4.1, 5.4 and 9.6.) In this chapter, we shall prove that . is the product of these three varieties. There are several equivalent ways to formulate the result (see Theorem 0.5):
射手座
发表于 2025-3-28 19:56:28
http://reply.papertrans.cn/89/8803/880258/880258_42.png
沉默
发表于 2025-3-29 01:18:46
http://reply.papertrans.cn/89/8803/880258/880258_43.png
tattle
发表于 2025-3-29 04:39:28
The unary caseapter 11 reduce the problem to determining those locally finite, essentially unary, .-sorted varieties (for . ≥ 1) which are decidable. For the purposes of determining the decidability of ., we may assume that . is in fact a multi-unary .-sorted variety of finite type. Thus each term in the language of . has at most one variable.
颠簸地移动
发表于 2025-3-29 09:29:16
Strongly solvable varietiesprincipal result is Theorem 12.19, which characterizes the decidable, locally finite, strongly solvable varieties in terms of an elementary property of the associated variety of multi-sorted unary algebras.
一瞥
发表于 2025-3-29 11:34:54
Book 1989tions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel‘s idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the sa
gnarled
发表于 2025-3-29 16:09:46
http://reply.papertrans.cn/89/8803/880258/880258_47.png
Proclaim
发表于 2025-3-29 22:19:37
h für Hinweise zur Disposition der Neuauflage gleichfalls mit Dank verbunden. Besonders herzlich danke ich Herrn Dr. W. MERZ, der die große Freundlich keit hatte, das Manuskript durchzuarbeiten und mich mit wertvollen Hin weisen aus seinen im Pregl-Institut gesammelten Erfahrungen zu unter stütze
PANT
发表于 2025-3-30 03:49:10
rk, bin ich für Hinweise zur Disposition der Neuauflage gleichfalls mit Dank verbunden. Besonders herzlich danke ich Herrn Dr. W. MERZ, der die große Freundlich keit hatte, das Manuskript durchzuarbeiten und mich mit wertvollen Hin weisen aus seinen im Pregl-Institut gesammelten Erfahrungen zu unter stütze978-3-7091-3418-4978-3-7091-3417-7
Certainty
发表于 2025-3-30 05:09:16
Ralph McKenzie,Matthew Valerioterk, bin ich für Hinweise zur Disposition der Neuauflage gleichfalls mit Dank verbunden. Besonders herzlich danke ich Herrn Dr. W. MERZ, der die große Freundlich keit hatte, das Manuskript durchzuarbeiten und mich mit wertvollen Hin weisen aus seinen im Pregl-Institut gesammelten Erfahrungen zu unter stütze978-3-7091-3418-4978-3-7091-3417-7