A.D. Taimanov and model theory in Kazakhstan
From MaRDI portal
Publication:2306026
DOI10.33048/semi.2020.17.011zbMath1435.03009OpenAlexW3019670993MaRDI QIDQ2306026
B. Sh. Kulpeshov, Bektur Sembiuly Baizhanov, Tat'yana Sergeevna Zambarnaya
Publication date: 20 March 2020
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.33048/semi.2020.17.011
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Model theory (03Cxx)
Cites Work
- Linearly minimal Jordan algebras of characteristic other than 2
- Vaught's conjecture for quite o-minimal theories
- Countably categorical weakly o-minimal structures of finite convexity rank
- Linearly minimal Lie algebras
- The number of \(P\)-expansions of abelian groups
- Computable torsion-free nilpotent groups of finite dimension.
- Regular polygons with primitive connected theories
- Hierarchies of torsion-free Abelian groups
- The number of computable indexations of finite classes of constructive models
- Properties of m-types in stable theories
- On lovely pairs of geometric structures
- A new strongly minimal set
- Linear minimal rings and algebras
- O-stable theories
- On the fixed field of a generic automorphism
- Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories
- Complete theories
- Principles for normalization of formulas
- The comparison of the expressive power of first-order dynamic logics
- Forking types and rank functions in stable theories
- Hierarchies of program logics
- On lovely pairs and the \((\exists y\in P)\) quantifier
- Elementary theory of free non-abelian groups.
- Criterion for binarity of \(\aleph_{0}\)-categorical weakly o-minimal theories
- Conditions for non-symmetric relations of semi-isolation
- On self-definable subsets of \(\aleph_0\)-categorical weakly o-minimal structures
- On the independence property and atomic formulas
- \(P\)-stable abelian groups
- Description of commutative monoids over which all polygons are \(\omega\)-stable
- Locally finite countably-categorical Horn theories
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- Turing machine computations in finitely axiomatizable theories
- A proof of Vaught's conjecture for \(\omega\)-stable theories
- Classification of superstable theories by rank functions
- Elementary theory of \({\mathfrak D}\)-degrees
- The connection between cardinalities of formular subsets and the stability of formulas
- B-separating algebras
- The spectrum problem. III: Universal theories
- Dimensional order property and pairs of models
- Constructive periodic Abelian groups
- A non-two-cardinal set of stable types
- A theory with two strongly constructivizable models
- Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory
- Theories with a two-cardinal formula
- Rank functions in stable theories
- Theories with three countable models
- Categorical Horn classes. I
- Similarities and proximity of complete theories
- Toward a description of monoids over which all polygons have \(\omega\)- stable theories
- On complete theories with a finite number of denumerable models
- The transcendental rank of the formulas of an \(\aleph_1\)-categorical theory
- Saturation of Boolean algebras
- Boolean powers
- Theories with a finite number of models in an uncountable power are categorical
- Classification theory and the number of non-isomorphic models
- Groups definable in local fields and pseudo-finite fields
- Multiplicative formulas
- Stable geometric lattices
- CM-triviality and relational structures
- Lovely pairs of models
- Constructing \(\omega\)-stable structures: Model completeness.
- The uncountable spectra of countable theories
- On homogeneous models of some weakly minimal theories
- Positive Jonsson theories
- On ordered groups of Morley o-rank 1
- Finding \(2^{\aleph_0}\) countable models for ordered theories
- Expanding 1-indiscernible countably categorical weakly o-minimal theories by equivalence relations
- Forcing formulas in Fraïssé structures and classes
- Properties of existentially closed companions
- Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
- Imaginaries in beautiful pairs
- Vaught's conjecture for weakly o-minimal theories of convexity rank 1
- On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
- Strongly minimal expansions of algebraically closed fields
- Orthogonally complete algebraic system
- Semantically universal classes of models
- Analogues of Rice's theorem for semantic classes of propositions
- Diophantine geometry over groups. II: Completions, closures and formal solutions
- Computable classes of constructive models with non-limit-equivalent indexations
- On subsystems of reduced powers
- Diophantine geometry over groups. I: Makanin-Razborov diagrams
- Generic pairs of SU-rank 1 structures
- Homogeneous models of locally modular theories of finite rank
- Conditions of effective infinity for the set of computable indexings of a class of constructive models
- Computability of the set of computable indexing schemes of the class of constructible models
- Homogeneous models for unidimensional theories
- Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
- Expressive power of finitely axiomatizable theories. III: The main construction
- Characterizable classes of lattices
- Countably categorical quite o-minimal theories
- On \(\aleph_0\)-categorical weakly o-minimal structures
- Algebras for definable families of theories
- On expansions of models of weakly o-minimal theories by binary predicates
- Algebras of distributions of binary isolating formulas for quite o-minimal theories
- Maximality of the countable spectrum in small quite o-minimal theories
- \(P\)-combinations of ordered theories
- Nonessential extensions of complete theories
- Ranks for families of permutation theories
- On freedom and independence in hypergraphs of models of theories
- \(P\)-spectra of abelian groups
- Binary formulas in countably categorical weakly circularly minimal structures
- Linearly ordered theories which are nearly countably categorical
- Filtering formulas
- Binarity for \(\aleph_0\)-categorial weakly o-minimal theories of convexity rank 1
- Diophantine geometry over groups. III: Rigid and solid solutions.
- Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.
- Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
- \(Jsp\)-cosemanticness and JSB property of abelian groups
- Graphs and models with finite chains
- Cayley's theorem for ordered groups: \(o\)-minimality
- Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.
- Diophantine geometry over groups. VI: The elementary theory of a free group.
- Every two elementarily equivalent models have isomorphic ultrapowers
- Countable models of \(\aleph_ 1\)-categorical, but not \(\aleph_ 0\)-categorical theories
- Introduction to model theory and to the metamathematics of algebra
- On indiscernibility of a set in circularly ordered structures
- Undecidable theories
- Dependent first order theories, continued
- Stable theories with a new predicate
- Expansion of a model of a weakly o-minimal theory by a family of unary predicates
- On the independence property of first order theories and indiscernible sequences
- Weakly one-based geometric theories
- Generic trivializations of geometric theories
- Generalized o-minimality for partial orders
- Existence of a countable infinite strictly 2-homogeneous distributive lattice
- On dense free subgroups of the automorphism group
- C-minimality and model companions
- On the definition of the small index property
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
- On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories
- Binary types in ℵ0-categorical weakly o-minimal theories
- Paires de structures stables
- Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups
- Small extensions of models of o-minimal theories and absolute homogeneity
- On homogeneity and small extensions of models of the theory of linear ordering
- Preservation and violation of homogeneity of models under a special expansion
- On Unions of Chains of Models
- An application of games to the completeness problem for formalized theories
- Deterministic dynamic logic is strictly weaker than dynamic logic
- Definable sets in ordered structures
- Subsets of superstable structures are weakly benign
- On the weak non-finite cover property and the n-tuples of simple structures
- The Property of Being Binary for ℵ0-Categorical Weakly o-Minimal Theories
- On ℵ0-categorical weakly circularly minimal structures
- ON DYNAMIC THEORIES OF FREE ALGEBRAS
- Definable Sets in Ordered Structures. III
- Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups
- Omitting types in -minimal theories
- Vaught's conjecture for o-minimal theories
- Des belles paires aux beaux uples
- Definable Sets in Ordered Structures. I
- Definable Sets in Ordered Structures. II
- An introduction to forking
- Theories with a finite number of countable models
- Modest theory of short chains. I
- The Boolean algebra of logic
- Recursively presentable prime models
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spectra of ω‐Stable Theories
- Paires de structures O-minimales
- Weakly o-minimal structures and some of their properties
- Definable types in -minimal theories
- Definability of types, and pairs of O-minimal structures
- Polygones
- L'égalité au cube
- Logarithmic-Exponential Power Series
- Stability theory, permutations of indiscernibles, and embedded finite models
- Weakly o-minimal structures and real closed fields
- Properties of Elementary Embeddability in Model Theory
- Philosophy and Model Theory
- Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
- The number of automorphisms of models of $ℵ_1$-categorical theories
- On a classification of theories without the independence property
- Le carre de l'egalite
- Classification of δ-invariant amalgamation classes
- Ранги для стабильных диаграмм
- On definability of types and relative stability
- Сompanions of (n1, n2)-Jonsson theory
- ON RELATIVE SEPARABILITY IN HYPERGRAPHS OF MODELS OF THEORIES
- ON COMMUTATIVITY OF CIRCULARLY ORDERED C-O-STABLE GROUPS
- On weakly circularly minimal groups
- Convexity Relations and Generalizations of o-Minimality
- The small index property and the cofinality of the automorphism group
- Local homogeneity
- CONSTRUCTIVE ALGEBRAS I
- On Fraïssé’s Theorem for Uncountable Classes of Finitely Generated Structures
- Minimality conditions on circularly ordered structures
- Diophantine Problems Over Local Fields I
- The Injective Envelope of S-Sets
- Categoricity in Power
- Ultraproducts which are not saturated
- The number of countable models
- Reduced Products and Horn Classes
- On strongly minimal sets
- Uniqueness and characterization of prime models over sets for totally transcendental first-order theories
- a T is Finite for ℵ 1 -Categorical T
- The Mordell-Lang conjecture for function fields
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Constructive Matrix and Orderable Groups
- Constructible Matrix Groups
- On the categoricity in power of elementary deductive systems and some related problems
- The Manin-Mumford conjecture and the model theory of difference fields
- Homogeneous models and generic extensions
This page was built for publication: A.D. Taimanov and model theory in Kazakhstan