Definability and invariance - Costa, Newton Carneiro Affonso da; Rodrigues, Alexandre Augusto Martins (Studia Logica, 2007)