جعفرصادق عیوضلو - دانشگاه تبریز

برای گسترش ؟؟؟ از زبان حلقه های مرتب، (>, 1, 0,. ,+)=L، بسط F از یک میدان مرتب را تعریف پذیر کامل گوییم هر گاه دارای شکاف ددکیند تعریف پذیر نباشد. رده £- بسط های تعریف پذیر کامل از میدان های مرتب یک رده مقدماتی است. در این مقاله با ارائه چند اصل موضوع مرتبه اول برخی نظریه های مرتبه اول معادل با نظریه مرتبه اول رده مقدماتی مذکور را تشکیل می دهیم.

میدان مرتب، شکاف تعریف پذیر، تعریف پذیر کامل، استقرای پیوسته، تعریف پذیر فشرده