English
Related papers

Related papers: Local tabularity in MS4 with Casari's axiom

200 papers

We study the finite dimensional partition properties of the countable homogeneous dense local order. Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of…

Combinatorics · Mathematics 2014-01-07 C. Laflamme , L. Nguyen Van Thé , N. W. Sauer

Locality is a fundamental principle used extensively in program and system optimization. It can be measured in many ways. This paper formalizes the metrics of locality into a measurement theory. The new theory includes the precise…

Performance · Computer Science 2018-04-17 Liang Yuan , Chen Ding , Peter Denning , Yunquan Zhang

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

Logic in Computer Science · Computer Science 2020-05-13 Vincenzo Ciancia , Diego Latella , Mieke Massink , Erik de Vink

In a game of incomplete information, an infinite state space can create problems. When the space is uncountably large, the strategy spaces of the players may be unwieldly, resulting in a lack of measurable equilibria. When the knowledge of…

Logic · Mathematics 2011-10-17 Robert Samuel Simon

We use knowledge of local fields to adapt Jonathan Lubin and Michael Rosen's proof of Mazur's Proposition 4.39. This changes the result about abelian varieties from only working over local fields with a finite residue field to working with…

Number Theory · Mathematics 2022-03-23 Christopher Stephen Hall

Recently, Meierfrankenfeld has published three theorems on the cohomology of a finitary module. They cover the local determination of complete reducibility; the local splitting of group extensions; and the representation of locally split…

Group Theory · Mathematics 2008-02-03 Paul Hewitt

This work generalizes the theory of arithmetic local constants, introduced by Mazur and Rubin, to better address abelian varieties with a larger endomorphism ring than $\mathbb{Z}$. We then study the growth of the $p^\infty$-Selmer rank of…

Number Theory · Mathematics 2021-02-09 Sunil Chetty

We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result…

Complex Variables · Mathematics 2024-04-25 Annapurna Banik

A p-local finite group consists of a finite p-group S, together with a pair of categories which encode ``conjugacy'' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains…

Algebraic Topology · Mathematics 2007-06-13 Carles Broto , Natalia Castellana , Jesper Grodal , Ran Levi , Bob Oliver

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 introduce notions of finite presentation and co-exactness which serve as qualitative and quantitative analogues of finite-dimensionality for operator modules over completely contractive Banach algebras. With these notions we begin the…

Operator Algebras · Mathematics 2021-04-12 Jason Crann

Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…

Commutative Algebra · Mathematics 2011-08-09 Moharram Aghapournahr

We initiate the study of the duality theory of locally recoverable codes, with a focus on the applications. We characterize the locality of a code in terms of the dual code, and introduce a class of invariants that refine the classical…

Information Theory · Computer Science 2022-12-16 Anina Gruica , Benjamin Jany , Alberto Ravagnani

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

Logic · Mathematics 2018-02-12 Pablo Cubides Kovacsics , Françoise Delon

I prove a local finite determinacy result of singular fibres in families. As an application, I generalize finite determinacy results on the fibres of log morphisms and nearby and vanishing cycles sheaves by Illusie and Kisin.

Algebraic Geometry · Mathematics 2019-09-10 Helge Ruddat

We construct local, in spacetime, singular solutions to the Einstein vacuum equations that exhibit Kasner-like behavior in their past boundary. Our result can be viewed as a localization (in space) of the construction in \cite{FL}. We also…

Analysis of PDEs · Mathematics 2024-12-24 Nikolaos Athanasiou , Grigorios Fournodavlos

We present an extension of the classical De Giorgi class, and then we show that functions in this new class are locally bounded and locally H\"older continuous. Some applications are given. As a first application, we give a regularity…

Analysis of PDEs · Mathematics 2022-12-09 Hongya Gao , Aiping Zhang , Siyu Gao

In this paper, we give a complete real-variable theory of local variable Hardy spaces. First, we present various real-variable characterizations in terms of several local maximal functions. Next, the new atomic and the finite atomic…

Classical Analysis and ODEs · Mathematics 2021-10-08 Jian Tan

Let $\Gamma \stackrel{i}{\hookrightarrow} L$ be a lattice in the real simple Lie group $L$. If $L$ is of rank at least 2 (respectively locally isomorphic to $Sp(n,1)$) any unbounded morphism $\rho: \Gamma \longrightarrow G$ into a simple…

Differential Geometry · Mathematics 2009-03-24 Kim Inkang , Bruno Klingler , Pierre Pansu

A local Tb theorem is an L^2 boundedness criterion by which the question of the global behavior of an operator is reduced to its local behavior, acting on a family of test functions b_Q indexed by the dyadic cubes. We present several…

Classical Analysis and ODEs · Mathematics 2016-08-03 Ana Grau de la Herran , Steve Hofmann