شماره ركورد كنفرانس :
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,
كليدواژه :
type , complete , definable monotone function
عنوان كنفرانس :
بيست و هفتمين سمينار جبر ايران
چكيده فارسي :
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
