Related papers: Finitness Principles for Smooth Selection
We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infinite-domain Constraint Satisfaction Problems (CSPs). Our main…
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…
The disc property is formulated for domains in $\mathbb{C}^n$. Holomorphic Lipschitz functions enjoy a gain in the order of Lipschitz regularity along the complex tangential direction on domains with disc property. Disc property is studied…
We obtain a refinement of a selection principle for $(\mathcal{K}, \lambda)$-wide-$(s)$ sequences in Banach spaces due to Rosenthal. This result is then used to show that if $C$ is a bounded, non-weakly compact, closed convex subset of a…
For every natural number $n$ we introduce a new weak choice principle $\mathrm{nRC_{fin}}$: Given any infinite set $x$, there is an infinite subset $y\subseteq x$ and a selection function $f$ that chooses an $n$-element subset from every…
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically…
We work in set-theory without choice $\ZF$. Given a closed subset $F$ of $[0,1]^I$ which is a bounded subset of $\ell^1(I)$ ({\em resp.} such that $F \subseteq \ell^0(I)$), we show that the countable axiom of choice for finite subsets of…
We consider the problem of rationalizing choice data by a preference satisfying an arbitrary collection of invariance axioms. Examples of such axioms include quasilinearity, homotheticity, independence-type axioms for mixture spaces,…
Properties of Lipschitz and d.c. surfaces of finite codimension in a Banach space, and properties of generated $\sigma$-ideals are studied. These $\sigma$-ideals naturally appear in the differentiation theory and in the abstract…
In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz…
In this paper we present new constructive methods, random and deterministic, for the efficient subsampling of finite frames in $\mathbb C^m$. Based on a suitable random subsampling strategy, we are able to extract from any given frame with…
We obtain boundary nondegeneracy and regularity estimates for solutions to non-divergence equations in $C^1$ domains, providing an explicit modulus of continuity. Our results extend the classical Hopf-Oleinik lemma and boundary Lipschitz…
The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow…
We prove $L^p(b\mathcal{D})$-regularity of the Cauchy-Leray integral for bounded domains $\mathcal{D}\subset\mathbb C^n$ whose boundary satisfies the minimal regularity condition of class $C^{1,1}$, together with a naturally occurring…
Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$…
We use X^{s,b}-inspired spaces to prove a uniqueness result for Calderon's problem in a Lipschitz domain under the assumption that the conductivity is Lipschitz. For Lipschitz conductivities, we obtain uniqueness for conductivities close to…
In the setting of horizontal curves in the Heisenberg group, we prove a $C^{m,\omega}$ finiteness principle, a $C^{m,\omega}$ Lusin approximation result, a $C^{\infty}$ Whitney extension result, and a $C^{\infty}$ Lusin approximation…
In this paper we present a new proof of the sufficiency theorem for strong local minimizers concerning $C^1$-extremals at which the second variation is strictly positive. The results are presented in the quasiconvex setting, in accordance…
The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…
We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very…