We study the class P s.c of all strongly constructivizable prime models of a finite rich signature σ. It is proven that the Tarski-Lindenbaum algebra ...

We denote by P(σ) the class of all prime models of signature σ, and by SC(σ), the class of all strongly constructivizable models of signature σ. Intersection of ...

We study the class Ps.c of all strongly constructivizable prime models of a finite rich signature σ. It is proven that the Tarski-Lindenbaum algebra ...

Jul 9, 2020 · Abstract: We study the class of all prime strongly constructivizable models of algorithmic dimension 1 in a fixed finite rich signature.

Abstract. We study the class of all strongly constructivizable models having ω \omega ω -stable theories in a fixed finite rich signature.

The problem of characterizing Tarski-Lindenbaum algebras of some semantic classes of models of a finite rich signature was considered in the works [6 ...

On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models (English) · ISBN: 9783642308697, 3642308694 · ISSN: 0302-9743.

Mikhail G. Peretyat'kin : On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models. CiE 2012: 589-598.

Oct 24, 2024 · We study the class S s.c of all strongly constructivizable countable saturated models of a finite rich signature σ. We prove that the Tarski- ...

Article on The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories, published in Archive for ...