Несущественные совмещения малых теорий
| Авторы: | С. В. Судоплатов |
| Аннотация: | Исследуютсяхарактеристикичислапопарно неизоморфных счетных моделейнесущественныхсовмещениймалыхтеорий. Приводятсяоценкиэтиххарактеристик для согласованных несущественных совмещений, а также их точные значения |
| Ключевые слова: | малая теория, несущественное совмещение, предпорядок Рудина — Кейслера, предельная модель |
| УДК: | 510.67 |
| Литература: |
1. Судоплатов С. В., Овчинникова Е. В. Дискретная математика: Учебник. — М.: ИНФРА-М, Новосибирск: НГТУ, 2007. — 256 с. 2. Судоплатов С. В., Овчинникова Е. В. Математическая логика и теория алгоритмов: Учебник. — М.: ИНФРА-М, Новосибирск: НГТУ, 2008. — 224 с. 3. Судоплатов С. В. Проблема Лахлана. — Новосибирск: НГТУ, 2009. — 336 с. 4. Fuchs L. Partially ordered algebraic systems. — Oxford: Pergamon Press, 1963. — 229 p. 5. Macpherson H. D., Steinhorn C. On variants of o-minimality // Ann. Pure and Appl. Logic. 1996. V. 79, No. 2. P. 165–209. 6. Mayer L. Vaught’s conjecture for o-minimaltheories// J.SymbolicLogic. 1988. V.53, No. 1. P. 146–159. 7. Pillay A., Steinhorn C. Definable sets in ordered structures, I // Trans. Amer. Math. Soc. 1986. V. 295. P.565–592. 8. Tanovi´c P. Theories with constants and three countable models // Archive for Math. Logic. 2007. V. 46, No. 5–6. P. 517–527. 9. Woodrow R. E. Theories with a finite number of countable models and a small language. Ph. D. Thesis. — Simon Fraser University, 1976. |