conjunto admisible


En la teoría de conjuntos , una disciplina dentro de las matemáticas, un conjunto admisible es un conjunto transitivo tal que es un modelo de la teoría de conjuntos de Kripke-Platek (Barwise 1975).

El ejemplo más pequeño de un conjunto admisible es el conjunto de conjuntos hereditariamente finitos . Otro ejemplo es el conjunto de conjuntos contables hereditariamente .