Description of positively existentially closed models in any class of -structures with unary predicates axiomatizable by any h-universal sentence.
85 38
Аннотация
It was shown that any finitely h-universally axiomatized class of models in unary predicate signature has a finite number of positively existentially closed models, and all them are finite. Proposed the example of a class of models which described by the infinite number of h-universal sentences and its class of positively existential closed models is not elementary.Библиографиялық сілтемелер
[1] Ben Yaacov I., Poizat B., Fondaments de la Logique Positive, The Journal of Symbolic Logic, vol. 82 (2007), pp. 1141-1162.
[2] Kungozhin A. Description of positively existentially closed models in any class of -structures axioma-tizable by the finite number of h-universal sentences with one quantifier, Preprint.
[2] Kungozhin A. Description of positively existentially closed models in any class of -structures axioma-tizable by the finite number of h-universal sentences with one quantifier, Preprint.
Жүктелулер
Как цитировать
Kungozhin, A. M. (2011). Description of positively existentially closed models in any class of -structures with unary predicates axiomatizable by any h-universal sentence. Қазұу Хабаршысы. Математика, механика, информатика сериясы, 69(2), 39–43. вилучено із https://bm.kaznu.kz/index.php/kaznu/article/view/193
Шығарылым
Бөлім
Математикалық логика
