Condições de equivalência entre os princípios da indução fraca, da indução completa e da boa ordem

• Main Author: Silva, Álvaro Altair Ferreira da
• Other Authors: Universidade Federal de Santa Catarina
• Language: Portuguese
• Published: 2012
• Subjects: Ciência da computação; Indução (Lógica)
• Online Access: http://repositorio.ufsc.br/xmlui/handle/123456789/94113

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 === Made available in DSpace on 2012-10-25T06:43:56Z (GMT). No. of bitstreams: 1 284555.pdf: 249411 bytes, checksum: 1d7e88413458866467e3ec7ac5dcbd19 (MD5) === Sabe-se que, em alguns ambientes, tais como os números naturais e os números ordinais, os princípios da indução fraca, da indução completa e da boa ordem são todos verdadeiros. Com base em certas condições, cada um destes três princípios implica nos outros dois, porém não está claro nas referências consultadas quais são estas condições. Neste trabalho é fornecido um ambiente com requisitos mínimos em que estes três princípios são equivalentes, no sentido de que todos são válidos, ou todos são não válidos. São apresentadas em detalhes algumas estruturas algébricas, da mais geral às mais particulares, nas quais estes três princípios são válidos. Para algumas destas estruturas é provada a validade das leis de indução dupla, nas versões fraca e completa. Nos ditos sistemas quase transfinitos