English
Related papers

Related papers: Locally constant functions in C-minimal structures

200 papers

In this paper, we prove that a continuous $\mathcal F$-plurisubharmonic functions defined in an $\mathcal F$-open set in $\mathbb C^n$ is $\mathcal F$-maximal if and only if it is $\mathcal F$-locally $\mathcal F$-maximal.

Complex Variables · Mathematics 2016-10-13 Nguyen Xuan Hong , Hoang Viet

We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all…

Data Structures and Algorithms · Computer Science 2007-05-23 Markus Frick , Martin Grohe

Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and…

General Topology · Mathematics 2026-03-12 Gerald Kuba

We propose the notions of uniform local weak o-minimality and $*$-local weak o-minimality. Local monotonicity theorems hold in definably complete locally o-minimal structures and uniformly locally o-minimal structures of the second kind. In…

Logic · Mathematics 2024-05-13 Masato Fujita

We construct an example of a real-valued continuous non-constant function $f$ defined on a connected complete metric space $X$ such that every point of $X$ is a point of local minimum or local maximum for $f$. The space $X$ is connected but…

General Topology · Mathematics 2008-11-12 T. Banakh , M. Vovk , M. R. Wojcik

Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two…

Machine Learning · Computer Science 2019-10-23 Roozbeh Farhoodi , Khashayar Filom , Ilenna Simone Jones , Konrad Paul Kording

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

Logic · Mathematics 2015-11-12 Erik Walsberg

We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No…

Logic · Mathematics 2014-10-16 Françoise Delon , Fares Maalouf

We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…

Logic in Computer Science · Computer Science 2017-11-28 Thomas Ehrhard , Michele Pagani , Christine Tasson

Automorphism groups of locally finite trees provide a large class of examples of simple totally disconnected locally compact groups. It is desirable to understand the connections between the global and local structure of such a group.…

Group Theory · Mathematics 2012-01-19 Pierre-Emmanuel Caprace , Tom De Medts

We prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and…

Logic · Mathematics 2016-12-09 Saskia Chambille , Pablo Cubides Kovacsics , Eva Leenknegt

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

General Topology · Mathematics 2011-08-23 Taras Banakh

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 definable sets by definable equivalence relations when several…

Logic · Mathematics 2026-01-09 Masato Fujita , Tomohiro Kawakami

We show that we can approximate every function $f\in C^{k}(\bar{B_1})$ with a $s$-harmonic function in $B_1$ that vanishes outside a compact set. That is, $s$-harmonic functions are dense in $C^{k}_{\rm{loc}}$. This result is clearly in…

Analysis of PDEs · Mathematics 2015-03-17 Serena Dipierro , Ovidiu Savin , Enrico Valdinoci

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 linearly ordered abelian groups. We derive basic properties of…

Logic · Mathematics 2023-02-22 Masato Fujita

We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…

Logic · Mathematics 2023-10-11 Pablo Andújar Guerrero , Margaret E. M. Thomas

This paper has two goals: to present some new results that are necessary for further study and applications of quasi-linear functionals, and, by combining known and new results, to serve as a convenient single source for anyone interested…

Functional Analysis · Mathematics 2019-02-12 Svetlana V. Butler

Let $C(X,E)$ be the linear space of all continuous functions on a compact Hausdorff space $X$ with values in a locally convex space $E$. We characterize maps $T:C(X,E)\to C(Y,E)$ which satisfy $\mathrm{Ran}(TF-TG)\subset\mathrm{Ran}(F-G)$…

Functional Analysis · Mathematics 2019-10-18 Yuta Enami

The primary goal of this paper is to establish a model of $ZFC$ wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with the utilization of both a supercompact cardinal and a…

Logic · Mathematics 2023-10-10 Mohammad Golshani , Mostafa Mirabi

Local scaling of a set means that in a neighborhood of a point the structure of the set can be mapped into a finer scale structure of the set. These scaling transformations are compact sets of locally affine (that is: with uniformly…

Dynamical Systems · Mathematics 2016-09-07 J. J. P. Veerman , Leo B. Jonker