Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

A blend of methods of recursion theory and topology: A Π<Subscript>1</Subscript><Superscript>0</Superscript> tree of shadow points

This paper is a sequel to our [7]. In that paper we constructed a ₁⁰ tree of avoidable points. Here we construct a ₁⁰ tree of shadow points. This tree is a tree of sharp filters, where a sharp filter is a nested sequence of basic open sets converging to a point. In the construction we assign to each basic open set on the tree an address in 2^<. One interesting fact is that while our ₁⁰ tree of sharp filters (a subtree of ^<) is isomorphic to the tree of addresses (a subtree of 2^<), the tree of addresses is recursively enumerable but not recursive. To achieve this end we use a finite injury priority argument.Mathematics Subject Classification (2000): 03D45, 03D80, 03C57, 54A20     

Seas of squares with sizes from a Π<Stack><Subscript>1</Subscript><Superscript>0</Superscript></Stack> set

A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most (1+o(1))( _n/2 ⁿ ). Later, Burosch–Demetrovics–Katona–Kleitman–Sapozhenko asked for the number α(n) of such families, and they proved that \({2^{\left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)}} \leqslant \alpha \left( n \right) \leqslant {2^{2\sqrt 2 \left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)\left( {1 + o\left( 1 \right)} \right)}}\) They conjectured that the constant \(2\sqrt 2 \) can be removed in the exponent of the right-hand side. We prove their conjecture by formulating a new container-type theorem for rooted hypergraphs.     

Local structure of Rogers semilattices of Σ<Subscript>n</Subscript><Superscript>0</Superscript>-computable numberings

We deal in specific features of the algebraic structure of Rogers semilattices of _n ⁰-computable numberings, for n 2. It is proved that any Lachlan semilattice is embeddable (as an ideal) in such every semilattice, and that over an arbitrary non 0-principal element of such a lattice, any Lachlan semilattice is embeddable (as an interval) in it.Supported by INTAS grant No. 00-499, by FP Universities of Russia grant UR.04.01.013, and by the Grant Center for Fundamental Research (GCFR), project PD02-1.1-475.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 148–172, March–April, 2005.     

The Δ<Superscript>0</Superscript><Subscript><Emphasis Type="Italic">α</Emphasis></Subscript>-Computable Enumerations of the Classes of Projective Planes

Studying computable representations of projective planes, for the classes K of pappian, desarguesian, and all projective planes, we prove that K ^c /? admits no hyperarithmetical Friedberg enumeration and admits a Friedberg Δ⁰_α+3-computable enumeration up to a Δ⁰ _α -computable isomorphism.     

Countability of the set of closed overclasses of some minimal classes in the partly ordered set ℒ<Subscript>2</Subscript><Superscript>3</Superscript> of all closed classes of three-valued logic that can be mapped homomorphically onto two-valued logic

The following theorem is proved: the set of closed classes containing some minimal classes in the partly ordered set ?₂ ³ of closed classes in the three-valued logic that may be mapped homomorphically onto the two-valued logic is countable.     

Containment of c<Subscript>0</Subscript> and ℓ<Subscript>1</Subscript> in π<Subscript>1</Subscript>(<Emphasis Type="Italic">E,F</Emphasis>)

Suppose π₁(E, F) is the space of all absolutely 1-summing operators between two Banach spacesE andF. We show that ifF has a copy of c₀, then π₁ (E, F) will have a copy of c₀, and under some conditions ifE has a copy of ℓ₁ then π₁ (E, F) would have a complemented copy of ℓ₁.     

Approximation of the classes <Emphasis Type="Italic">C</Emphasis><Stack><Subscript>β</Subscript><Superscript>ψ</Superscript></Stack><Emphasis Type="Italic">H</Emphasis><Subscript>ω</Subscript> by generalized Zygmund sums

We obtain asymptotic equalities for the least upper bounds of approximations by Zygmund sums in the uniform metric on the classes of continuous 2π-periodic functions whose (ψ, β)-derivatives belong to the set H _ω in the case where the sequences ψ that generate the classes tend to zero not faster than a power function.     

Spin structures and spectra of ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>-manifolds

We give necessary and sufficient conditions for the existence of pin^± and spin structures on Riemannian manifolds with holonomy group ₂^k. For any n4 (resp. n6) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M₁, M₂, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M₁ admits a pin^± (resp. spin) structure whereas M₂ does not.Mathematics Subject Classification (2000):58J53, 57R15, 20H15Partially supported by Conicet and grants from SecytUNC, Foncyt and AgCba.     

<Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>-Singular and <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript>-singular operators between vector-valued Banach lattices

Given an operator T : X → Y between Banach spaces, and a Banach lattice E consisting of measurable functions, we consider the point-wise extension of the operator to the vector-valued Banach lattices T _E : E(X) → E(Y) given by T _E (f)(ω) = T(f(ω)). It is proved that for any Banach lattice E which does not contain c ₀, the operator T is an isomorphism on a subspace isomorphic to c ₀ if and only if so is T _E . An analogous result for invertible operators on subspaces isomorphic to ℓ ₁ is also given.     

