Classification Questions
Workshop at UNILOG'2018 organized by
Petros Stefaneas
Sergey Sudoplatov 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.
| . . |
Keynote Speaker
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: sudoplat@math.nsc.ru Back to the 6th Universal Logic Congress |