Mathematical Logic, Computability, Complexity, and Randomness[Softcrate]

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.