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