Indiscernibles - Indiscernibles
v matematická logika, nerozluční jsou objekty, které nelze odlišit žádným vlastnictví nebo vztah definováno a vzorec. Obvykle jen první objednávka jsou vzaty v úvahu vzorce.
Příklady
Li A, b, a C jsou odlišný a {A, b, C} je soubor nedotknutelných, pak například pro každý binární vzorec , musíme mít
Historicky totožnost nerozporných byl jedním z zákony myšlení z Gottfried Leibniz.
Zobecnění
V některých kontextech lze uvažovat o obecnější představě o řádově nerozlučnía termín sled nerozeznatelných často implicitně odkazuje na tuto slabší představu. V našem příkladu binárních vzorců lze říci, že trojnásobek (A, b, C) různých prvků je posloupnost indiscernibles naznačuje
Aplikace
Poriadek nerozluční mají v teorii prominentní roli Ramsey kardinálové, Erdős kardinálové, a Nulové ostré.
Viz také
Reference
- Jech, Thomas (2003). Teorie množin. Springer Monographs in Mathematics (Third Millennium ed.). Berlín, New York: Springer-Verlag. ISBN 978-3-540-44085-7. Zbl 1007.03002.