相关论文: Large ordinals

Nonnegative solutions of the Neumann initial-boundary value problem for the chemotaxis system \begin{align}\label{prob:star}\tag{$\star$} \begin{cases} u_t = \Delta u - \nabla \cdot (u \nabla v) + \lambda u - \mu u^\kappa, \\\\ 0 = \Delta v…

The main result of the paper is an extension of the Dirichlet problem from (closures of) bounded open domains U to arbitrary compact subsets X of the complex plane, i.e. the closure of the corresponding space of functions which are harmonic…

Results are obtained for two minimization problems: $$I_k(c)=\inf \{\lambda_k(\Omega): \Omega\ \textup{open, convex in}\ \mathbb{R}^m,\ \mathcal{T}(\Omega)= c \},$$ and $$J_k(c)=\inf\{\lambda_k(\Omega): \Omega\ \textup{quasi-open in}\…

We prove the super-exponential decay of probabilities that there exist $n$ crossings of a given quadrilateral in a simple $\text{CLE}_\kappa(\Omega)$, $\frac{8}{3}<\kappa\le 4$, as $n$ goes to infinity. Besides being of independent…

Let $\Omega\subset \mathbb{R}^N$ ($N\geq 3$) be an open domain which is not necessarily bounded. The sharp constant and extremal functions to the following kind of double-variable inequalities $$ S_{\alpha,\beta,\lambda,\mu}(\Omega)…

Let $\Gamma$ be a totally ordered group. We use Hahn's embedding theorem to construct a totally ordered set $\Gamma\subset \Gamma_{\operatorname{sme}}$ which classifies small extensions of $\Gamma$. This small-extensions closure…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$

Let $S$ be a pure bounded rationally multicyclic subnormal operator on a separable complex Hilbert space $\mathcal H$ and let $M_z$ be the minimal normal extension on a separable complex Hilbert space $\mathcal K$ containing $\mathcal H.$…

In this paper, we are going to show existence of branches of bifurcation for positive $W^{1,p}_{loc}(\Omega)$-solutions for the very singular non-local $\lambda$-problem $$ -{\Big(\int_\Omega g(x,u)dx\Big)^r}\Delta_pu={\lambda }…

We introduce the family of axioms, denoted $\operatorname{Slice}_\kappa$, that claim the existence of strictly increasing decompositions of the form $$2^{\delta}=\bigcup_{\alpha<\kappa} 2^{\delta}\cap M_\alpha,$$ where $\delta<\kappa$, and…

Assuming 0^sharp does not exist, kappa is an uncountable cardinal and for all cardinals lambda with kappa <= lambda < kappa^{+ omega}, 2^lambda = lambda^+, we present a ``mini-coding'' between kappa and kappa^{+ omega}. This allows us to…

We study the boundedness of Toeplitz operators with locally integrable symbols on Bergman spaces $A^p(\Omega),$ $1<p<\infty,$ where $\Omega\subset \mathbb{C}$ is a bounded simply connected domain with polygonal boundary. We give sufficient…

We define a construction on operads which yields a new description of the minimal model. The construction also allows us to define algebraic structures on the homology of chain complexes with homologously trivial operad algebra structures,…

We show that the operations addition and multiplication on the set $C(\Omega)$ of all real continuous functions on $\Omega\subseteq\mathbb{R}^n$ can be extended to the set $\mathbb{H}(\Omega)$ of all Hausdorff continuous interval functions…

For an uncountable regular cardinal \kappa we let \nabla_\kappa(A) be the statement that A \subset \kappa and for all regular \theta > \kappa, the set of all X \in [\theta]^<\kappa such that X \cap \kappa \in \kappa and otp(X \cap OR) is a…

The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…

Consider the Dirichlet-Laplacian in $\Omega:= (0,L)\times (0,H)$ and choose another open set $\omega\subset \Omega$. The estimate $0<C_{\omega}\leq R_{\omega}(u):=\frac{\Vert u\Vert^{2}_{L^{2}(\omega)}}{\Vert u\Vert^{2}_{L^{2}(\Omega)}}\leq…

If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar with critical point above delta restricts to an embedding…

We consider the following problem on open set $\Omega$ of ${\mathbb R}^2$: $$\left \{ \begin {split} -\Delta u_i & = V_i e^{u_i} \,\, &\text{in} \,\, &\Omega \subset {\mathbb R}^2, \\ u_i & = 0 \,\, & \text{in} \,\, &\partial \Omega.\end…