Kniha momentálne nie je na sklade
Viac o knihe
The thesis explores computable model theory, merging model-theoretic concepts with recursion theory. It begins with a review of key model-theoretic principles, particularly the Baldwin-Lachlan theorem on uncountably categorical theories, before delving into recursion theory and the priority method. The core focus is on the recursive spectrum of uncountably categorical theories, examining which models possess computable presentations. This comprehensive and well-explained work serves as an accessible introduction for logicians interested in this active research area.
Nákup knihy
The computable Models of uncountably categorical Theories, Alexander Linsbichler
- Jazyk
- Rok vydania
- 2014
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- The computable Models of uncountably categorical Theories
- Podtitul
- An Inquiry in Recursive Model Theory
- Jazyk
- anglicky
- Autori
- Alexander Linsbichler
- Vydavateľ
- AV Akademikerverlag
- Rok vydania
- 2014
- Väzba
- mäkká
- Počet strán
- 112
- ISBN13
- 9783639459463
- Kategórie
- Matematika
- Anotácia
- The thesis explores computable model theory, merging model-theoretic concepts with recursion theory. It begins with a review of key model-theoretic principles, particularly the Baldwin-Lachlan theorem on uncountably categorical theories, before delving into recursion theory and the priority method. The core focus is on the recursive spectrum of uncountably categorical theories, examining which models possess computable presentations. This comprehensive and well-explained work serves as an accessible introduction for logicians interested in this active research area.