Indiscerníveis
Este artigo não cita fontes confiáveis. (Fevereiro de 2015) |
Indiscerníveis, em lógica matemática, são objetos que não podem ser distinguidos por nenhuma propriedade ou relação definida por uma fórmula. Normalmente são consideradas apenas fórmulas de primeira ordem.
Exemplos
editarSe a, b, and c são diferentes e {a, b, c} é um conjunto de indiscerníveis, então, por exemplo, para cada fórmula binária φ, nós devemos ter
Historicamente, a identidade dos indiscerníveis é uma das leis do pensamento de Leibniz.
Generalizações
editarEm alguns contextos se considera a noção mais geral de ordem de indiscerníveis, e o termo sequência de indiscerníveis frequentemente se refere implicitamente a sua noção mais fraca. Em nosso exemplo de fórmulas binárias, dizer que a tripla (a, b, c) de elementos distintos é uma sequencia de indiscerníveis implica
Aplicações
editarOrdem de indiscerníveis tem lugar de destaque na teoria dos cardinais de Ramsey, e cardinais de Erdös.
Veja também
editarReferences
editar- Jech, Thomas. Set Theory Third Millennium ed. Berlin, New York: Springer-Verlag