There has been a great deal of recent interest in binarized neural networks, especially
because of their explainability. At the same time, automatic differentiation algorithms such as …

We consider locally o-minimal structures possessing tame topological properties shared by
models of DCTC and uniformly locally o-minimal expansions of the second kind of densely …

We first show that the projection image of a discrete definable set is again discrete for an
arbitrary definably complete locally o‐minimal structure. This fact together with the results in …

We define and investigate a uniformly locally o-minimal structure of the second kind in this
paper. All uniformly locally o-minimal structures of the second kind have local monotonicity …

DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL
STRUCTURE OF THE SECOND KIND §1. Introduction. A unif Page 1 The Journal of Symbolic …

We propose new structures called almost o-minimal structures and X-structures. The former
is a first-order expansion of a dense linear order without endpoints such that the intersection …

Decomposition into special submanifolds - Fujita - 2023 - Mathematical Logic Quarterly - Wiley
Online Library Skip to Article Content Skip to Article Information Wiley Online Library Wiley …

Let $\mathcal F=(F,+.\cdot,<, 0, 1,\dots) $ be a definably complete locally o-minimal
expansion of an ordered field. We demonstrate the existence of definable quotients of …

This paper is devoted to o-minimalism, the study of the first-order properties of o-minimal
structures. The main protagonists are the pseudo-o-minimal structures, that is to say, the …

We consider d-minimal expansions of ordered fields. We demonstrate the existence of
definable quotients of definable sets by definable equivalence relations when several …