Thesis (Selection of subject)Thesis (Selection of subject)(version: 390)
Thesis details
   Login via CAS
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 - assigned and confirmed by the Study Dept.
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.
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html