Classification of countable models of complete theories. Р.1 monograph in two parts
The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Книга |
| Témata: | |
| On-line přístup: | Перейти к просмотру издания |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 03091nam0a2200361 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/91255 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/91255.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20240904 |g RCR | |
| 010 | |a 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 | ||
| 205 | |a Classification of countable models of complete theories. Р.1 |b 2025-02-05 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 05.02.2025 (автопролонгация) | ||
| 100 | |a 20240904d2018 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Classification of countable models of complete theories. Р.1 |e monograph in two parts |f S. V. Sudoplatov | |
| 700 | 1 | |a Sudoplatov, |b S. V. |4 070 | |
| 330 | |a The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic. | ||
| 210 | |a Новосибирск |c Новосибирский государственный технический университет |d 2018 | ||
| 610 | 1 | |a счетная модель | |
| 610 | 1 | |a математическая логика | |
| 610 | 1 | |a полная теория | |
| 610 | 1 | |a алгебра | |
| 610 | 1 | |a семантическая модель | |
| 675 | |a 510 | ||
| 686 | |a 22.1 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 326 с. | ||