On effective σ‐boundedness and σ‐compactness

We prove several dichotomy theorems which extend some known results on σ‐bounded and σ‐compact pointsets. In particular we show that, given a finite number of $\Delta ^{1}_{1}$ equivalence relations $\mathrel {\mathsf {F}}_1,\dots ,\mathrel {\mathsf {F}}_n$, any $\Sigma ^{1}_{1}$ set A of the Baire space either is covered by compact $\Delta ^{1}_{1}$ sets and lightface $\Delta ^{1}_{1}$ equivalence classes of the relations $\mathrel {\mathsf {F}}_i$, or A contains a superperfect subset which is pairwise $\mathrel {\mathsf {F}}_i$‐inequivalent for all i = 1, …, n. Further generalizations to $\Sigma ^{1}_{2}$ sets A are obtained.     

A note on the monotone functional interpretation

We prove a result relating the author's monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that (over model of majorizable functionals) largely a solution for the bounded interpretation also is a solution for the monotone functional interpretation although the latter uses the existence of an underlying precise witness. This makes it possible to focus on the extraction of bounds (as in the bounded interpretation) while using the conceptual benefit of having precise realizers at the same time without having to construct them.     

Binary types in ℵ0‐categorical weakly o‐minimal theories

Orthogonality of all families of pairwise weakly orthogonal 1‐types for ?₀‐categorical weakly o‐minimal theories of finite convexity rank has been proved in 6 . Here we prove orthogonality of all such families for binary 1‐types in an arbitrary ?₀‐categorical weakly o‐minimal theory and give an extended criterion for binarity of ?₀‐categorical weakly o‐minimal theories (additionally in terms of binarity of 1‐types). © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

A note on a third‐order multi‐point boundary value problem at resonance

Based on the coincidence degree theory of Mawhin, we prove some existence results for the following third‐order multi‐point boundary value problem at resonance where f: [0, 1] × R³ → R is a continuous function, 0 < ξ₁ < ??? < ξ_m < 1, α_i ∈ R, i = 1, …, m, m ≥ 1 and 0 < η₁ < η₂ < ??? < η_n < 1, β_j ∈ R, j = 1, 2, …, n, n ≥ 2. In this paper, the dimension of the linear space Ker L (linear operator L is defined by Lx = x′^′′) is equal to 2. Since all the existence results for third‐order differential equations obtained in previous papers are for the case dim Ker L = 1, our work is new.     

A note on meromorphic convexity

We give examples of Stein domains D in C ² such that C ² ? D is either completely pluripolar or union of germs of (principal) hypersurfaces not intersecting D such that D fails to be meromorphically convex in C ². © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Ordinal arithmetic with simultaneously defined theta‐functions

This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of well partial orders. The exact correspondence given here serves as a starting point for far reaching extensions of current results on patterns and well partial orders. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Hypercyclic composition operators on Hv0‐spaces

We consider analytic self‐maps φ on $\mathbf {D}$ and prove that the composition operator C_φ acting on $H_{v}^0$ is hypercyclic if φ is an automorphism or a hyperbolic non‐automorphic symbol with no fixed point. We give examples of weights v and parabolic non‐automorphisms φ on $\mathbf {D}$ which yield non‐hypercyclic composition operators C_φ on $H_{v}^0$.     

Groups,group actions and fields definable in first‐order topological structures

Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )$ equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V?G and define a new topology τ on G with which (G, ·) becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from M^m. Likewise we topologize transitive group actions and fields definable in $\mathcal {M}$. These results require a series of preparatory facts concerning dimension functions, some of which might be of independent interest.     

Powers of positive elements in C*‐algebras

In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics (BISH). In 25 , we introduced the elementary constructive theory of C*‐algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On the free implicative semilattice extension of a Hilbert algebra

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets.     

Nisan‐Wigderson generators in proof systems with forms of interpolation

We prove that the Nisan‐Wigderson generators based on computationally hard functions and suitable matrices are hard for propositional proof systems that admit feasible interpolation. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Truth‐table Schnorr randomness and truth‐table reducible randomness

Schnorr randomness and computable randomness are natural concepts of random sequences. However van Lambalgen’s Theorem fails for both randomnesses. In this paper we define truth‐table Schnorr randomness (defined in 6 too only by martingales) and truth‐table reducible randomness, for which we prove that van Lambalgen's Theorem holds. We also show that the classes of truth‐table Schnorr random reals relative to a high set contain reals Turing equivalent to the high set. It follows that each high Schnorr random real is half of a real for which van Lambalgen's Theorem fails. Moreover we establish the coincidence between triviality and lowness notions for truth‐table Schnorr randomness. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Weak saturation of ideals on Pκ(λ)

We show that if κ is an infinite successor cardinal, and λ > κ a cardinal of cofinality less than κ satisfying certain conditions, then no (proper, fine, κ‐complete) ideal on P_κ(λ) is weakly λ⁺‐saturated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

De Morgan Heyting algebras satisfying the identity xn(′*) ≈ x(n+1)(′*)

In this paper we investigate the sequence of subvarieties $ {\mathcal {SDH}_n} $of De Morgan Heyting algebras characterized by the identity x^n(′*) ≈ x^(n+1)(′*). We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in $ {\mathcal {SDH}_1} $ by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in $ {\mathcal {SDH}_1} $. We extend these results for finite algebras in the general case $ {\mathcal {SDH}_n} $. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

A class of non‐graded left‐symmetric algebraic structures on the Witt algebra

We classify the compatible left‐symmetric algebraic structures on the Witt algebra satisfying certain non‐graded conditions. It is unexpected that they are Novikov algebras. Furthermore, as applications, we study the induced non‐graded modules of the Witt algebra and the induced Lie algebras by Novikov‐Poisson algebras’ approach and Balinskii‐Novikov's construction.     

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)     

A nullstellensatz and a positivstellensatz for ordered differential fields

We use the model completeness and axiomatisation of the theory of closed ordered differential fields to give a differential version of Dubois, Krivine and Risler's nullstellensatz and Stengle's positivstellensatz for ordered fields.     

A note on commutators of Hardy operators

Fu and Lu et al. 7 showed that the commutator $mathcal {H}_{beta ,b}$ generated by the fractional Hardy operator and a locally integrable function b is bounded on the homogenous Herz spaces if and only if b is a central bounded mean oscillation function. We show that their result is optimal by giving a counterexample.     

Repulsive knot energies and pseudodifferential calculus for O’Hara’s knot energy family E(α), α ∈ [2, 3)

We develop a precise analysis of J. O’Hara’s knot functionals E^(α), α ∈ [2, 3), that serve as self‐repulsive potentials on (knotted) closed curves. First we derive continuity of E^(α) on injective and regular H² curves and then we establish Fréchet differentiability of E^(α) and state several first variation formulae. Motivated by ideas of Z.‐X. He in his work on the specific functional E⁽²⁾, the so‐called Möbius Energy, we prove C^∞‐smoothness of critical points of the appropriately rescaled functionals $\tilde{E}^{(\alpha )}= {\rm length}^{\alpha -2}E^{(\alpha )}$ by means of fractional Sobolev spaces on a periodic interval and bilinear Fourier multipliers.