شماره ركورد كنفرانس
5440
عنوان مقاله
Definable Monotone Functions in Type Complete Ordered Fields
پديدآورندگان
ABBASPOUR P. rooeintan@lamerdhec.ac.ir Faculty of Mathematics, Statistics, and Computer Science, University of Tabriz, Tabriz, Iran, , EIVAZLOO J.S. Faculty of Mathematics, Statistics, and Computer Science, University of Tabriz, Tabriz, Iran,
تعداد صفحه
4
كليدواژه
type , complete , definable monotone function
سال انتشار
1400
عنوان كنفرانس
بيست و هفتمين سمينار جبر ايران
زبان مدرك
انگليسي
چكيده فارسي
Type complete ordered structures have been studied in [1] and [2] within many remarkable results. The main results were achieved under the additional definable completeness named DC. An ordered structure M = (M, , . . . ) satisfies DC if every bounded above definable subset of M has a least upper bound in M. Here, we study type-complete structures in which definable bounded monotone functions converge. [1] A. FORNASIERO, Locally o-minimal structures with locally o-minimal open core, Ann. Pure Appl. Logic, 164 (2013) 211-229. [2] H. SCHOUTENS, O-minimalism, J. Symbolic Logic, 79 (2014) 355-409
كشور
ايران
لينک به اين مدرک