Hlavní stránka > Výsledky hledání: Štefanišin, Jan
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.00 vteřin. 
Pojem interpretace axiomatických teorií
 Štefanišin, Jan ; Švejdar, Vítězslav (vedoucí práce) ; Haniková, Zuzana (oponent)
Práce: Pojem interpretace axiomatických teorií Autor: Jan Štefanišin Abstrakt: V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základními vlastnostmi a využitími. Definujeme interpretaci a ukážeme její chování na jednoduchých školních teoriích a dokážeme o ní několik vět. V dalších dvou kapitolách ukážeme příklady na složitějších teoriích. Použijeme interpretace k dokazování podstatné nerozhodnutelnosti teorií pomocí interpretace teorie R v těchto teoriích. Pak se budeme věnovat možnému využití interpretací ve finitistním programu Edwarda Nelsona a s tím související lokální interpretaci omezené aritmetiky I∆0 v Robin- sonově aritmetice Q, což je také příklad řezové interpretace. Nakonec se vrátíme k jednoduchým školním teoriím a ukážeme na nich, jak dokazovat neinterpreto- vatelnost. Klíčová slova: interpretace, axiomatická teorie, interpretovatelnost, definovatelná množina, Robinsonova aritmetika
Úplný záznam
Pojem interpretace axiomatických teorií
 Štefanišin, Jan ; Švejdar, Vítězslav (vedoucí práce) ; Haniková, Zuzana (oponent)
V této práci se zabýváme konceptem interpretovatelnosti axiomatic- kých teorií (interpretovaní jedné teorie v druhé) a jeho základní vlastnostmi a využitími a jeho různými variantami. Definujeme jedno-dimenzionální interpre- taci a ukážeme její chování na jednoduchých teoriích. Následně definujeme více- dimenzionální interpretaci a interpretaci po částech a využijeme je k sestavení uspořádání teorií podle relace interpretace do takzvaných stupňů - konkrétně do Double Degree struktur. Jedno-dimenzionální interpretace použijeme k dokazo- vání podstatné nerozhodnutelnosti teorií pomocí interpretováním teorie R v těchto teoriích. Nakonec se budeme věnovat možnému využití interpretací ve finitistním programu Edvarda Nelsona a s tím související lokální interpretaci omezené arit- metiky I∆0 v Robinsonově aritmetice Q, což je také příklad řezové interpretace. Klíčová slova: interpretace, axiomatická teorie, interpretovatelnost, definovatelná množina, Robinsonova aritmetika
Úplný záznam

Viz též: podobná jména autorů
2 Štefanišin, Jakub
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