On irreducible p,q‐representations of Lie algebras \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal {G} (0,1)$\end{document} and \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal {G} (0,0)$\end{document}

In this paper, the irreducible p, q‐representations of the Lie algebras $\mathcal {G}(0,1)$ and $\mathcal {G}(0,0)$ are discussed. We prove two theorems that classify certain irreducible p, q‐representations of these Lie algebras and construct their one variable models in terms of p, q‐derivative and dilation operators. As an application, we derive a p, q‐special function identity based on one such model.     

Integral geometry for \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathcal {D}}$\end{document}‐modules on dual flag manifolds and generalized Verma modules

Given a pair of dual generalized flag manifolds of a semisimple algebraic group, we show that the integral transform between them given by the open orbit in their product is an equivalence. We also describe the links of this problem with the structure of generalized Verma modules, and how the above construction can be applied to the representation theory of real forms of the group.     

On the bounded quasi‐degrees of c.e. sets

We study the degree structure of bQ‐reducibility and we prove that for any noncomputable c.e. incomplete bQ‐degree a, there exists a nonspeedable bQ‐degree incomparable with it. The structure $\mathcal {D}_{\mbox{bs}}$ of the $\mbox{bs}$‐degrees is not elementary equivalent neither to the structure of the $\mbox{be}$‐degrees nor to the structure of the $\mbox{e}$‐degrees. If c.e. degrees a and b form a minimal pair in the c.e. bQ‐degrees, then a and b form a minimal pair in the bQ‐degrees. Also, for every simple set S there is a noncomputable nonspeedable set A which is bQ‐incomparable with S and bQ‐degrees of S and A does not form a minimal pair.     

Non‐well‐founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document}

This paper describes a new and user‐friendly method for constructing models of non‐well‐founded set theory. Given a sufficiently well‐behaved system θ of non‐well‐founded set‐theoretic equations, we describe how to construct a model M_θ for $\mathsf {ZFC}^-$ in which θ has a non‐degenerate solution. We shall prove that this M_θ is the smallest model for $\mathsf {ZFC}^-$ which contains $\mathbf {V}$ and has a non‐degenerate solution of θ.     

On the tangential Cauchy‐Fueter operators on nondegenerate quadratic hypersurfaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb {H}^2}$\end{document}

On quadratic hypersurfaces in $\mathbb {H}^2$, we find the explicit forms of tangential Cauchy‐Fueter operators and associated tangential Laplacians □_b. Then by using the Fourier transformation on the associated nilpotent Lie groups of step two, we construct the relative fundamental solutions to the tangential Laplacians and Szegö kernels on the nondegenerate quadratic hypersurfaces. It is different from the complex case that the quaternionic tangential structures on the nondegenerate quadratic hypersurfaces in $\mathbb {H}^2$ cannot be reduced to one standard model and the non‐homogeneous tangential Cauchy‐Fueter equations are solvable even in many convex cases.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

Shelah's strong covering property and CH in V[r]

In this paper we review Shelah's strong covering property and its applications. We also extend some of the results of Shelah and Woodin on the failure of $\mathsf {CH}$ by adding a real.     

Point value characterizations and related results in the full Colombeau algebras \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${{\mathcal {G}}^e(\Omega )}$\end{document} and \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${{\mathcal {G}}^d(\Omega )}$\end{document}

We present a point value characterization for elements of the elementary full Colombeau algebra ${\mathcal {G}}^e(\Omega )$ and the diffeomorphism invariant full Colombeau algebra $\mathcal {G}^d(\Omega )$. Moreover, several results from the special algebra ${\mathcal {G}}^s(\Omega )$ about generalized numbers and invertibility are extended to the elementary full algebra.     

Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions

We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of ${\mathbb N}$ such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of ${\mathbb N}$ such that expanding ${\mathbb N}$ by any uncountably many of them suffice. Also we find arithmetically closed ${\mathcal A}$ with no ultrafilter on it with suitable definability demand (related to being Ramsey). © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Hierarchies of ineffabilities

We study combinatorial large cardinal properties on ${\mathcal {P}}_{\kappa } \lambda$, such as ineffability, almost ineffability, subtlety, and the Shelah property. We show that, even when λ > κ, the almost ineffability of ${\mathcal {P}}_{\kappa } \lambda$ does not yield the ineffability of κ. We also show that the Shelah property and the partition property of ${\mathcal {P}}_{\kappa } \lambda$ do not yield the subtlety of κ.     

$\mathcal{F}$-Perfect Rings and Modules

Let $R$ be a ring, and let $(\mathcal{F}, C)$ be a cotorsion theory. In this article, the notion of $\mathcal{F}$-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring $R$ is said to be right $\mathcal{F}$-perfect if $F$ is projective relative to $R$ for any $F ∈ \mathcal{F}$. We give some characterizations of $\mathcal{F}$-perfect rings. For example, we show that a ring $R$ is right $\mathcal{F}$-perfect if and only if $\mathcal{F}$-covers of finitely generated modules are projective. Moreover, we define $\mathcal{F}$-perfect modules and investigate some properties of them.     

Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions

Various aspects of the work of Blok and Rebagliato on the algebraic semantics for deductive systems are studied in the context of logics formalized as π‐institutions. Three kinds of semantics are surveyed: institution, matrix (system) and algebraic (system) semantics, corresponding, respectively, to the generalized matrix, matrix and algebraic semantics of the theory of sentential logics. After some connections between matrix and algebraic semantics are revealed, it is shown that every (finitary) N‐rule based extension of an N‐rule based π‐institution possessing an algebraic semantics also possesses an algebraic semantics. This result abstracts one of the main theorems of Blok and Rebagliato. An attempt at a Blok‐Rebagliato‐style characterization of those π‐institutions with a mono‐unary category of natural transformations on their sentence functors having an algebraic semantics is also made. Finally, a necessary condition for a π‐institution to possess an algebraic semantics is provided.     

关于$\mathcal{F}$-S-可补子群

设$\mathcal{F}$是一个群类. 群$G$的子群$H$称为在$G$中$\mathcal{F}$-S-可补的，如果存在$G$的一个子群$K$,使得$G=HK$且$K/K\cap{H_G}\in\mathcal{F}$, 其中$H_G=\bigcap_{g\in G}H^g$是包含在$H$中的$G$的最大正规子群．本文利用子群的$\mathcal{F}$-S-可补性, 给出了有限群的可解性, 超可解性和幂零性的一些新的刻画. 应用这些结果, 我们可以得到一系列推论, 其中包括有关已知的著名结果.     

$\mathbb{Z}^{k}$-作用一维子系统的Lipschitz跟踪性

本文主要研究了$\mathbb{Z}^{k}$-作用一维子系统的跟踪性质. 文中运用两种等价的方式引入了$\mathbb{Z}^{k}$-作用一维子系统的伪轨以及跟踪性的概念. 对于一个闭黎曼流形上的光滑$\mathbb{Z}^{k}$-作用$T$, 我们通过诱导的非自治动力系统提出了Anosov方向的概念. 借助Bowen几何的方法, 我们证明了$T$沿着任意Anosov方向具有Lipschitz跟踪性.     

Non-Negative Integer Matrix Representations of a $\mathbb{Z}_{+}$-Ring

The $\mathbb{Z}_{+}$-ring is an important invariant in the theory of tensor category. In this paper, by using matrix method, we describe all irreducible $\mathbb{Z}_{+}$-modules over a $\mathbb{Z}_{+}$-ring $\mathcal{A}$, where $\mathcal{A}$ is a commutative ring with a $\mathbb{Z}_{+}$-basis{$1$, $x$, $y$, $xy$} and relations: $$ x^{2}=1,\;\;\;\;\; y^{2}=1+x+xy.$$We prove that when the rank of $\mathbb{Z}_{+}$-module $n\geq5$, there does not exist irreducible $\mathbb{Z}_{+}$-modules and when the rank $n\leq4$, there exists finite inequivalent irreducible $\mathbb{Z}_{+}$-modules, the number of which is respectively 1, 3, 3, 2 when the rank runs from 1 to 4.     

Convergence phenomena of \documentclass{article} \usepackage{amsmath,amsfonts}\pagestyle{empty}\begin{document} $\mathcal{Q}_p$ \end{document}‐elements for convection–diffusion problems

We present a numerical study for singularly perturbed convection–diffusion problems using higher order Galerkin and streamline diffusion finite element method. We are especially interested in convergence and superconvergence properties with respect to different interpolation operators. For this we investigate pointwise interpolation and vertex‐edge‐cell interpolation. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

强W-Gorenstein 复形

对自正交模类$\mathcal{W}$,引入了强$\mathcal{W}$-Gorenstein复形的概念.给出了强$\mathcal{W}$-Gorenstein复形的刻画,并将其应用到强Gorenstein内射复形.     

On Nonnegative Solution of Multi-Linear System with Strong $\mathcal{M}_z$-Tensors

A class of structured multi-linear system defined by strong $\mathcal{M}_z$-tensors is considered. We prove that the multi-linear system with strong $\mathcal{M}_z$-tensors always has a nonnegative solution under certain condition by the fixed point theory. We also prove that the zero solution is the only solution of the homogeneous multi-linear system for some structured tensors, such as strong $\mathcal{M}$-tensors, $\mathcal{H}^+$-tensors, strictly diagonally dominant tensors with positive diagonal elements. Numerical examples are presented to illustrate our theoretical results.     

$\mathbb{Z}_+^k$-作用的方向原像熵

In this paper,a new type of entropy,directional preimage entropy including topological and measure theoretic versions for■-actions,is introduced.Some of their properties including relationships and the invariance are obtained.Moreover,several systems including■-actions generated by the expanding maps,■-actions defined on finite graphs and some infinite graphs with zero directional preimage branch entropy are studied.     

集值映射空间在紧开拓扑下的$\aleph_0$性质

本文讨论了点紧致的连续集值映射空间在赋予紧开拓扑下的某些拓扑性质,证明了:若$X,Y$为$\aleph_0$空间,则$X$到$Y$上的点紧致的连续集值映射族依紧开拓扑是$\aleph_{0}$空间,从而将Michael$^{[1]}$的结论推广到更大的映射空间类上.