A note on the Σ1 collection scheme and fragments of bounded arithmetic

We show that for each n ≥ 1, if T₂ⁿ does not prove the weak pigeonhole principle for Σ^b_n functions, then the collection scheme B Σ₁ is not finitely axiomatizable over T₂ⁿ. The same result holds with Sⁿ₂ in place of T 2ⁿ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Abelian groups and quadratic residues in weak arithmetic

We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for finite abelian groups is provable in S₂² + iWPHP(Σ₁^b), and use it to derive Fermat's little theorem and Euler's criterion for the Legendre symbol in S₂² + iWPHP(PV) extended by the pigeonhole principle PHP(PV). We prove the quadratic reciprocity theorem (including the supplementary laws) in the arithmetic theories T₂⁰ + Count₂(PV) and I Δ₀ + Count₂(Δ₀) with modulo‐2 counting principles (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Independence results for weak systems of intuitionistic arithmetic

This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two‐node PA‐normal Kripke structure which does not force iΣ₂. We prove i?₁ ? i?₁, i?₁ ? i?₁, iΠ₂ ? iΣ₂ and iΣ₂ ? iΠ₂. We use Smorynski's operation Σ′ to show HA ? lΠ₁.     

The rigid relation principle,a new weak choice principle

The rigid relation principle, introduced in this article, asserts that every set admits a rigid binary relation. This follows from the axiom of choice, because well‐orders are rigid, but we prove that it is neither equivalent to the axiom of choice nor provable in Zermelo‐Fraenkel set theory without the axiom of choice. Thus, it is a new weak choice principle. Nevertheless, the restriction of the principle to sets of reals (among other general instances) is provable without the axiom of choice.     

On the invariance principle for sums of independent identically distributed random variables

The paper deals with the invariance principle for sums of independent identically distributed random variables. First it compares the different possibilities of posing the problem. The sharpest results of this theory are presented with a sketch of their proofs. At the end of the paper some unsolved problems are given.     

A discrete maximum principle for the weak Galerkin finite element method on nonuniform rectangular partitions

This article establishes a discrete maximum principle (DMP) for the approximate solution of convection–diffusion–reaction problems obtained from the weak Galerkin (WG) finite element method on nonuniform rectangular partitions. The DMP analysis is based on a simplified formulation of the WG involving only the approximating functions defined on the boundary of each element. The simplified weak Galerkin (SWG) method has a reduced computational complexity over the usual WG, and indeed provides a discretization scheme different from the WG when the reaction terms are present. An application of the SWG on uniform rectangular partitions yields some 5- and 7-point finite difference schemes for the second order elliptic equation. Numerical experiments are presented to verify the DMP and the accuracy of the scheme, particularly the finite difference scheme.     

On relations between weak approximation properties and their inheritances to subspaces

It is shown that for the separable dual X^∗ of a Banach space X, if X^∗ has the weak approximation property, then X^∗ has the metric weak approximation property. We introduce the properties W^∗D and MW^∗D for Banach spaces. Suppose that M is a closed subspace of a Banach space X such that M^⊥ is complemented in the dual space X^∗, where for all m∈M}. Then it is shown that if a Banach space X has the weak approximation property and W^∗D (respectively, metric weak approximation property and MW^∗D), then M has the weak approximation property (respectively, bounded weak approximation property).     

Stochastic incompleteness for graphs and weak Omori-Yau maximum principle

We prove an analogue of the weak Omori-Yau maximum principle and Khas?minskii?s criterion for graphs in the general setting of Keller and Lenz. Our approach naturally gives the stability of stochastic incompleteness under certain surgeries of graphs. It allows to develop a unified approach to all known criteria of stochastic completeness/incompleteness, as well as to obtain new criteria.     

Power function on stationary classes

We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this by doing an Easton support iteration of the Radin on extenders forcing.     

The weak local global principle in algebraic k-theory

