AT18 Teorema da Recursão paramétrica e Redução m
14 novembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Não existência de relação de equivalência que tenha simultaneamente as propriedades \forallCMP e \exists NFP.
Consequências para \sim^u. Teorema da recursão paramétrica. Redução m e algumas das suas propriedades,