Descriptive Set Theory ile Classical Set Theory
Matematik
Geometri
Normal
Özet
Borel ve analitik kümeleri inceleyen küme kuramıdır. İLE Genel, aksiyomatik küme kuramıdır. İlki, ikincinin tanımlanabilir kümelere odaklı dalıdır.
Ayrıntılı Açıklama
Formül: Projective hierarchy
Formül
Projective hierarchy