相关论文: Many simple cardinal invariants

We isolate two combinatorial properties, each expressible by a $\Pi_2$-sentence over the structure $(H(\omega_3),\in,\omega_1,\omega_2,\text{NS}_{\omega_2})$, such that each property is consistent with CH, and their conjunction together…

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…

Alternating bilinear maps with few relations allow to define a combinatorial closure similarly as in [2]. For the $\aleph_0$-categorical case we show that this closure is part of the algebraic closure.

We provide a simple presentation by generators and relations of the ring of $\omega$-invariant symmetric functions over the field $\mathbb{F}_{2}$. Here, $\omega$ denotes the standard involution on the ring of symmetric functions,…

Let $M$ be a $n$-dimensional complex manifold and $f,g:M\to M$ two distinct holomorphic self-maps. Suppose that $f$ and $g$ coincide on a globally irreducible compact hypersurface $S\subset M$. We show that if one of the two maps is a local…

It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four…

If V is a simple complex euclidean Jordan algebra and G the subgroup of GL(V) fixing the determinant of V, we give a unified description of the invariant algebras C[pV]^G, for p not greater than three.

How do we take repeated derivatives of composed multivariate functions? for one-dimensional functions, the common tools consist of the Fa\'a di Bruno formula with Bell polynomials; while there are extensions of the Fa\'a di Bruno formula,…

Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which…

We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given…

We prove that if there exists a simplified $(\omega_1,2)$-morass, then there is a ccc forcing which adds an $\omega_3$-chain in P($\omega_1$) mod finite and a ccc forcing which adds a family of $\omega_3$-many strongly almost disjoint…

We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…

Let G be a simple graph with vertex set V(G). A subset S of V(G) is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G) + mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum…

Given any $f$ a locally finitely piecewise affine homeomorphism of $\Omega \subset \mathbb{R}^d$ onto $\Delta \subset \mathbb{R}^d$ (for $d=3, 4$) such that $f\in W^{1,p}(\Omega, \mathbb{R}^d)$ and $f^{-1}\in W^{1,q}(\Delta, \mathbb{R}^d)$,…

We study integrals of the form $\int_{\Omega}f\left( d\omega_1 , \ldots , d\omega_m \right), $ where $m \geq 1$ is a given integer, $1 \leq k_{i} \leq n$ are integers and $\omega_{i}$ is a $(k_{i}-1)$-form for all $1 \leq i \leq m$ and $…

We give some classes of power maps with low $c$-differential uniformity over finite fields of odd characteristic, {for $c=-1$}. Moreover, we give a necessary and sufficient condition for a linearized polynomial to be a perfect $c$-nonlinear…

Uniform metastable convergence is a weak form of uniform convergence for a family of sequences. In this paper we explore the way that metastable convergence stratifies into a family of notions indexed by countable ordinals. We give two…

Let $f\in W^{3,1}_{\mathrm{loc}}(\Omega)$ be a function defined on a connected open subset $\Omega\subseteq\mathbb R^2$. We will show that its graph is contained in a quadratic surface if and only if $f$ is a weak solution to a certain…

Let $n \geq 4$ and let $\Omega$ be a bounded hyperconvex domain in $\mathbb{C}^{n}$. Let $\varphi$ be a negative exhaustive smooth plurisubharmonic function on $\Omega$. We show that any holomorphic function defined on a connected open…

We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logic expanded by the first-order quantifiers `there exist at…