Teorie konečných modelů

• Thesis title in English: Finite model theory
• Academic year of topic announcement: 2007/2008
• Thesis type: project
• 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: 07.11.2007
• Date of assignment: 28.11.2007

Guidelines

Studium otevřených problémů v teorii konečných modelů a zejména otázky definovatelnosti.
Shrnout známé výsledky o definovatelnosti s omezeným počtem proměnných a pokusit se o pokrok
v charakterizaci definovatelnosti v logice se 3 proměnnými.

References

A.Dawar, How many first-order variables are needed on finite ordered structures, in:
We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1., S. Artemov, H. Barringer,
A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), College Publications (2005).

Preliminary scope of work

Projekt se týká otevřených problémů v teorii konečných modelů, zejména otázek definovatelnosti.

Preliminary scope of work in English

The project is concernd with finite model theory and, in particular, with definability issues.