On Jónsson cardinals with uncountable cofinality

For a regular cardinal κ a Jónsson model of size κ⁺ is presented. We notice that every singular Jónsson cardinal κ with uncountable cofinality is the limit of some continuous sequence of smaller Jónsson cardinals. An analogous statement holds if κ is an inaccessible Jónsson cardinal unless κ is Mahlo. But we prove that the first Mahlo cardinal cannot be Jónsson. Some additional remarks are included.     

Baire number of the spaces of uniform ultrafilters

The Baire number is defined for a topological space without isolated points as the minimal size of the family of nowhere dense sets covering the space in question. We prove that in the case ofU(κ), the space of uniform ultrafilters over uncountable κ, the Baire number equals eitherω ₁ orω ₂, depending on the cofinality of κ. The results are connected to the collapsing of cardinals when using the quotient algebraP(κ) mod[κ]^<κ as the notion of forcing. The main portion of the present research, was done at the Center for Theoretical Study at Charles University and the Academy of Sciences.     

Global singularization and the failure of SCH

We say that κ is μ-hypermeasurable (or μ-strong) for a cardinal μ≥κ⁺ if there is an embedding j:V→M with critical point κ such that H(μ)^V is included in M and j(κ)>μ. Such a j is called a witnessing embedding.Building on the results in [7], we will show that if V satisfies GCH and F is an Easton function from the regular cardinals into cardinals satisfying some mild restrictions, then there exists a cardinal-preserving forcing extension V^∗ where F is realised on all V-regular cardinals and moreover, all F(κ)-hypermeasurable cardinals κ, where F(κ)>κ⁺, with a witnessing embedding j such that either j(F)(κ)=κ⁺ or j(F)(κ)≥F(κ), are turned into singular strong limit cardinals with cofinality ω. This provides some partial information about the possible structure of a continuum function with respect to singular cardinals with countable cofinality.As a corollary, this shows that the continuum function on a singular strong limit cardinal κ of cofinality ω is virtually independent of the behaviour of the continuum function below κ, at least for continuum functions which are simple in that 2^α∈{α⁺,α⁺⁺} for every cardinal α below κ (in this case every κ⁺⁺-hypermeasurable cardinal in the ground model is witnessed by a j with either j(F)(κ)≥F(κ) or j(F)(κ)=κ⁺).     

Exponents of someN-compact spaces

For any topological spaceT, S. Mrówka has defined Exp (T) to be the smallest cardinal κ (if any such cardinals exist) such thatT can be embedded as a closed subset of the productN ^κ of κ copies ofN (the discrete space of cardinality ℵ₀). We prove that forQ, the space of the rationals with the inherited topology, Exp (Q) is equal to a certain covering number, and we show that by modifying some earlier work of ours it can be seen that it is consistent with the usual axioms of set theory including the choice that this number equal any uncountable regular cardinal less than or equal to 2^ℵ ₀. Mrówka has also defined and studied the class ℳ={κ: Exp (N _κ)=κ} whereN _κ is the discrete space of cardinality κ. It is known that the first cardinal not in ℳ must not only be inaccessible but cannot even belong to any of the first ω Mahlo classes. However, it is not known whether every cardinal below 2^ℵ ₀ is contained in ℳ. We prove that if there exists a maximal family of almost-disjoint subsets ofN of cardinality κ, then κ∈ℳ, and we then use earlier work to prove that if it is consistent that there exist cardinals which are not in the first ω Mahlo classes, then it is consistent that there exist such cardinals below 2^ℵ ₀ and that ℳ nevertheless contain all cardinals no greater than 2^ℵ ₀. Finally, we consider the relationship between ℳ and certain “large cardinals”, and we prove, for example, that if μ is any normal measure on a measurable cardinal, then μ(ℳ)=0.     

Integer-valued functions and increasing unions of first countable spaces

We determine those regular cardinals κ with the property that for each increasing κ-chain of first countable spaces there is a compatible first countable topology on the union of the chain. AssumingV=L any such κ must be weakly compact. It is relatively consistent with a supercompact cardinal that each κ>w ₁ has the property. The proofs exploit the connection with interesting families of integer-valued functions. Research of the second author supported by OTKA grant no. 1805. Research of the remaining authors partially supported by NSERC of Canada.     

Minimally Generated Abstract Logics

In this paper we study an alternative approach to the concept of abstract logic and to connectives in abstract logics. The notion of abstract logic was introduced by Brown and Suszko (Diss Math 102:9–42, 1973)—nevertheless, similar concepts have been investigated by various authors. Considering abstract logics as intersection structures we extend several notions to their κ-versions (κ ≥ ω), introduce a hierarchy of κ-prime theories, which is important for our treatment of infinite connectives, and study different concepts of κ-compactness. We are particularly interested in non-topped intersection structures viewed as semi-lattices with a minimal meet-dense subset, i.e., with a minimal generator set. We study a chain condition which is sufficient for a minimal generator set, implies compactness of the logic, and in regular logics is equivalent to (κ-) compactness of the consequence relation together with the existence of a (κ-)inconsistent set, where κ is the cofinality of the cardinality of the logic. Some of these results are known in a similar form in the context of closure spaces, we give extensions to (non-topped) intersection structures and to big cardinals presenting new proofs based on set-theoretical tools. The existence of a minimal generator set is crucial for our way to define connectives. Although our method can be extended to further non-classical connectives we concentrate here on intuitionistic and infinite ones. Our approach leads us to the concept of the set of complete theories which is stable under all considered connectives and gives rise to the definition of the topological space of the logic. Topological representations of (non-classical) abstract logics by means of this space remain to be further investigated.     

