Hlavní stránka > Výsledky hledání: keywords:"pp-formula|quantifier elimination|pp-definable subgroup"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 
pp-elimination of quantifiers in module theories
 Novák, Jindřich ; Šaroch, Jan (vedoucí práce) ; Ježil, Ondřej (oponent)
Cílem této práce je dokázat Baur-Monkovu větu a tím ukázat, že úplné teorie modulů připouštějí eliminaci kvantifikátorů až na (booleovské kom- binace) existenčních formulí. Za tímto účelem se čtenář po stručném úvodu v kapitole 1 seznámí v kapitole 2 s pojmem pozitivně-primitivní formule v jazyce pravých R-modulů a s jeho úzkým vztahem s komutativními grupami, jejich rozkladovými třídami a svazy. Kapitola 3 nejprve položí technické základy pro důkaz Baur-Monkovy věty, který je uveden v oddíle 3.3, a to ve svých úvodních dvou podkapitolách, které obsahují potřebné kombinatorické a grupově-teoretické výsledky, konkrétně Neumannovo lemma a variaci na princip inkluze a exkluze. Kapitola 4 uzavírá zde obsaženou matematickou práci stručným přehledem některých bezprostředních důsledků Baur-Monkovy věty a dřívějších výsledků.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English