Scope of Submission
We welcome submissions from a broad range of disciplines, including but not limited to:
- Model theory applications in algebra
- Abstract structures in mathematical logic
- Connections between model theory and set theory
- Categorical perspectives on abstract structures
- Model completeness in various frameworks
- Applications of stability theory in models
- Non-standard models and their implications
- Descriptive set theory and model theory
- Interactions between logic and topology
- Model theory of fields and rings
- Abstract structures in computational logic
- Definability in higher-order logic
- Model theory of infinite structures
- Applications of model theory in computer science
- Interpreting structures in different logics
- Quantifier elimination in model theory
- Homogeneous structures and their properties
- Model theory and its philosophical implications
- Extensions of first-order theories
- Applications of model theory in cryptography
All papers must be original and not previously published or submitted elsewhere.
