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 algebraic...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Lugansk National Taras Shevchenko University
2018
|
| Теми: | |
| Онлайн доступ: | https://admjournal.luguniv.edu.ua/index.php/adm/article/view/962 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Algebra and Discrete Mathematics |
Репозитарії
Algebra and Discrete Mathematics| Резюме: | 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. |
|---|