Counting metric spaces

If κ is a cardinal number, then any class of mutually non-homeomorphic metric spaces of size κ must be a set whose cardinality cannot exceed 2 ^κ . Our main result is a vivid construction of 2 ^κ mutually non-homeomorphic complete and both path connected and locally path connected metric spaces of size κ for each cardinal number κ from continuum up. Additionally we also deal with counting problems concerning countable metric spaces and Euclidean spaces.     

Ordinal definable subsets of singular cardinals

A remarkable result by Shelah states that if κ is a singular strong limit cardinal of uncountable cofinality, then there is a subset x of κ such that HOD_x contains the power set of κ. We develop a version of diagonal extender-based supercompact Prikry forcing, and use it to show that singular cardinals of countable cofinality do not in general have this property, and in fact it is consistent that for some singular strong limit cardinal κ of countable cofinality κ⁺ is supercompact in HOD_x for all x ? κ.     

Indestructibility and measurable cardinals with few and many measures

If κ < λ are such that κ is indestructibly supercompact and λ is measurable, then we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the maximal number of normal measures} are unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry fewer than the maximal number of normal measures. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry the maximal number of normal measures. If we weaken the requirements on indestructibility, then this last result can be improved to obtain a model with an indestructibly supercompact cardinal κ in which every measurable cardinal δ < κ carries the maximal number of normal measures. A. W. Apter’s research was partially supported by PSC-CUNY grants and CUNY Collaborative Incentive grants. In addition, the author wishes to thank the referee, for helpful comments, corrections, and suggestions which have been incorporated into the current version of the paper.     

The Rν-generalized solution of a boundary value problem with a singularity belongs to the space W2,ν+β2+κ+1/κ+2 (Ω, δ)

In the present paper, for a boundary value problem with noncoordinated degeneration of the data and a singularity in the solution, we show that the R _ν -generalized solution belongs to the weighted space W _2,ν+gb ^2+κ+1/κ+2 (Ω, δ)(κ > 0). Original Russian Text ? V.A. Rukavishnikov, E.V. Kuznetsova, 2009, published in Differentsial’nye Uravneniya, 2009, Vol. 45, No. 6, pp. 894–898.     

On the weight-spectrum of a compact space

The weight-spectrumSp(w, X) of a spaceX is the set of weights of all infinite closed subspaces ofX. We prove that ifκ>ω is regular andX is compactT ₂ withω(X)≥κ then some λ withκ≤λ≤2^<κ is inSp(ω, X). Under CH this implies that the weight spectrum of a compact space can not omitω ₁, and thus solves problem 22 of [M]. Also, it is consistent with 2^ω=c being anything it can be that every countable closed setT of cardinals less thanc withω ∈ T satisfiesSp(w, X)=T for some separable compact LOTSX. This shows the independence from ZFC of a conjecture made in [AT]. Research supported by OTKA grant no. 1908.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

The spectrum of partitions of a Boolean algebra

The main notion dealt with in this article is

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

The tree property and the failure of SCH at uncountable cofinality

Given a regular cardinal λ and λ many supercompact cardinals, we describe a type of forcing such that in the generic extension there is a cardinal κ with cofinality λ, the Singular Cardinal Hypothesis at κ fails, and the tree property holds at κ ⁺.     

More on countably compact,locally countable spaces

Following [5], aT ₃ spaceX is called good (splendid) if it is countably compact, locally countable (andω-fair).G(κ) (resp.S(κ)) denotes the statement that a good (resp. splendid) spaceX with |X|=κ exists. We prove here that (i) Con(ZF)→Con(ZFC+MA+2 ^ω is big+S(κ) holds unlessω=cf(κ)<κ); (ii) a supercompact cardinal implies Con(ZFC+MA+2suω>_ω+₁+┐G(ω_ω+₁); (iii) the “Chang conjecture” (ω_ω+₁),→(ω ₁,ω) implies ┐S(κ) for allκ≧k≧ω_ω; (iv) ifP addsω ₁ dominating reals toV iteratively then, in , we haveG(λ^ω) for allλ. Research supported by Hungarian National Foundation for Scientific Research grant no. 1805.     

Resolvent of the Laplacian on geometrically finite hyperbolic manifolds

For geometrically finite hyperbolic manifolds Γ\ℍ ⁿ⁺¹, we prove the meromorphic extension of the resolvent of Laplacian, Poincaré series, Einsenstein series and scattering operator to the whole complex plane. We also deduce the asymptotics of lattice points of Γ in large balls of ℍ ⁿ⁺¹ in terms of the Hausdorff dimension of the limit set of Γ.     

Shelah’s work on non-semi-proper iterations,I

In this paper, we give details of results of Shelah concerning iterated Namba forcing over a ground model of CH and iteration of P[W] where W is a stationary subset of ω ₂ concentrating on points of countable cofinality.     

Splitting ρκλ into maximally many stationary sets

Letκ >ω be a regular cardinal and λ >κ a cardinal. Solovay’s classical result for κ[So] led Menas [Me] to conjecture that a stationary subset ofP _κλ would split into λ^<κ stationary set of size κ⁺ (see[BT]), the conjecture implies that the size is (κ⁺)^<κ as well. Part of this work was done during the author’s stay at Boston University as one of the Japanese Overseas Research Fellows. He gratefully acknowledge Professor Akihiro Kanamori’s hospitality. He also wishes to thank members of the set theory seminar at Waseda University for their interest at the early stage.