Isomorphism of finitely generated solvable groups is weakly universal

ما نشان می دهیم که رابطه ایزومورفیسم برای گروه های حل شده به طور کامل تولید شده از کلاس 3 یک رابطه معادله ی بورل ضریب پذیر است. این در نتایج قبلی بهبود می یابد. اثبات استفاده از اصلاح ساختمانی نویمان و نویمان است. استدلال های ابتدایی نشان می دهد که ایزومورفیسم گروه های متادلین یا نالوپتنت تولید شده به طور کامل نمی تواند این پیچیدگی بورل را به دست آورد. به این معنا نتیجه تیز است، هر چند باز باقی می ماند که آیا رابطه در واقع جهانی است.