
Classification Questions in Model Theory June 23, Morning & June 24, Morning & June 25, Morning
SCHEDULE
!!! This schedule is subject to change until the last minute !!!
Workshop at
UNILOG'2018 organized
by
Petros Stefaneas (National Technical University of Athens, Greece)
Sergey Sudoplatov
Sobolev Institute of Mathematics,
Novosibirsk State University, Russia
Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.
Call for papers
We invite contributions on all aspects of Model Theory. Topics include:

Equational classes, universal algebra
 Basic properties of firstorder languages and structures
 Quantifier elimination, model completeness
 Finite structures
 Countable structures
 Uncountable structures
 Modeltheoretic constructions
 Categoricity and completeness of theories
 Interpolation, preservation, definability
 Classification theory, stability and related concepts
 Abstract elementary classes and related topics
 Models with special properties
 Properties of classes of models
 Effective and recursiontheoretic model theory
 Modeltheoretic algebra
 Model theory of ordered structures; ominimality and their variations
 Logic on admissible sets
 Second and higherorder model theory
 Nonclassical models
 Abstract model theory
 Jonsson theories
 Topologies on classes of theories and their models
 Applications of model theory
Abstracts (one page) should be sent by November 15, 2017 via email to:
sudoplat@math.nsc.ru
 . . 
Keynote Speakers
Bruno Poizat
Dept of Mathematics, University of Lyon I, France “A Compendium for Positive Logic”
Sergey Goncharov
Russian Academy of Sciences
“Logic construction and computability on algebraic abstract structures”
Contributing Speakers
Mark Addis,
Centre for Philosophy of Natural and Social Science, London School of Economics and Political Science, UK,
“Institutional Model Theory and Syntax of Physical Theories”
Nicola Angius,
Maria Dimarogkona and
Petros Stefaneas,
Department of History, Human Sciences, and Education, University of Sassari, Italy and
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece,
“Syntactic and semantic presentations of scientific theories in abstract model theory”
Sayan Baizhanov and
Beibut Sh. Kulpeshov,
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan and
International Information Technology University, Almaty, Kazakhstan,
“Preserving properties at expansions of models of ordered theories by unary predicates”
Stepan Bashmakov,
Siberian Federal University, Krasnoyarsk, Russia,
“Projective unification in linear multimodal logic of knowledge and nontransitive time”
Nikolay Bazhenov,
Sobolev Institute of Mathematics, Novosibirsk State University, Russia,
“Computable modal algebras and contact algebras”
Philip Ehrlich,
Department of Philosophy, Ohio University, Athens OH, USA,
“Integration on the surreals: a conjecture of Conway, Kruskal and Norton”
Dmitry Emelyanovand
Sergey Sudoplatov,
State Technical University, Novosibirsk State University and
Sobolev Institute of Mathematics, Novosibirsk,
“On almost deterministic algebras of binary isolating formulas for polygonometrical theories”
Yiannis Kiouvrekis,
Petros Stefaneas and
Sergey Sudoplatov,
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece and
Sobolev Institute of Mathematics, Novosibirsk,
“On almost deterministic algebras of binary isolating formulas for polygonometrical theories”
Svetlana Lutsak,
M. Kozybayev NorthKazakhstan State University, Petropavlovsk, Kazakhstan,
“The complexity of quasivariety lattices”
Veta F. Yun and
Larisa L. Maksimova ,
Sobolev Institute of Mathematics, Novosibirsk State University, Russia,
“Strong decidability of the classicfication over Gl”
Alireza Mofidi,
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran,
“On combinatorial features of definable set systems”
Inessa Pavlyukand
Sergey Sudoplatov,
State Technical University, Novosibirsk State University and
Sobolev Institute of Mathematics, Novosibirsk,
“On espectra for families of theories of Abelian groups”
Mikhail Peretyat’kin,
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan,
“A definition to the concept of a modeltheoretic property with applications in model theory”
Aleksandr Pinus,
Novosibirsk State Technical University, Russia,
“The lattices of bounded based subvarieties of discriminator varieties”
Petros Stefaneas,
Yiannis Kiouvrekis and
Sergey Sudoplatov,
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece and
Sobolev Institute of Mathematics, Novosibirsk,
“Calculi for definable sets”
Alena Stepanova and
Denis Ptakhov,
Far Eastern Federal University, Vladivostok, Russia,
“Axiomatizability of the class of subdirectly irreducible acts over a group”
Sergey Sudoplatov,
Petros Stefaneas,
Yiannis Kiouvrekis,
Sobolev Institute of Mathematics, Novosibirsk and
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece,
“On lattices in generative classes”
Jamalbek Tussupov,
L.N. Gumilev Eurasian National University, Astana, Kazakhstan,
“Transformation and Categoricity Spectrum”
Olga Ulbrikht and
Aibat Yeshkeyev,
Karaganda State University named after academician E.A. Buketov, Kazakhstan,
“The nonforking notion for Jonsson sets”
Gulzhan Urken and
Aibat Yeshkeyev,
Karaganda State University named after academician E.A. Buketov, Kazakhstan,
“Similarity of definable closures of Jonsson sets”
Viktor Verbovskiy,
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan,
“Dimension, ranks and their applications to algebraic structures”
Aibat Yeshkeyev and
Maira Kassymetova,
Karaganda State University named after academician E.A. Buketov, Kazakhstan,
“Pregeometry on subsets of fragment of Jonsson set”
Back to the 6th Universal Logic Congress
