Hypergraphs of prime models and distributions of countable models of small theories

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of mathematical sciences (New York, N.Y.) N.Y.), 2010-09, Vol.169 (5), p.680-695
Main Author: Sudoplatov, S. V.
Format: Article
Language:English
Subjects:
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1072-3374
1573-8795
DOI:10.1007/s10958-010-0069-9