Aut0(Λ<Superscript>2</Superscript>)-symmetrical 4-extensions of the 2-dimensional grid Λ<Superscript>2</Superscript>

There are different non-equivalent definitions of attractors in the theory of dynamical systems. The most common are two definitions: the maximal attractor and the Milnor attractor. The maximal attractor is by definition Lyapunov stable, but it is often in some ways excessive. The definition of Milnor attractor is more realistic from the physical point of view. The Milnor attractor can be Lyapunov unstable though. One of the central problems in the theory of dynamical systems is the question of how typical such a phenomenon is. This article is motivated by this question and contains new examples of so-called relatively unstable Milnor attractors. Recently I. Shilin has proved that these attractors are Lyapunov stable in the case of one-dimensional fiber under some additional assumptions. However, the question of their stability in the case of multidimensional fiber is still an open problem.     

Best orthogonal trigonometric approximations of the classes <Emphasis Type="Italic">B</Emphasis><Superscript>Ω</Superscript><Subscript><Emphasis Type="Italic">p</Emphasis>,θ</Subscript> of periodic functions of many variables

We obtain exact-order estimates for the best orthogonal trigonometric approximations of the classes B ^Ω _p,θ of periodic functions of many variables in the space L _q .     

Quincunx multiresolution analysis for <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℚ<Stack><Subscript>2</Subscript><Superscript>2</Superscript></Stack>)

With an eye on applications in quantum mechanics and other areas of science, much work has been done to generalize traditional analytic methods to p-adic systems. In 2002 the first paper on p-adic wavelets was published. Since then p-adic wavelet sets, multiresolution analyses, and wavelet frames have all been introduced. However, so far all constructions have involved dilations by p. This paper presents the first construction of a p-adic wavelet system with a more general matrix dilation, laying the foundation for further work in this direction.     

Conformally flat Lorentzian hypersurfaces in ℝ<Stack><Subscript>1</Subscript><Superscript>4</Superscript></Stack> with three distinct principal curvatures

A three dimensional Lorentzian hypersurface x: M ₁ ³ → ? ₁ ⁴ is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of ? ₁ ⁴ . Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.     

Biflatness of ℓ<Superscript>1</Superscript>-Semilattice Algebras

We show that if L is a semilattice then the ℓ¹-convolution algebra of L is biflat precisely when L is "uniformly locally finite". Our proof technique shows in passing that if this convolution algebra is biflat then it is isomorphic as a Banach algebra to the Banach space ℓ¹(L) equipped with pointwise multiplication. At the end we sketch how these techniques may be extended to prove an analogous characterisation of biflatness for Clifford semigroup algebras.     

Differentiability of Mappings of the Sobolev Space <Emphasis Type="Italic">W</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>−1</Subscript><Superscript>1</Superscript> with Conditions on the Distortion Function

We define two scales of the mappings that depend on two real parameters p and q, with n?1 ≤ q ≤ p < ∞, as well as a weight function θ. The case q = p = n and θ ≡ 1 yields the well-known mappings with bounded distortion. The mappings of a two-index scale are applied to solve a series of problems of global analysis and applications. The main result of the article is the a.e. differentiability of mappings of two-index scales.     

The narrow class groups of the ℤ<Subscript>17</Subscript>- and ℤ<Subscript>19</Subscript>-extensions over the rational field

Let p be either 17 or 19, let ℤ _p denote the ring of p-adic integers, and let l be a prime number which is a primitive root modulo p ². We shall prove, with the help of a computer, that the l-class group of the ℤ _p -extension over the rational field is trivial. We shall also prove the triviality of the narrow 2-class group of the same ℤ _p -extension.     

Discrete subgroups of <Emphasis Type="Italic">PU</Emphasis> (2, 1) acting on P<Stack><Subscript>ℂ</Subscript><Superscript>2</Superscript></Stack> and the Kobayashi metric

In this paper, we prove following: If G ⊂ PU (2, 1) is an infinite, discrete group, acting on P_ℂ² without complex invariant lines, then the component containing ℍP_ℂ² of the domain of discontinuity Ω(G) = PP_ℂ²∖ Λ (G), according to Kulkarni, is G-invariant complete Kobayashi hyperbolic. The authors were supported by the Universidad Autónoma de Yucatán and the Universidad Nacional Autónoma de México.     

A Ring Theoretic Construction of Hadamard Difference Sets in ℤ<Subscript>8</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let be the Galois ring of characteristic 2³ and rank n and let . We give an explicit construction of Hadamard difference sets in .}Research supported by NSA grant MDA 904-02-1-0080.     

Moduli spaces ℳ<Subscript>2,1</Subscript> and ℳ<Subscript>3,1</Subscript>

The cell structure of the spaces ℳ_2,1 and ℳ_3,1 is considered. These are the spaces of complex curves of genus 2 and 3 with one marked point. For the space ℳ_2,1, nine cells of the highest dimension 8 are described and their adjacency is studied. For the space ℳ_3,1, a list of all 1726 cells of the highest dimension 14 (with orientation) is obtained. The list of adjacent couples of cells is also obtained. These lists can be found on the web.