相关论文: On Ciesielski's problems

A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many…

We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…

This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…

Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense…

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain satisfying the uniform exterior cone condition. We establish existence and uniqueness of continuous solutions of the Dirichlet Problem associated to certain intrinsic nonlinear mean value…

Let $X$ be a compact metric space, and let $A$ be a pure $\mathrm{C}^*$-algebra. We show that $C(X,A)$ is pure whenever $A$ is simple; or every quotient of $A$ is stably finite (e.g., $A$ has stable rank one). Using permanence properties of…

We prove that every continuous function $f:E\to Y$ depends on countably many coordinates, if $E$ is an $(\aleph_1,\aleph_0)$-invariant pseudo-$\aleph_1$-compact subspace of a product of topological spaces and $Y$ is a space with a regular…

We are concerned with the existence and regularity of the solutions to the Dirichlet problem, for a class of quasilinear elliptic equations driven by a general differential operator, depending on $(x,u,\nabla u)$, and with a convective term…

In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…

We prove that for all $n\in \mathbb{N}$, there exists a constant $C_{n}$ such that for all $d \in \mathbb{N}$, for every row contraction $T$ consisting of $d$ commuting $n \times n$ matrices and every polynomial $p$, the following…

Using, as main tool, the convergence theorem for discrete martingales and the mean value property of harmonic functions we solve, a particular case of, Dirichlet problem.

For each of the functions $f \in \{\phi, \sigma, \omega, \tau\}$ and every natural number $k$, we show that there are infinitely many solutions to the inequalities $f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1)$, and similarly for…

We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in {\sf ZFC} that…

We study the boundary behaviour of the of (E) $-\Gd u-\myfrac{\xk }{d^2(x)}u+g(u)=0$, where $0<\xk <\frac{1}{4}$ and $g$ is a continuous nonndecreasing function in a bounded convex domain of $\BBR^N$. We first construct the Martin kernel…

We introduce an iteration of forcing notions satisfying the countable chain condition with minimal damage to a strong coloring. Applying this method, we prove that Martin's axiom is strictly stronger than its restriction to forcing notions…

If $f\colon [0,1]^2 \to \mathbb{R}$ is of class $C^2$ then Sard's theorem implies that $f$ has the following relaxed Sard property: the image under $f$ of the Lebesgue measure restricted to the critical set of $f$ is a singular measure. We…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if…

We generalise a result of Hedenmalm to show that if a function $f$ on $\mathbb{R}$ is such that $\int_{\mathbb{R}^2} \bigl|f(x) \, \hat f(y)\bigr| \,e^{\lambda \left|xy\right|} \,dx\,dy = O( (1-\lambda)^{-N} )$ as $\lambda \to 1-$, then $f$…

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…