Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories

2013/06/05 by Sudoplatov, Sergey V.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1306.1172

Abstract

We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.

Related

• Algebras of distributions for binary semi-isolating formulas of a complete theory
• Forcing of infinity and algebras of distributions of binary\n semi-isolating formulas for strongly minimal theories
• Algebras of distributions of binary isolating formulas of a complete theory
• Distributions of countable models of theories with continuum many types
• Elements of a theory of algebraic theories