数学の記述的集合論の分野では、点クラスがすべての再帰点集合を含み、再帰的置換、有界普遍量化と存在量化、再帰関数による原像に対して閉じている場合、その点クラスは適切であると言える。[1] [2]
参考文献
- ^ モスコバキス、YN (1987)、記述的集合論、論理学と数学の基礎研究、エルゼビア、p. 158、ISBN 9780080963198。
- ^ ガベイ、ドブ・M.; 金森明宏; ウッズ、ジョン（2012）「20世紀の集合と拡張」、論理学の歴史ハンドブック、第6巻、エルゼビア、p.465、ISBN 9780080930664。
