相关论文: $\mu$-complete Souslin trees on $\mu^+$

In this paper, we consider higher regularity of a weak solution $({\bf u},p)$ to stationary Stokes systems with variable coefficients. Under the assumptions that coefficients and data are piecewise $C^{s,\delta}$ in a bounded domain…

We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of…

Complete non-ambiguous trees (CNATs) are combinatorial objects which appear in various contexts.Recently, Chen and Ohlig studied the notion of permutations associated to these objects, and proposed a series of nice conjectures.Most of them…

We completely classify all neutral or costandard elements in the lattice $\mathbb{MON}$ of all monoid varieties. Further, we prove that an arbitrary upper-modular element of $\mathbb{MON}$ except the variety of all monoids is either a…

We give an explicit presentation for the integral cohomology ring of the complement of any arrangement of level sets of characters in a complex torus (alias "toric arrangement"). Our description parallels the one given by Orlik and Solomon…

We study measures $\mu$ on the plane with two independent Alberti representations. It is known, due to Alberti, Cs\"ornyei, and Preiss, that such measures are absolutely continuous with respect to Lebesgue measure. The purpose of this paper…

We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as…

From many supercompact cardinals, we show that it is consistent for the tree property to hold at many small successors of singular cardinals, each with a different cofinality. In particular, we construct a model in which the tree property…

It implicitly follows from the work of [Colbourn, El-Mallah: On two dual classes of planar graphs. Discrete Mathematics 80(1): 21-40 (1990)] that every planar partial 3-tree is a subgraph of a planar 3-tree. This fact has already enabled to…

We prove the existence of positive periodic solutions for the second order nonlinear equation $u" + a(x) g(u) = 0$, where $g(u)$ has superlinear growth at zero and at infinity. The weight function $a(x)$ is allowed to change its sign.…

In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…

The differential systems satisfied by orthogonal polynomials with arbitrary semiclassical measures supported on contours in the complex plane are derived, as well as the compatible systems of deformation equations obtained from varying such…

Higher-order unification has been shown to be undecidable. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers. We extend the algorithm to…

Making use of the recent theory of noncommutative motives, we prove that Schur-finiteness in the setting of Voevodsky's mixed motives is invariant under homological projective duality. As an application, we show that the mixed motives of…

We prove that the ideal in complex cobordism ring $\MU^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\MU^*$ by forgetful map is prime. Using the…

The recently rigorously proved nonperturbative relation between u and the prepotential, underlying N=2 SYM with gauge group SU(2), implies both the reflection symmetry $\overline{u(\tau)}=u(-\bar\tau)$ and $u(\tau+1)=-u(\tau)$ which hold…

We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a \mu-measurable cardinal.

The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…

We characterize those countable rooted trees whose full automorphism group has uncountable strong cofinality or contains an open subgroup with ample generics.

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.