pp-elimination of quantifiers in module theories
Thesis title in Czech: | pp-eliminace kvantifikátorů v teoriích modulů |
---|---|
Thesis title in English: | pp-elimination of quantifiers in module theories |
Key words: | pp-formule|eliminace kvantifikátorů|pp-definovatelná podgrupa |
English key words: | pp-formula|quantifier elimination|pp-definable subgroup |
Academic year of topic announcement: | 2022/2023 |
Thesis type: | Bachelor's thesis |
Thesis language: | angličtina |
Department: | Department of Algebra (32-KA) |
Supervisor: | doc. Mgr. Jan Šaroch, Ph.D. |
Author: | hidden![]() |
Date of registration: | 16.03.2023 |
Date of assignment: | 12.04.2023 |
Confirmed by Study dept. on: | 21.04.2023 |
Date and time of defence: | 04.09.2023 10:00 |
Date of electronic submission: | 19.07.2023 |
Date of submission of printed version: | 24.07.2023 |
Date of proceeded defence: | 04.09.2023 |
Opponents: | Mgr. Ondřej Ježil |
Guidelines |
Student se seznámí s logickými a algebraickými nástroji potřebnými k formulaci a provedení důkazu Baurovy-Monkovy věty o pp-eliminaci kvantifikátorů v teorii modulů. Stěžejní částí práce by mělo být detailní provedení samotného důkazu. Pokud zbude čas a prostor, je možné se zaměřit i na netriviální aplikace tohoto výsledku: vlastnosti čistých podmodulů, elementární ekvivalence nekonečných direktních sum a součinů apod. |
References |
M. Prest: Model Theory and Modules, LMS Lecture Note Series 130, Cambridge University Press, 1988.
M. Ziegler: Model theory of modules, Annals of Pure and Applied Logic 26 (1984), 149-213. W. Baur: Elimination of quantifiers for modules, Israel Journal of Mathematics 25 (1976), 64-70. L. Monk: Elementary-recursive Decision Procedures, Doctoral Thesis, University of California, Berkeley, 1975. |