Model theory.

Overview

Works:	14 works in 9 publications in 9 languages

Titles

The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / by: (Language materials, printed)

Model theory and linear extreme points in the numerical radius unit ball / by: (Language materials, printed)

The birth of model theory :Lowenheim's theorem in the frame of the theory of relatives / by: (Language materials, printed)

Henkin-Keisler models by: (Electronic resources)

Model theory and algebraic geometryan introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / by: (Electronic resources)

Model theoryan introduction / by: (Electronic resources)

Computable models by: (Electronic resources)

Lecture notes on O-minimal structures and real analytic geometry by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Simplicity Theory by: (Electronic resources)

Subjects

Directed graphs.

Tournaments (Graph theory)

Arithmetical algebraic geometry.

Mathematical Logic and Formal Languages.

Theory of Computation.

Geometry, Analytic.

Vector fields.

Mathematical Logic and Foundations.

Group Theory and Generalizations.

Logic.

Number theory.

Modular curves.

Logic, Symbolic and mathematical.

Language Translation and Linguistics.

Logics and Meanings of Programs.

Algebra.

Model Theory.

Operator theory.

Lowenheim, Leopold,

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algebraic Geometry.

Computable functions.

Mathematics.

Analysis.

Number Theory.

Diophantine equations.

Model theory.

Ramsey theory.

General Logic.

Permutation groups.

Decomposition method.

Ultraproducts.

Mordell conjecture.

Computer Science.

First-order logic.

General Algebraic Systems.