Roughly speaking, the weak local global principle in algebraic K-theory assures that two locally isomorphic modules or forms differ- -on the level of Grothendieck rings - - by a nilpotent element only. This paper contains a thorough investigation of this rather useful principle in various cases, including Witt and Witt-Grothendieck rings and their equivariant generalizations. The proofs are based on an abstract categorical "localization lemma" which reduce s the proof in each special case to the verification of two simple assertions. In the .case of Witt rings the results are applied to deduce Pfister's basic structure theorems for Witt rings over arbitrary commutative rings from the corresponding statements for Witt rings over local rings. In the last section explicit isomorphisms of certain modules and forms, derived from locally isomorphic modules or forms in a canonical way, are exhibited. There are further possible applications of the results of this paper towards the theory of signatures of Witt rings and towards integral representation theory.     

Conditional weak compactness in vector-valued function spaces

Let be an ideal of over a -finite measure space and let be the Köthe dual of with . Let be a real Banach space, and the topological dual of . Let be a subspace of the space of equivalence classes of strongly measurable functions and consisting of all those for which the scalar function belongs to . For a subset of for which the set is -bounded the following statement is equivalent to conditional -compactness: the set is conditionally -compact and is a conditionally weakly compact subset of for each , with . Applications to Orlicz-Bochner spaces are given.

     

The equivalence of theories that characterize ALogTime

A number of theories have been developed to characterize ALogTime (or uniform NC ¹, or just NC ¹), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory characterizes polytime functions. Among these, ALV′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation group S ₅ is complete for ALogTime. On the other hand, ALV (by Clote), T ⁰ NC ⁰ (by Clote and Takeuti) as well as Arai’s theory and its two-sorted version VNC ¹ (by Cook and Morioka) are based on the circuit characterization of ALogTime. While the last three theories have been known to be equivalent, their relationship to ALV′ has been an open problem. Here we show that ALV′ is indeed equivalent to the other theories.      

Maximum principle in problems with mixed constraints under weak assumptions of regularity

In the present work, optimal control problems with mixed constraints are investigated. A novel weakening of the conventional regularity assumptions on mixed constraints is introduced. A maximum principle is derived in which the maximum condition is of nonstandard type: the maximum is taken over the closure of the set of regular points, but not over the whole feasible set.     

The Edgeworth-Pareto principle in terms of a fuzzy choice function

The Edgeworth-Pareto Principle, the simplest version of which has been known since the 19th century, is stated in general terms of a fuzzy choice function. The application of the principle is justified for a wide class of fuzzy multicriteria choice problems described by certain axioms of the rational behavior. These results bring the axiomatic substantiation of the Edgeworth-Pareto principle performed previously by the author to the most general form and make it possible to reveal the boundaries of that class of multicriteria choice problems for which the application of this principle is required. Based on scalarization methods as applied to multicriteria problems, upper bounds are derived for the unknown set of selected vectors.     

The weak conjecture on spherical classes

Let be the mod 2 Steenrod algebra. We construct a chain-level representation of the dual of Singer's algebraic transfer, which maps Singer's invariant-theoretic model of the dual of the Lambda algebra, , to and is the inclusion of the Dickson algebra, , into . This chain-level representation allows us to confirm the weak conjecture on spherical classes (see [9]), assuming the truth of (1) either the conjecture that the Dickson invariants of at least k = 3 variables are homologically zero in }, (2) or a conjecture on ${mathcal{A}}$ -decomposability of the Dickson algebra in $Gamma_k^{wedge}$. We prove the conjecture in item (1) for k = 3 and also show a weak form of the conjecture in item (2). Received November 27, 1996; in final form March 6, 1998     

弱模余代数的结构定理

设H为弱Hopf代数,C为弱右H-模余代数,令C=C/C·ker L.利用Smash余积来研究弱模余代数上的结构定理,并给出了C与C×H作为余代数同构的条件.     

Twisting theory for weak Hopf algebras

The main aim of this paper is to study the twisting theory of weak Hopf algebras and give an equivalence between the （braided） monoidal categories of weak Hopf bimodules over the original and the twisted weak Hopf algebra to generalize the result from Oeckl （2000）.     

The weak hereditary class of a variety

We study the weak hereditary class S _w ( ) of all weak subalgebras of algebras in a total variety }. We establish an algebraic characterization, in the sense of Birkhoff’s HSP theorem, and a syntactical characterization of these classes. We also consider the problem of when such a weak hereditary class is weak equational.