English
Related papers

Related papers: Locally constant functions in C-minimal structures

200 papers

Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.

Logic · Mathematics 2026-02-23 Tomohiro Kawakami , Hiroshi Tanaka

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

Logic · Mathematics 2025-11-07 Jason Block , Russell Miller

We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.

General Topology · Mathematics 2017-10-19 Sergiy Maksymenko , Oksana Marunkevych

In this paper we study local stable/unstable sets of sensitive homeomorphisms with the shadowing property defined on compact metric spaces. We prove that local stable/unstable sets always contain a compact and perfect subset of the space.…

Dynamical Systems · Mathematics 2024-10-22 Mayara Antunes , Bernardo Carvalho , Margoth Tacuri

Given a local field $F$ of positive characteristic, an $F$-analytic manifold $X$ and an analytic function $f:X\rightarrow F$, the $F$-analytic log-canonical threshold $\mathrm{lct}_{F}(f;x_{0})$ is the supremum over the values $s\geq0$ such…

Algebraic Geometry · Mathematics 2025-11-04 Itay Glazer , Yotam I. Hendel

Let $\mathcal{T}$ be a locally finite tree whose geometric boundary has infinitely many points. Suppose that a non-amenable group $\G$ acts isometrically and geometrically on the tree $\mathcal{T}$. In this paper, we show that if the length…

Dynamical Systems · Mathematics 2024-03-11 Soonki Hong

Let g:X -> Y be a smooth (i.e. C^\infty differentiable) map between two smooth manifolds. In analogy with the case of complex polynomial functions, we say that y_0 in Y is a typical value of g if there exists an open neighbourhood U of y_0…

Differential Geometry · Mathematics 2016-09-07 Ta Lê Loi , Alexandru Zaharia

It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…

Differential Geometry · Mathematics 2007-05-23 R. Feres , A. Zeghib

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

Algebraic Topology · Mathematics 2021-11-23 Crichton Ogle , Sami Sultan

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…

Logic · Mathematics 2019-11-13 Elías Baro , Amador Martín-Pizarro

We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real…

Logic · Mathematics 2020-07-24 Viktor Chernov

Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…

Mathematical Physics · Physics 2015-01-08 J. LaChapelle

In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups…

Logic · Mathematics 2025-01-23 Zhentao Zhang

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

Category Theory · Mathematics 2022-05-12 Tomáš Jakl

This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of…

Representation Theory · Mathematics 2024-04-24 Dave Benson , Srikanth B. Iyengar , Henning Krause , Julia Pevtsova

Let $G$ be a locally compact abelian topological group. For locally bounded measurable functions $\varphi: G\to\Bbb {C}$ we discuss notions of spectra for $\varphi$ relative to subalgebras of $L^{1}(G)$. In particular we study polynomials…

Functional Analysis · Mathematics 2013-06-05 B. Basit , A. J. Pryde

Some new classes of compacta $K$ are considered for which $C(K)$ endowed with the pointwise topology has a countable cover by sets of small local norm--diameter.

Functional Analysis · Mathematics 2015-10-20 Wiesław Kubiś , Aníbal Moltó , Stanimir Troyanski

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…

Classical Analysis and ODEs · Mathematics 2020-06-18 Leonhard Frerick , Laurent Loosveldt , Jochen Wengenroth

The article is devoted to one infinite parametric class of continuous functions with complicated local structure. In the article differential, integral, self-affine and other properties of functions, that their argument is represented by…

Classical Analysis and ODEs · Mathematics 2017-04-07 Symon Serbenyuk

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay
‹ Prev 1 3 4 5 6 7 10 Next ›