Kombinatorika matematických struktur

• Thesis title in Czech: Kombinatorika matematických struktur
• Thesis title in English: Combinatorics of mathematical structures
• Academic year of topic announcement: 2009/2010
• Thesis type: diploma thesis
• Thesis language: angličtina
• Department: Department of Algebra (32-KA)
• Supervisor: prof. RNDr. Jan Krajíček, DrSc.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 09.04.2009
• Date of assignment: 20.07.2010
• Date and time of defence: 16.09.2010 00:00
• Date of electronic submission: 16.09.2010
• Date of proceeded defence: 16.09.2010
• Opponents: Neil Thapen

Guidelines

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.

References

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.

Preliminary scope of work

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

Preliminary scope of work in English

The theme of the project is definability in mathematical structures.