Title: Omega-Bibliography of Mathematical Logic IV