ON THE LOCAL MONOTONY OF ONE-PLACE FUNCTIONS DEFINABLE IN FINITELY QUILTED ORDERED STRUCTURES

Authors

  • Victor Verbovsky Author

DOI:

https://doi.org/10.47344/n482c369

Keywords:

mathematical logic, model theory, o-minimality, ordered structures, a cut, a complete type

Abstract

As it was proved by B. Kulpeshov, any cut in a weakly o-minimal
structures can have at most two extensions up to complete types, and the sets of
realizations of these types are convex in any elementary extensions. In this paper
we consider a generalization of weak o-minimality, namely notion of an n-quilted
structure: a totally ordered structure is said to be n-quilted if any cut has at most n
extensions up to complete types over the structure. Note that we omit here
condition that the set of all realizations of a type must be convex. In this article we
investigate the property of local monotonicity for unary functions definable in
finitely quilted ordered structures.

Downloads

Published

2020-06-17

How to Cite

Verbovsky, V. (2020). ON THE LOCAL MONOTONY OF ONE-PLACE FUNCTIONS DEFINABLE IN FINITELY QUILTED ORDERED STRUCTURES. Journal of Emerging Technologies and Computing, 52(1). https://doi.org/10.47344/n482c369