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