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 first-order languages and structures
  • Quantifier elimination, model completeness
  • Finite structures
  • Countable structures
  • Uncountable structures
  • Model-theoretic 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 recursion-theoretic model theory
  • Model-theoretic algebra
  • Model theory of ordered structures; o-minimality and their variations
  • Logic on admissible sets
  • Second- and higher-order 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 e-mail 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 multi-modal logic of knowledge and non-transitive 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 North-Kazakhstan 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 e-spectra 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 model-theoretic 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