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[editar | editar código-fonte]
Se 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[editar | editar código-fonte]
Em 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[editar | editar código-fonte]
Ordem de indiscerníveis tem lugar de destaque na teoria dos cardinais de Ramsey, e cardinais de Erdös.
Veja também[editar | editar código-fonte]
References[editar | editar código-fonte]
- Jech, Thomas. Set Theory Third Millennium ed. Berlin, New York: Springer-Verlag