The following pages link to Mikhaĭl G. Peretyat'kin (Q779151):
Displaying 47 items.
- (Q266236) (redirect page) (← links)
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- Criterion for strong constructivizability of a homogeneous model (Q1140632) (← links)
- Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory (Q1156124) (← links)
- Theories with three countable models (Q1161737) (← links)
- Uncountably categorical quasisuccession of Morley rank 3 (Q1191168) (← links)
- Every recursive enumerable extension of a theory of linear order has a constructive model (Q1214407) (← links)
- Strongly constructive model without elementary submodels and extensions (Q1214408) (← links)
- On complete theories with a finite number of denumerable models (Q1214409) (← links)
- Strongly constructive models and numerations of the Boolean algebra of recursive sets (Q1219275) (← links)
- Semantically universal classes of models (Q1803018) (← links)
- Analogues of Rice's theorem for semantic classes of propositions (Q1803023) (← links)
- Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs (Q1920077) (← links)
- Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession (Q1920081) (← links)
- Expressive power of finitely axiomatizable theories. III: The main construction (Q1920094) (← links)
- Virtual algebraic isomorphisms between predicate calculi of finite rich signatures (Q2145868) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- Semantic universality of theories over a superlist (Q2366359) (← links)
- On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models (Q2904455) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- (Q3037396) (← links)
- (Q3362611) (← links)
- (Q3379809) (← links)
- (Q3379824) (← links)
- (Q3379859) (← links)
- (Q3380146) (← links)
- (Q3380190) (← links)
- (Q3380231) (← links)
- (Q3380263) (← links)
- (Q3481683) (← links)
- (Q3755440) (← links)
- (Q3813801) (← links)
- (Q3867812) (← links)
- (Q4000001) (← links)
- (Q4026932) (← links)
- (Q4249364) (← links)
- (Q4362314) (← links)
- Definability in structures of finite valency (Q4401437) (← links)
- (Q4513975) (← links)
- (Q4700614) (← links)
- THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (Q4799377) (← links)
- (Q4895324) (← links)
- (Q5177697) (← links)
- The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models (Q5326382) (← links)
- Finitely axiomatizable theories (Q5753944) (← links)
