Distributions of countable models of disjoint unions of Ehrenfeucht theories
Sergey Sudoplatov
TL;DR
This paper analyzes the distribution of countable models in disjoint unions of Ehrenfeucht theories, providing formulas and descriptions of their Rudin-Keisler preorders and limit model counts.
Contribution
It introduces decomposition formulas and characterizes the distribution functions for models of disjoint unions of Ehrenfeucht theories, advancing understanding of their model-theoretic structure.
Findings
Rudin-Keisler preorders are described for these theories
Distribution functions of limit models are characterized
Decomposition formulas for distributions are established
Abstract
We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for disjoint unions of Ehrenfeucht theories. Decomposition formulas for these distributions are found.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.