共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
Sebastian Pokutta 《Journal of Pure and Applied Algebra》2007,211(2):532-540
Let κ be a regular uncountable cardinal. We shall give a criterion for certain reduced products of torsion-free abelian groups to be ℵ1-free. As an application we shall show that the norm of the Chase radical is ℵ1 in ZFC, a result which was previously known only under the assumption of the continuum hypothesis 2ℵ0=ℵ1. 相似文献
3.
4.
Chris J. Conidis 《Annals of Pure and Applied Logic》2010,162(1):83-88
We prove that if S is an ω-model of weak weak König’s lemma and , is incomputable, then there exists , such that A and B are Turing incomparable. This extends a recent result of Ku?era and Slaman who proved that if S0 is a Scott set (i.e. an ω-model of weak König’s lemma) and A∈S0, A⊆ω, is incomputable, then there exists B∈S0, B⊆ω, such that A and B are Turing incomparable. 相似文献
5.
6.
David Milovich 《Topology and its Applications》2011,158(18):2528-2534
7.
Tetsuya Ishiu 《Topology and its Applications》2006,153(9):1476-1499
We use the space associated with a guessing sequence on ω1 to show that it is consistent with CH that there exists a locally countable, first-countable, locally compact, perfectly normal, non-realcompact space of size ℵ1 which does not contain any sub-Ostaszewski spaces. By a similar technique, it is shown to be consistent with that there exists a locally countable, first-countable, perfectly normal, non-realcompact space of size ℵ1. 相似文献
8.
Given a partially ordered set P there exists the most general Boolean algebra which contains P as a generating set, called the free Boolean algebra over P. We study free Boolean algebras over posets of the form P=P0∪P1, where P0, P1 are well orderings. We call them nearly ordinal algebras.Answering a question of Maurice Pouzet, we show that for every uncountable cardinal κ there are κ2 pairwise non-isomorphic nearly ordinal algebras of cardinality κ.Topologically, free Boolean algebras over posets correspond to compact 0-dimensional distributive lattices. In this context, we classify all closed sublattices of the product (ω1+1)×(ω1+1), showing that there are only ℵ1 many types. In contrast with the last result, we show that there are ℵ12 topological types of closed subsets of the Tikhonov plank (ω1+1)×(ω+1). 相似文献
9.
Zhi-Hong Sun 《Journal of Number Theory》2009,129(3):499-550
Let be a prime and a,b∈Z with a2+b2≠p. Suppose p=x2+(a2+b2)y2 for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U0=0, U1=1 and Un+1=bUn+k2Un−1(n?1). We also pose many conjectures concerning , or . 相似文献
10.
Zhi-Hong Sun 《Journal of Number Theory》2008,128(5):1295-1335
Let be a prime. Let a,b∈Z with p?a(a2+b2). In the paper we mainly determine by assuming p=c2+d2 or p=Ax2+2Bxy+Cy2 with AC−B2=a2+b2. As an application we obtain simple criteria for εD to be a quadratic residue , where D>1 is a squarefree integer such that D is a quadratic residue of p, εD is the fundamental unit of the quadratic field with negative norm. We also establish the congruences for and obtain a general criterion for p|U(p−1)/4, where {Un} is the Lucas sequence defined by U0=0, U1=1 and Un+1=bUn+k2Un−1(n?1). 相似文献
11.
Todd Eisworth 《Annals of Pure and Applied Logic》2010,161(10):1216-1243
We obtain very strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. In particular, the simplest of our results establishes that if μ is singular and , then there is a regular cardinal θ<μ such that any fewer than cf(μ) stationary subsets of must reflect simultaneously. 相似文献
12.
13.
14.
Teruyuki Yorioka 《Annals of Pure and Applied Logic》2010,161(4):469-487
We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ1 and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of . 相似文献
15.
Using countable support iterations of S-proper posets, we show that the existence of a definable wellorder of the reals is consistent with each of the following: d<c, b<a=s and b<g. 相似文献
16.
Gunter Fuchs 《Annals of Pure and Applied Logic》2010,162(1):89-105
I use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower Q<κ works much like it does when κ is a Woodin limit of Woodin cardinals. One consequence is that every set of reals in the Chang model is Lebesgue measurable and has the Baire Property, the Perfect Set Property and the Ramsey Property. So indestructible weak compactness has effects on cardinal arithmetic high up and also on the structure of sets of real numbers, down low, similar to supercompactness. 相似文献
17.
S.V. Ivanov 《Advances in Mathematics》2008,218(2):465-484
The Kurosh rank rK(H) of a subgroup H of a free product of groups Gα, α∈I, is defined accordingly to the classic Kurosh subgroup theorem as the number of free factors of H. We prove that if H1, H2 are subgroups of and H1, H2 have finite Kurosh rank, then , where , q∗ is the minimum of orders >2 of finite subgroups of groups Gα, α∈I, q∗:=∞ if there are no such subgroups, and if q∗=∞. In particular, if the factors Gα, α∈I, are torsion-free groups, then . 相似文献
18.
For any closed oriented surface Σg of genus g?3, we prove the existence of foliatedΣg-bundles over surfaces such that the signatures of the total spaces are non-zero. We can arrange that the total holonomy of the horizontal foliations preserve a prescribed symplectic form ω on the fiber. We relate the cohomology class represented by the transverse symplectic form to a crossed homomorphism which is an extension of the flux homomorphism from the identity component to the whole group of symplectomorphisms of Σg with respect to the symplectic form ω. 相似文献
19.
We study three classes of subgroups of Polish groups: Borel subgroups, Polishable subgroups, and maximal divisible subgroups. The membership of a subgroup in each of these classes allows one to assign to it a rank, that is, a countable ordinal, measuring in a natural way complexity of the subgroup. We prove theorems comparing these three ranks and construct subgroups with prescribed ranks. In particular, answering a question of Mauldin, we establish the existence of Borel subgroups which are -complete, α?3, and -complete, α?2, in each uncountable Polish group. Also, for every α<ω1 we construct an Abelian, locally compact, second countable group which is densely divisible and of Ulm length α+1. All previously known such groups had Ulm length 0 or 1. 相似文献