Hollmann, Ko rner, and Litsyn used generalized Steiner systems to prove that it is impossible to partition an n-cube into k Hamming spheres if 2<k<n+2. Furthermore, if k=n+2, they showed the only partition of the n-cube consists of a single sphere of radius n&2 and n+1 spheres of radius 0. We give a
A gap 1 cardinal transfer theorem
β Scribed by Luis M. Villegas-Silva
- Publisher
- John Wiley and Sons
- Year
- 2006
- Tongue
- English
- Weight
- 176 KB
- Volume
- 52
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
We extend the gap 1 cardinal transfer theorem (ΞΊ ^+^, ΞΊ ) β (Ξ» ^+^, Ξ» ) to any language of cardinality β€Ξ», where Ξ» is a regular cardinal. This transfer theorem has been proved by Chang under GCH for countable languages and by Silver in some cases for bigger languages (also under GCH). We assume the existence of a coarse (Ξ», 1)βmorass instead of GCH. (Β© 2006 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
π SIMILAR VOLUMES
We show that all sets that are complete for NP under nonuniform AC 0 reductions are isomorphic under nonuniform AC 0 -computable isomorphisms. Furthermore, these sets remain NP-complete even under nonuniform NC 0 reductions. More generally, we show two theorems that hold for any complexity class C c
## Abstract Let __R__ be a Gorenstein ring of finite Krull dimension and __t__ β __R__ a regular element. We show that if the quotient map __R__ β __R/Rt__ has a flat splitting then the transfer morphism of coherent Witt groups Tr~(__R/Rt__)/__R__~ : $ \widetilde W^{i} $(__R/Rt__) β $ \widetilde W^
## Notes A Noncommutative L,-Mean Ergodic Theorem We show that operator algebras, as opposed to Banach lattices, provide the more natural structure for &-mean ergodic theory. We will note below how a result in operator algebras yields a significant generalization of the following classical L,-me