An algebraic version of the Strong Black Box

Various versions of the prediction principle called the “Black Box” are known. One of the strongest versions can be found in [EM]. There it is formulated and proven in a model theoretic way. In order to apply it to specific algebraic problems it thus has to be transformed into the desired algebr...

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Інститут прикладної математики і механіки НАН України
Дата:2003
Автори: Göbel, R., Wallutis, S.L.
Формат: Стаття
Мова:English
Опубліковано: Інститут прикладної математики і механіки НАН України 2003
Назва видання:Algebra and Discrete Mathematics
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/155695
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:An algebraic version of the Strong Black Box / R. Göbel, S.L. Wallutis // Algebra and Discrete Mathematics. — 2003. — Vol. 2, № 3. — С. 7–45. — Бібліогр.: 9 назв. — англ.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-155695
record_format dspace
spelling irk-123456789-1556952019-06-18T01:28:15Z An algebraic version of the Strong Black Box Göbel, R. Wallutis, S.L. Various versions of the prediction principle called the “Black Box” are known. One of the strongest versions can be found in [EM]. There it is formulated and proven in a model theoretic way. In order to apply it to specific algebraic problems it thus has to be transformed into the desired algebraic setting. This requires intimate knowledge on model theory which often prevents algebraists to use this powerful tool. Hence we here want to present algebraic versions of this “Strong Black Box” in order to demonstrate that the proofs are straightforward and that it is easy enough to change the setting without causing major changes in the relevant proofs. This shall be done by considering three different applications where the obtained results are actually known. 2003 Article An algebraic version of the Strong Black Box / R. Göbel, S.L. Wallutis // Algebra and Discrete Mathematics. — 2003. — Vol. 2, № 3. — С. 7–45. — Бібліогр.: 9 назв. — англ. 1726-3255 2000 Mathematics Subject Classification: 03E75, 20K20, 20K30; 13C99. http://dspace.nbuv.gov.ua/handle/123456789/155695 en Algebra and Discrete Mathematics Інститут прикладної математики і механіки НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description Various versions of the prediction principle called the “Black Box” are known. One of the strongest versions can be found in [EM]. There it is formulated and proven in a model theoretic way. In order to apply it to specific algebraic problems it thus has to be transformed into the desired algebraic setting. This requires intimate knowledge on model theory which often prevents algebraists to use this powerful tool. Hence we here want to present algebraic versions of this “Strong Black Box” in order to demonstrate that the proofs are straightforward and that it is easy enough to change the setting without causing major changes in the relevant proofs. This shall be done by considering three different applications where the obtained results are actually known.
format Article
author Göbel, R.
Wallutis, S.L.
spellingShingle Göbel, R.
Wallutis, S.L.
An algebraic version of the Strong Black Box
Algebra and Discrete Mathematics
author_facet Göbel, R.
Wallutis, S.L.
author_sort Göbel, R.
title An algebraic version of the Strong Black Box
title_short An algebraic version of the Strong Black Box
title_full An algebraic version of the Strong Black Box
title_fullStr An algebraic version of the Strong Black Box
title_full_unstemmed An algebraic version of the Strong Black Box
title_sort algebraic version of the strong black box
publisher Інститут прикладної математики і механіки НАН України
publishDate 2003
url http://dspace.nbuv.gov.ua/handle/123456789/155695
citation_txt An algebraic version of the Strong Black Box / R. Göbel, S.L. Wallutis // Algebra and Discrete Mathematics. — 2003. — Vol. 2, № 3. — С. 7–45. — Бібліогр.: 9 назв. — англ.
series Algebra and Discrete Mathematics
work_keys_str_mv AT gobelr analgebraicversionofthestrongblackbox
AT wallutissl analgebraicversionofthestrongblackbox
AT gobelr algebraicversionofthestrongblackbox
AT wallutissl algebraicversionofthestrongblackbox
first_indexed 2023-05-20T17:46:47Z
last_indexed 2023-05-20T17:46:47Z
_version_ 1796154077336305664