برخی اصول موضوعه برای نظریه بسط های تعریف پذیر- کامل از میدان های مرتب

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

کلیدواژه ها:

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