On distributions of countable models of disjoint unions of Ehrenfeucht theories

DOI10.3103/S1066369X18110099zbMath1490.03021arXiv1802.09364OpenAlexW2963822056MaRDI QIDQ1735125

Sergeĭ Vladimirovich Sudoplatov

Publication date: 28 March 2019

Published in: Russian Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.09364

zbMATH Keywords

decomposition formulaEhrenfeucht theorydisjoint union of theoriesdistribution of countable models

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15)

Related Items (21)

Algebras of binary isolating formulas for theories of root products of graphs ⋮ Distributions of countable models of disjoint unions of Ehrenfeucht theories ⋮ Arities and aritizabilities of group, monoid and groupoid theories ⋮ Ranks, spectra and their dynamics for families of constant expansions of theories ⋮ Algebras of binary isolating formulas for strong product theories ⋮ Binarity of almost \(\omega \)-categorical quite o-minimal theories ⋮ \(P\)-combinations of ordered theories ⋮ Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure ⋮ Algebras of binary formulas for compositions of theories ⋮ Almost \(\omega \)-categorical weakly o-minimal theories of convexity rank 1 ⋮ DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES ⋮ Algebras of distributions of binary formulas for theories of Archimedean solids ⋮ Spectra for generative classes ⋮ Lattices in generative classes ⋮ Conflict and conflict-free theories ⋮ \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories ⋮ On freedom and independence in hypergraphs of models of theories ⋮ A criterion for binarity of almost \(\omega \)-categorical weakly \(o \)-minimal theories ⋮ Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories ⋮ Algebras of binary isolating formulas ⋮ Algebras of binary isolating formulas for tensor product theories

Cites Work

• Unnamed Item
• Unnamed Item
• Hypergraphs of prime models and distributions of countable models of small theories
• Ordre de Rudin‐Keisler et Poids Dans les Theories Stables
• Remarks on countable models
• Complete Theories with Finitely Many Countable Models. I

This page was built for publication: On distributions of countable models of disjoint unions of Ehrenfeucht theories