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 tra...
Збережено в:
| Опубліковано в: : | Algebra and Discrete Mathematics |
|---|---|
| Дата: | 2003 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2003
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/155695 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | 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| _version_ | 1862589226950852608 |
|---|---|
| author | Göbel, R. Wallutis, S.L. |
| author_facet | Göbel, R. Wallutis, S.L. |
| 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 назв. — англ. |
| collection | DSpace DC |
| container_title | Algebra and Discrete Mathematics |
| 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.
|
| first_indexed | 2025-11-27T02:29:23Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-155695 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1726-3255 |
| language | English |
| last_indexed | 2025-11-27T02:29:23Z |
| publishDate | 2003 |
| publisher | Інститут прикладної математики і механіки НАН України |
| record_format | dspace |
| spelling | Göbel, R. Wallutis, S.L. 2019-06-17T10:48:19Z 2019-06-17T10:48:19Z 2003 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. https://nasplib.isofts.kiev.ua/handle/123456789/155695 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. The first author was supported by GIF project I-706-54.6/2001 of the GermanIsraeli Foundation for Scientific Research and Development. The second author was
 supported by the Deutsche Forschungsgemeinschaft and the Lise-Meitner-Programm
 des Ministeriums für Wissenschaft und Forschung NRW. en Інститут прикладної математики і механіки НАН України Algebra and Discrete Mathematics An algebraic version of the Strong Black Box Article published earlier |
| spellingShingle | An algebraic version of the Strong Black Box Göbel, R. Wallutis, S.L. |
| title | 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_short | An algebraic version of the Strong Black Box |
| title_sort | algebraic version of the strong black box |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/155695 |
| work_keys_str_mv | AT gobelr analgebraicversionofthestrongblackbox AT wallutissl analgebraicversionofthestrongblackbox AT gobelr algebraicversionofthestrongblackbox AT wallutissl algebraicversionofthestrongblackbox |