Teorie a algebry formulí
| Thesis title in Czech: | Teorie a algebry formulí |
|---|---|
| Thesis title in English: | Theories and algebras of formulas |
| Key words: | teorie prvého řádu, Booleova algebra, Lindenbaumova algebra |
| English key words: | first order theory, Boolean algebra, Lindenbaum algebra |
| Academic year of topic announcement: | 2010/2011 |
| Thesis type: | diploma thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | doc. RNDr. Josef Mlček, CSc. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 21.02.2011 |
| Date of assignment: | 21.02.2011 |
| Date and time of defence: | 15.09.2011 00:00 |
| Date of electronic submission: | 05.08.2011 |
| Date of submission of printed version: | 05.08.2011 |
| Date of proceeded defence: | 15.09.2011 |
| Opponents: | RNDr. Petr Glivický, Ph.D. |
| Guidelines |
| Základním úkolem je studium teorií prvého řádu a sekvencí jejich Lindenbaumových algber, a to zejména pokud jde o:
a) Abstrakní vlastnosti sekvence <BT> = <B^n T, n přirozené>, kde B^n T je n-tá Lindenbaumova algebra teorie T. b) Charakterizace vlastností T pomocí vlastností <BT> a <BS>, kde S je jednoduchá kompletní extenze T. c) Konstrukce <BT>; speciálně na základě znalosti <BS>, kde S jsou jednoduché kompletní extenze T. d) Aplikace na speciální typy teorií, jako např. aritmetické teorie. |
| References |
| Hodges, W., Model Theory, Cambridge Univ. Press, 1993
Kayne, R., Models of Peano Arithmetic, Oxford Univ. Press, 1991 Monk, J.D., and Bonnet, R, (eds), 1989, Handbook in Bolean algebras, Amsterdam; North-Holland |
| Preliminary scope of work |
| Úkolem je studium teorií prvého řádu a sekvencí jejich Lindenbaumových algber zvláště s ohledem na charakterizaci vlastností dané teorie pomocí vlastností jejich Lindenbaumových algeber. |
| Preliminary scope of work in English |
| The work consists in a study of first order theories and their Lindenbaum algebras especially with respect to a possibility to characterize a given theory by Lindenbaum algebras B^nT with n natural. |