I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2009, VOLUME 15, NUMBER 7, PAGES 179-203
S. V. Sudoplatov
View as HTML View as gif image
Hypergraphs of prime models over realizations of types in small theories are defined. On the basis of graph structures of models of small theories, hierarchies of sets in these hypergraphs, revealing structural connections in countable models of small theories, are established. The key role of graph-theoretic objects in constructions of Ehrenfeucht theories is proved. Using hypergraph constructions, a classification of complete first-order theories with finite Rudin--Keisler preorders is generalized to the class of all small theories.
|Main page||Contents of the journal||News||Search|
Last modified: April 18, 2010