En el campo matemático de la teoría de conjuntos descriptivos , una clase de puntos puede considerarse adecuada si contiene todos los conjuntos de puntos recursivos y está cerrada bajo sustitución recursiva, cuantificación universal y existencial acotada y preimágenes mediante funciones recursivas. [1] [2]
Referencias
- ^ Moschovakis, YN (1987), Teoría descriptiva de conjuntos, Estudios de lógica y fundamentos de las matemáticas, Elsevier, pág. 158, ISBN 9780080963198.
- ^ Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (2012), Conjuntos y extensiones en el siglo XX, Manual de la historia de la lógica, vol. 6, Elsevier, pág. 465, ISBN 9780080930664.
