This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia–Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics.
This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.
Contents:
- Comparing the Isomorphism Types of Equivalence Structures and Preorders (N Bazhenov and L San Mauro)
- Rogers Semilattices in the Analytical Hierarchy: The Case of Finite Families (N Bazhenov and M Mustafa)
- Some Notes on the wtt-Jump (K Ambos-Spies, R Downey and M Monath)
- E-Combinations and Closures of Quite O-Minimal Theories (B Sh Kulpeshov and S V Sudoplatov)
- Geology of Symmetric Grounds (T Usuba)
- Strong Downward Löwenheim-Skolem Theorems for Stationary Logics, III — Mixed Support Iteration (S Fuchino, A O M Rodrigues and H Sakai)
- On Interior of Definable Subsets of Ordered O-ω-Stable Fields (V V Verbovskiy)
- On Diophantine Equations over ℤ[i] with 52 Unknowns (Y Matiyasevich and Z-W Sun)
Readership: Advanced undergraduate students, graduate students, and researchers interested in logic, computability theory, set theory, and model theory.
Edited by
Guohua Wu