Workshop at UNILOG'2018 organized by
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:
Abstracts (one page) should be sent by November 15, 2017 via e-mail to: email@example.comBack to the 6th Universal Logic Congress