Methods in mathematical logic:Proceedings of the 6th Latin