A.D. Taimanov and model theory in Kazakhstan

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

zbMATH Keywords

KazakhstanA. D. Taimanovhistory of model theory

Mathematics Subject Classification ID

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 ℵ₀-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