Related papers: A solution to Roitman's problem
In this paper the chaos persistence in a class of discontinuous dynamical systems of fractional-order is analyzed. To that end, the Initial Value Problem is first transformed, by using the Filippov regularization [1], into a set-valued…
The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called $q$-dependent if there are no pairwise disjoint $F_1\in \mathcal F_1,\ldots, F_s\in\mathcal F_s$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max…
Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…
Motivated by Keisler's order, a far-reaching program of understanding basic model-theoretic structure through the lens of regular ultrapowers, we prove that for a class of regular filters $D$ on $I$, $|I| = \lambda > \aleph_0$, the fact…
We establish the optimal regularity of solutions to the Neumann problem for the fractional Laplacian, $(-\Delta)^s u=h$ in $\Omega$, with the external condition $\mathcal N^s u=0$ in $\Omega^c$. For this, a key point is to establish a 1D…
This paper deals with solutions to the equation \begin{equation*} -\Delta u = \lambda_+ \left(u^+\right)^{q-1} - \lambda_- \left(u^-\right)^{q-1} \quad \text{in $B_1$} \end{equation*} where $\lambda_+,\lambda_- > 0$, $q \in (0,1)$,…
We demonstrate a family of propositional formulas in conjunctive normal form so that a formula of size $N$ requires size $2^{\Omega(\sqrt[7]{N/logN})}$ to refute using the tree-like OBDD refutation system of Atserias, Kolaitis and Vardi…
In this paper, first we introduce a new mapping for finding a common fixed point of an infinite family of nonexpansive mappings then we consider iterative method for finding a common element of the set of fixed points of an infinite family…
We consider here the family of semilinear parabolic problems \begin{equation*} \begin{array}{rcl} \left\{ \begin{array}{rcl} u_t(x,t)&=&\Delta u(x,t) -au(x,t) + f(u(x,t)) ,\,\,\ x \in \Omega_\epsilon \,\,\,\mbox{and}\,\,\,\,\,\,t>0\,, \\…
We show that we can construct simultaneously all the stable trees as a nested family. More precisely, if $1 < a < a' \leq 2$ we prove that hidden inside any a-stable we can find a version of an a'-stable tree rescaled by an independent…
The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa…
Denote by $f_D(n)$ the maximum size of a set family $\mathcal{F}$ on $[n] \stackrel{\mbox{\normalfont\tiny def}}{=} \{1, \dots, n\}$ with distance set $D$. That is, $|A \bigtriangleup B| \in D$ holds for every pair of distinct sets $A, B…
An almost disjoint family $\mathcal A$ of subsets of $\mathbb N$ is said to be $\mathbb R$-embeddable if there is a function $f:\mathbb N\rightarrow \mathbb R$ such that the sets $f[A]$ are ranges of real sequences converging to distinct…
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…
Two new approaches to solving first-order quasilinear elliptic systems of PDEs in many dimensions are proposed. The first method is based on an analysis of multimode solutions expressible in terms of Riemann invariants, based on links…
Let $1< \alpha <2$ and $A$ be the generator of an $\alpha$-times resolvent family $\{S_\alpha(t)\}_{t \ge 0}$ on a Banach space $X$. It is shown that the fractional Cauchy problem ${\bf D}_t^\alpha u(t) = Au(t)+f(t)$, $t \in [0,r]$; $u(0),…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
We prove the quasi-optimal convergence of a standard adaptive finite element method (AFEM) for nonlinear elliptic second-order equations of monotone type. The adaptive algorithm is based on residual-type a posteriori error estimators and…
This paper deals with variety of problems in pcf theory and infinitary combinatorics. We look at normal filters and prc, measures of the size of [lambda]^{<kappa}, pcf-inaccessibility, entangled orders (and narrow Boolean Algebras),…