در این پایان نامه? بعضی تئوری هایی که در آن مدل همراه موجود نیست را معرفی می کنیم. از طرف دیگر میدان های بسته ی جبری با یک خودریختی مجزا را مطالعه می کنیم و نشان می دهیم این تئوری مدل همراه دارد و آن را acfa می نامیم. acfa را که اصول گذاری از مدل های به طور وجودی بسته ی میدان های تفاضلی معرفی می کنیم? تئوری میدان های تفاضلی کلی می نامیم.