弱順序極小構造上での一変数関数の単調性定理について

摘要

M=(M,C,+,...)を順序群の弱順序極小な拡張とする．このとき, M上definableな一変数関数は，一般には順序極小構造と同じような意味での単調性定理は成立しない．しかしながら，Mが非付値的な場合ほ成立することがMacphetson－Marker-SteinhorTlやWencelにより示されている.このノ－トでは，彼らの結果を解説する.