Methods in mathematical logic: Proceedings of the 6th Latin