14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017. Issue 4 (2nd January 2019)