Distributions of countable models of theories with continuum many types

2012/10/15 by Roman A. Popkov, Popkov, Roman A., S. V. Sudoplatov +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1210.4043

Abstract

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and over sequences of types, and for other countable models of theory.

Related

• Distributions of countable models of quite o-minimal Ehrenfeucht theories
• The number of countable models of first-order theories
• Constructing models of small ordered theories with maximal countable spectrum
• Distributions of countable models of disjoint unions of Ehrenfeucht\n theories
• Pseudo-countable models