Přípustná sada - Admissible set
v teorie množin, obor v matematice, an přípustná sada je tranzitivní sada takhle je Modelka z Teorie množin Kripke – Platek (Barwise 1975).
Nejmenším příkladem přípustného souboru je soubor dědičně konečné množiny. Dalším příkladem je sada dědičně spočítatelné sady.
Viz také
Reference
- Barwise, Jon (1975). Přípustné sady a struktury: přístup k teorii definovatelnosti, Perspectives in Mathematical Logic, díl 7, Springer-Verlag. Elektronická verze na Projekt Euclid.
Tento teorie množin související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |