An example related to Gregory’s Theorem

In this paper, we give an example of a complete computable infinitary theory T with countable models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ and T has no uncountable model. In fact, ${\mathcal{M}}$ and ${\mathcal{N}}$ are (up to isomorphism) the only models of T. Moreover, for all computable ordinals α, the computable ${\Sigma_\alpha}$ part of T is hyperarithmetical. It follows from a theorem of Gregory (JSL 38:460–470, 1972; Not Am Math Soc 17:967–968, 1970) that if T is a Π ₁ ¹ set of computable infinitary sentences and T has a pair of models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ , then T would have an uncountable model.     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

On Rational Pairings of Functors

In the theory of coalgebras C over a ring R, the rational functor relates the category $_{C^*}{\mathbb{M}}$ of modules over the algebra C ^* (with convolution product) with the category $^C{\mathbb{M}}$ of comodules over C. This is based on the pairing of the algebra C ^* with the coalgebra C provided by the evaluation map ${\rm ev}:C^*\otimes_R C\to R$ . The (rationality) condition under consideration ensures that $^C{\mathbb{M}}$ becomes a coreflective full subcategory of $_{C^*}{\mathbb{M}}$ . We generalise this situation by defining a pairing between endofunctors T and G on any category ${\mathbb{A}}$ as a map, natural in $a,b\in {\mathbb{A}}$ , $$ \beta_{a,b}:{\mathbb{A}}(a, G(b)) \to {\mathbb{A}}(T(a),b), $$ and we call it rational if these all are injective. In case T?=?(T, m _T , e _T ) is a monad and G?=?(G, δ _G , ε _G ) is a comonad on ${\mathbb{A}}$ , additional compatibility conditions are imposed on a pairing between T and G. If such a pairing is given and is rational, and T has a right adjoint monad T ^???, we construct a rational functor as the functor-part of an idempotent comonad on the T-modules ${\mathbb{A}}_{T}$ which generalises the crucial properties of the rational functor for coalgebras. As a special case we consider pairings on monoidal categories.     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Weak partition properties on trees

We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ ^<ω by countably many colors, call a tree ${T \subseteq \kappa^{ < \omega}}$ χ-homogeneous if the number of colors on each level of T is finite. Write ${\kappa \rightsquigarrow (\lambda)^{ < \omega}_{\omega}}$ to denote that for any such coloring there is a χ-homogeneous λ-branching tree of height ω. We prove, e.g., that if ${\kappa < \mathfrak{p}}$ or ${\kappa > \mathfrak{d}}$ is regular, then ${{\kappa \rightsquigarrow (\kappa)^{ < \omega}_{\omega}}}$ and that ${\mathfrak{b}}$ ${(\mathfrak{b})^{ < \omega}_{\omega}}$ and ${\mathfrak{d}}$ ${(\mathfrak{d})^{ < \omega}_{\omega}}$ . The arrow is applied to prove a generalization of a theorem of Hurewicz: A ?ech-analytic space is σ-locally compact iff it does not contain a closed homeomorphic copy of irrationals.     

Regularity criteria of axisymmetric weak solutions to the 3D magnetohydrodynamic equations

In this paper, we study the regularity criteria for axisymmetric weak solutions to the MHD equations in ?³. Let ω _θ , J _θ and u _θ be the azimuthal component of ω, J and u in the cylindrical coordinates, respectively. Then the axisymmetric weak solution (u, b) is regular on (0, T) if (ω _θ , J _θ ) ∈ L ^q (0, T; L ^p ) or (ω _θ , ▽(u _θ e _θ )) ∈ L ^q (0, T; L ^p ) with $\tfrac{3} {p} + \tfrac{2} {q} \leqslant 2$ , $\tfrac{3} {2} < p < \infty$ . In the endpoint case, one needs conditions $\left( {\omega _\theta ,J_\theta } \right) \in L^1 \left( {0,T;\dot B_{\infty ,\infty }^0 } \right)$ or $\left( {\omega _\theta ,\nabla \left( {u_\theta e_\theta } \right)} \right) \in L^1 \left( {0,T;\dot B_{\infty ,\infty }^0 } \right)$ .     

Harmonic vector fields on compact Lorentz surfaces

We study harmonic vector fields on a Lorentzian torus T ² i.e. critical points of the total bending functional ${\mathcal {B} : \mathcal {E} \to \mathbb {R}}$ were ${\mathcal {E}}$ consists of all unit timelike vector fields on T ². We derive the first variation formula for ${\mathcal {B}}$ in terms of the Lorentz angle function associated to each ${X \in \mathcal {E}}$ and give applications on flat Lorentzian tori.     

A base-matrix lemma for sets of rationals modulo nowhere dense sets

We study some properties of the quotient forcing notions ${Q_{tr(I)} = \wp(2^{< \omega})/tr(I)}$ and P _I ?= B(2 ^ω )/I in two special cases: when I is the σ-ideal of meager sets or the σ-ideal of null sets on 2 ^ω . We show that the remainder forcing R _I =?Q _tr(I)/P _I is σ-closed in these cases. We also study the cardinal invariant of the continuum ${\mathfrak{h}_{\mathbb{Q}}}$ , the distributivity number of the quotient ${Dense(\mathbb{Q})/nwd}$ , in order to show that ${\wp(\mathbb{Q})/nwd}$ collapses ${\mathfrak{c}}$ to ${\mathfrak{h}_{\mathbb{Q}}}$ , thus answering a question addressed in Balcar et?al. (Fundamenta Mathematicae 183:59–80, 2004).     

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

Let \(\mathcal{S}\) be a finite additively written commutative semigroup, and let \(\exp(\mathcal{S})\) be its exponent which is defined as the least common multiple of all periods of the elements in \(\mathcal{S}\) . For every sequence T of elements in \(\mathcal{S}\) (repetition allowed), let \(\sigma(T) \in\mathcal{S}\) denote the sum of all terms of T. Define the Davenport constant \(\mathsf{D}(\mathcal{S})\) of \(\mathcal{S}\) to be the least positive integer d such that every sequence T over \(\mathcal{S}\) of length at least d contains a proper subsequence T′ with σ(T′)=σ(T), and define \(\mathsf{E}(\mathcal{S})\) to be the least positive integer ? such that every sequence T over \(\mathcal{S}\) of length at least ? contains a subsequence T′ with \(|T|-|T'|= \lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil \exp(\mathcal{S})\) and σ(T′)=σ(T). When \(\mathcal{S}\) is a finite abelian group, it is well known that \(\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil\exp (\mathcal{S})=|\mathcal{S}|\) and \(\mathsf{E}(\mathcal{S})=\mathsf{D}(\mathcal{S})+|\mathcal{S}|-1\) . In this paper we investigate whether \(\mathsf{E}(\mathcal{S})\leq \mathsf{D}(\mathcal{S})+ \lceil\frac{|\mathcal{S}|}{\exp(\mathcal {S})} \rceil \exp(\mathcal{S})-1\) holds true for all finite commutative semigroups \(\mathcal{S}\) . We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.     

Flat orbits, minimal ideals and spectral synthesis

Let G = exp ${\mathfrak{g}}$ be a connected, simply connected, nilpotent Lie group and let ω be a continuous symmetric weight on G with polynomial growth. In the weighted group algebra ${L^{1}_{\omega}(G)}$ we determine the minimal ideal of given hull ${\{\pi_{l'} \in \hat{G} | l' \in l + \mathfrak{n}^{\perp}\}}$ , where ${\mathfrak{n}}$ is an ideal contained in ${\mathfrak{g}(l)}$ , and we characterize all the L ^∞(G/N)-invariant ideals (where ${N = {\rm exp}\, \mathfrak{n}}$ ) of the same hull. They are parameterized by a set of G-invariant, translation invariant spaces of complex polynomials on N dominated by ω and are realized as kernels of specially built induced representations. The result is particularly simple if the co-adjoint orbit of l is flat.     

Calderón–Zygmund Operators on Weighted Hardy Spaces

We study the boundedness of Calderón–Zygmund operators on weighted Hardy spaces $H^p_w$ using Littlewood-Paley theory. It is shown that if a Calderón–Zygmund operator T satisfies T ^*1?=?0, then T is bounded on $H^p_w$ for $w\in A_{p(1+\frac\varepsilon n)}$ and $\frac n{n+\varepsilon}<p\le1$ , where ε is the regular exponent of the kernel of T.     

A moment theorem for completely hyperexpansive operators

Given a family $ \{ A_m^x \} _{\mathop {m \in \mathbb{Z}_ + ^d }\limits_{x \in X} } $ (X is a non-empty set) of bounded linear operators between the complex inner product space $ \mathcal{D} $ and the complex Hilbert space ? we characterize the existence of completely hyperexpansive d-tuples T = (T ₁, … , T _d ) on ? such that A _m ^x = T ^m A ₀ ^x for all m ? ? ₊ ^d and x ? X.     

An analog of the weyl decomposition of the spaceL q (ω, ℝ n ) for a first-order differential operatorfor a first-order differential operator

We prove the following theorem: Suppose the function f(x) belongs toL _q (ω, ? ⁿ ), ω ? ? ^m , q∈(1, ∞), and satisfies the inequality $$|\int\limits_\omega {(f(x),{\mathbf{ }}v(x)){\mathbf{ }}dx| \leqslant \mu ||} v||'_q ,{\mathbf{ }}\tfrac{1}{q} + \tfrac{1}{{q'}} = 1,$$ for all n-dimensional vector-valued functions in the kernel of a scalar-valued first-order differential operator £ for which the second-order operatorLL ^* is elliptic. Then there exists a function p(x)∈W _q ¹ (ω) such that $$||f(x) - \mathfrak{L}^* p(x)||q \leqslant C_q \mu .$$ Bibliography: 6 titles.     

On the divergence of Lagrange interpolation processes on a set of second category

В статье даны полные д оказательства следу ющих утверждений. Пустьω — непрерывная неубывающая полуадд итивная функций на [0, ∞),ω(0)=0 и пусть M?[0, 1] — матрица узл ов интерполирования. Если $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n > 0$$ то существует точкаx ₀∈[0,1] и функцияf ∈ С[0,1] таки е, чтоω(f, δ)=О(ω(δ)), для которой $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x_0 ) - f(x_0 )| > 0$$ Если же $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n = \infty$$ , то существуют множес твоE второй категори и и функцияf ∈ С[0,1],ω(f, δ)=o(ω(δ)) та кие, что для всехx∈E $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x)| = \infty$$ . Исправлена погрешно сть, допущенная автор ом в [5], и отмеченная в работе П. Вертеши [9].     

Martin’s Maximum and tower forcing

There are several examples in the literature showing that compactness-like properties of a cardinal κ cause poor behavior of some generic ultrapowers which have critical point κ (Burke [1] when κ is a supercompact cardinal; Foreman-Magidor [6] when κ = ω ₂ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $\overrightarrow I $ is a tower of ideals which concentrates on the class $GI{C_{{\omega _1}}}$ of ω ₁-guessing, internally club sets, then $\overrightarrow I $ is not presaturated (a set is ω ₁-guessing iff its transitive collapse has the ω ₁-approximation property as defined in Hamkins [10]). This theorem, combined with work from [16], shows that if PFA ⁺ or MM holds and there is an inaccessible cardinal, then there is a tower with critical point ω ₂ which is not presaturated; moreover, this tower is significantly different from the non-presaturated tower already known (by Foreman-Magidor [6]) to exist in all models of Martin’s Maximum. The conjunction of the Strong Reflection Principle (SRP) and the Tree Property at ω ₂ has similar implications for towers of ideals which concentrate on the wider class $GI{C_{{\omega _1}}}$ of ω ₁-guessing, internally stationary sets. Finally, we show that the word “presaturated” cannot be replaced by “precipitous” in the theorems above: Martin’s Maximum (which implies SRP and the Tree Property at ω ₂) is consistent with a precipitous tower on $GI{C_{{\omega _1}}}$ .