Logic List Mailing Archive

Workshop on Model Theory

16-26 Jun 2018
Vichy, France

Dear Colleagues,

We would like to invite you to submit abstracts and to participate at 
Workshop on Model Theory in 6th World congress on Universal Logic, Vichy, 
France, June 16-26, 2018: http://www.uni-log.org/vichy2018 .

Keynote speaker of Workshop: Professor Bruno Poizat,
Dept of Mathematics, University of Lyon I, France.

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 September 15, 2017 via e-mail to:
sudoplat@math.nsc.ru

Best Regards,
Petros Stefaneas,
Sergey Sudoplatov
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam