در این پایان نامه که براساس دو مقاله از رومن ونسل نوشته می شود، ابتدا نشان داده می شود که اگر m,<,+,...) ) یک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب
(m,<,+)
باشد، آنگاه بسط آن با گردایه ای از محمولات تک موضعی غیرارزیابی همچنان غیرارزیابی باقی می ماند. سپس با به کار بردن نتیجه ای از دایاز درباره استقلال جبری دنباله های معینی از اعداد، نشان داده می شود که اگرk یک میدان از درجه تعالی مت...