WikiDer > Неразличимые

Indiscernibles

В математическая логика, неразличимый объекты, которые не могут быть различимы никакими свойство или же связь определяется формула. Обычно только первый заказ формулы рассматриваются.

Примеры

Если а, б, и c находятся отчетливый и {а, б, c} это набор неразличимых, то, например, для каждой бинарной формулы , мы должны иметь

Исторически сложилось так, что идентичность неразличимых был одним из законы мысли из Готфрид Лейбниц.

Обобщения

В некоторых контекстах можно рассматривать более общее понятие неразличимый порядок, а срок последовательность неразличимых часто косвенно ссылается на это более слабое понятие. В нашем примере бинарных формул, чтобы сказать, что тройка (а, б, c) различных элементов представляет собой последовательность неразличимых элементов.

Приложения

Неразличимое по порядку занимает видное место в теории Рамси кардиналы, Кардиналы Эрдёша, и Нулевой диез.

Смотрите также

Рекомендации

  • Jech, Thomas (2003). Теория множеств. Монографии Спрингера по математике (изд. Третьего тысячелетия). Берлин, Нью-Йорк: Springer-Verlag. ISBN 978-3-540-44085-7. Zbl 1007.03002.