Title | Cohesive Powers of Computable Structures |
Publication Type | Journal Article |
Year of Publication | 2009 |
Authors | Dimitrov R |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 99 |
Abstract | We develop the notion of cohesive power \mathcal{B} of a computable structure \mathcal{A} over a cohesive set \mathcal{R}. In the main theorem of this paper we prove certain connections between satisfaction of different formulas and sentences in the original model \mathcal{A} and its cohesive power \mathcal{B}. We also prove various facts about cohesive powers, isomorphisms between them and consider an example in which the structure \mathcal{A} is a computable field. |
Attachment | Size |
---|---|
99-193-201.pdf | 718.77 KB |