English
Related papers

Related papers: Constructive strong regularity and the extension p…

200 papers

An example is constructed of a local ring and a module of finite type and finite projective dimension over that ring such that the module is not rigid. This shows that the rigidity conjecture is false.

Commutative Algebra · Mathematics 2008-02-03 Raymond C. Heitmann

Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangeability. Current tools for constraint solving typically…

Artificial Intelligence · Computer Science 2014-01-16 Lucas Bordeaux , Marco Cadoli , Toni Mancini

In this work, we provide some novel results that establish both the existence of Henig global proper efficient points and their density in the efficient set for vector optimization problems in arbitrary normed spaces. Our results do not…

Optimization and Control · Mathematics 2024-11-01 Fernando García-Castaño , Miguel Ángel Melguizo-Padial

This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad…

Rings and Algebras · Mathematics 2015-06-02 B. A. Davey , M. Haviar , H. A. Priestley

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster…

Algebraic Geometry · Mathematics 2021-01-29 Man-Wai Cheung , Timothy Magee , Alfredo Nájera Chávez

It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…

Logic · Mathematics 2023-12-21 Hanul Jeon , James Walsh

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

Logic · Mathematics 2022-10-13 Iván Ongay-Valverde , Franklin D. Tall

The main result of the article is a complete characterization of the local structure of two-dimensional sets with positive reach in $R^d$. We also present a more elementary proof of a recent result of A. Lytchak which describes for $k\leq…

Metric Geometry · Mathematics 2026-05-13 Jan Rataj , Ludek Zajicek

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is…

Dynamical Systems · Mathematics 2016-04-08 Vitaly Bergelson , Cory Christopherson , Donald Robertson , Pavel Zorin-Kranich

We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…

Functional Analysis · Mathematics 2015-10-19 Pavol Zlatoš

We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\lam$-complete set $A$ has the $\lam$-existence property. This means that $A$ can be extended to a $\lam$-saturated model of $T$ without changing the $P$-part.…

Logic · Mathematics 2026-05-07 Alexander Usvyatsov

Topological measures and quasi-linear functionals generalize measures and linear functionals. We define and study deficient topological measures on locally compact spaces. A deficient topological measure on a locally compact space is a set…

Classical Analysis and ODEs · Mathematics 2019-02-08 Svetlana V. Butler

We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods…

General Topology · Mathematics 2014-02-18 Arnold W. Miller , Boaz Tsaban , Lyubomyr Zdomskyy

In this paper we prove, as conjectured by B.Banachewski and C.J.Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and unital abelian localic C*-algebras. In order to do so we…

Category Theory · Mathematics 2023-04-12 Simon Henry

We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also…

Logic · Mathematics 2014-11-25 Anand Pillay

A new probabilistic technique for establishing the existence of certain regular combinatorial structures has been recentlyintroduced by Kuperberg, Lovett, and Peled (STOC 2012). Using this technique, it can be shown that under certain…

Combinatorics · Mathematics 2020-07-02 Shachar Lovett , Sankeerth Rao , Alexander Vardy

We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally…

General Topology · Mathematics 2021-03-25 María V. Ferrer , Salvador Hernández

In this paper we study the regularity of the local minima of integral functionals: in particular, not convexity (quasi-convexity, policonvexity or rank one convexity) hypothesis will be made on the density, neither structure hypothesis nor…

Optimization and Control · Mathematics 2023-02-07 Tiziano Granucci

Generalizing de Vries Compactification Theorem and strengthening Leader Local Compactification Theorem, we describe the partially ordered set $(\LL(X),\le)$ of all (up to equivalence) locally compact Hausdorff extensions of a Tychonoff…

General Topology · Mathematics 2009-10-20 Georgi Dimov

Szemer\'edi's regularity lemma is a fundamental tool in extremal graph theory, theoretical computer science and combinatorial number theory. Lov\'asz and Szegedy [L. Lov\'asz and B. Szegedy: Szemer\'edi's Lemma for the analyst, Geometric…

Combinatorics · Mathematics 2015-06-24 Guus Regts