Hispanopedia WikiEn 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 hereditariamente numerables .
Véase también
Referencias
- Barwise, Jon (1975). Conjuntos y estructuras admisibles: un enfoque a la teoría de la definibilidad , Perspectivas en lógica matemática, volumen 7, Springer-Verlag. Versión electrónica en Project Euclid .
Categorías :
- teoría de conjuntos
- esbozos de teoría de conjuntos