Hlavní stránka > Výsledky hledání: keywords:"rozhodnutelnost"
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 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Rozhodnutelnost teorie komutativních grup
 Čech, František ; Šaroch, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
V práci bude proveden důkaz rozhodnutelnosti teorie abelovských grup. Tento výsledek už byl dokázán v roce 1955 autorkou W. Szmielew. Důkaz zde předve- dený se však ubírá jinou cestou. Výsledek bude dokázán za pomoci výsledků z teorie modulů a teorie modelů uvedených v článku M. Zieglera Model theory of modules. Závěrečná část důkazu sleduje závěr důkazu uvedený v článku The elementary theory of Abelian groups P. C. Eklofa a E. R. Fishera. 1
Úplný záznam
Rozhodnutelnost teorie komutativních grup
 Čech, František ; Šaroch, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
V práci bude proveden důkaz rozhodnutelnosti teorie abelovských grup. Tento výsledek už byl dokázán v roce 1955 autorkou W. Szmielew. Důkaz zde předve- dený se však ubírá jinou cestou. Výsledek bude dokázán za pomoci výsledků z teorie modulů a teorie modelů uvedených v článku M. Zieglera Model theory of modules. Závěrečná část důkazu sleduje závěr důkazu uvedený v článku The elementary theory of Abelian groups P. C. Eklofa a E. R. Fishera. 1
Ú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