Complexity and definability issues in ŁΠ½