Kombinatorika matematických struktur

• Název práce v češtině: Kombinatorika matematických struktur
• Název v anglickém jazyce: Combinatorics of mathematical structures
• Akademický rok vypsání: 2009/2010
• Typ práce: diplomová práce
• Jazyk práce: angličtina
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: prof. RNDr. Jan Krajíček, DrSc.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 09.04.2009
• Datum zadání: 20.07.2010
• Datum a čas obhajoby: 16.09.2010 00:00
• Datum odevzdání elektronické podoby: 16.09.2010
• Datum proběhlé obhajoby: 16.09.2010
• Oponenti: Neil Thapen

Zásady pro vypracování

S použitím známých výsledků teorie modelů zkoumat teorii vsech grafů definovatelných v některé stuktuře prvního řádu a najít nějaký nový příklad či obecnou větu.

Seznam odborné literatury

J.Krajíček, Combinatorics of first order structures and propositional proof systems, Archive for Mathematical Logic, 43(4), (2004), pp.427-441.

D.Marker, Model Theory: An Introduction, Springer, New York, 2002.

L.van den Dries, tame topology and o-minimal structures, Cambridge U.Press, Cambridge, 1998.

Předběžná náplň práce

Práce se zabývá definovatelností v metamatických strukturách.

Předběžná náplň práce v anglickém jazyce

The theme of the project is definability in mathematical structures.