Slabé aritmetické teorie a jejich modely.
| Thesis title in Czech: | Slabé aritmetické teorie a jejich modely. |
|---|---|
| Thesis title in English: | Weak arithmetic theories and their models. |
| Academic year of topic announcement: | 2006/2007 |
| Thesis type: | Bachelor's 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: | 23.11.2006 |
| Date of assignment: | 23.11.2006 |
| Date and time of defence: | 25.06.2007 00:00 |
| Date of electronic submission: | 25.06.2007 |
| Date of proceeded defence: | 25.06.2007 |
| Opponents: | RNDr. Petr Pajas, Ph.D. |
| Guidelines |
| Osvojit si pojem Lindenbaumových algeber a nestability.
Seznámit se s konstrukcemi modelů slabých aritmetik a s reprezentacemi modelů. Analyzovat slabé aritmetiky s ohledem na Lindenbaumovy algebry a nestabilitu. Analyzovat a případně rozšířit způsoby konstrukce a reprezentace modelů. |
| References |
| Hodges, W., Model Theory, Cambridge Univ. Press, 1993
Kayne, R., Models of Peano Arithmetic, Oxford Univ. Press, 1991 Marker, D., Model Theory: An Introduction, Springer-Verlag, 2002 |
| Preliminary scope of work |
| Úkolem je studium slabých aritmetik rozšiřujících Robinsonovu a Presburgerovu s ohledem na Lindenbaumovy algebry, charakter nestability a konstrukci a reprezentaci modelů. |
| Preliminary scope of work in English |
| The task is a study of weak arithmetics extending the Robinson's and Presburger's ones with respect to Lindenbaum algebras, a nonstability character and constructions and representations of models. |