排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
Algebra and Logic - Unary functions definable in o-stable ordered groups of nonvaluational type are studied. Such functions are proved to be piecewise monotone and continuous. 相似文献
2.
Viktor Verbovskiy 《Mathematical Logic Quarterly》2019,65(3):332-346
In this paper, we consider the question of definability of types in non‐stable theories. In order to do this we introduce a notion of a relatively stable theory: a theory is stable up to Δ if any Δ‐type over a model has few extensions up to complete types. We prove that an n‐type over a model of a theory that is stable up to Δ is definable if and only if its Δ‐part is definable. 相似文献
3.
Viktor V. Verbovskiy 《Mathematical Logic Quarterly》2015,61(1-2):82-90
Here we study properties of weakly circularly minimal cyclically ordered groups. The main result of the paper is that any weakly circularly minimal cyclically ordered group is abelian. 相似文献
1