共查询到20条相似文献,搜索用时 31 毫秒
1.
Sy-David Friedman 《Annals of Pure and Applied Logic》2010,161(12):1581-1587
Using almost disjoint coding we prove the consistency of the existence of a definable ω-mad family of infinite subsets of ω (resp. functions from ω to ω) together with b=2ω=ω2. 相似文献
2.
3.
We study Tukey types of ultrafilters on ω, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafilter. The class of basically generated ultrafilters includes all known ultrafilters that are not Tukey above [ω1]<ω. We give a complete characterization of all ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given. 相似文献
4.
Arnold W. Miller 《Topology and its Applications》2009,156(5):872-878
For X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X which is not a relative γ-set in X, i.e., there exists an ω-cover of X with no γ-subcover of Z. We give a characterization of p(ω2) and p(ωω) in terms of definable free filters on ω which is related to the pseudo-intersection number p. We show that for every uncountable standard analytic space X that either p(X)=p(ω2) or p(X)=p(ωω). We show that the following statements are each relatively consistent with ZFC: (a) p=p(ωω)<p(ω2) and (b) p<p(ωω)=p(ω2) 相似文献
5.
Lajos Soukup 《Topology and its Applications》2011,158(5):697-707
We show that it is relatively consistent with ZFC that ω2 is arbitrarily large and every sequence s=〈sα:α<ω2〉 of infinite cardinals with sα?ω2 is the cardinal sequence of some locally compact scattered space. 相似文献
6.
Rene Schipperus 《Annals of Pure and Applied Logic》2010,161(10):1195-1215
The structure of ordinals of the form ωωβ for countable β is studied. The main result is:
Theorem 1.
Ifβ<ω1is the sum of one or two indecomposable ordinals, then
ωωβ→(ωωβ,3)2. 相似文献
7.
We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. This allows us to prove (ZFC) that the class of strict Jωω-ultrafilters, introduced by J.E. Baumgartner in [2], is empty. We translate the result to the language of <∞-sequences under an ultrafilter, investigated by C. Laflamme in [17], and we show that if there is an arbitrary long finite <∞-sequence under u, then u is at least a strict Jωω+1-ultrafilter. 相似文献
8.
9.
10.
Hajnal and Juhász proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelöf. The example constructed is a topological subgroup H⊆ω12 that is an HFD with the following property
- (P)
- the projection of H onto every partial product I2 for I∈ω[ω1] is onto.
11.
Athanassios Tzouvaras 《Annals of Pure and Applied Logic》2011,162(5):373
We prove a combinatorial result for models of the 4-fragment of the Simple Theory of Types (TST), TST4. The result says that if A=〈A0,A1,A2,A3〉 is a standard transitive and rich model of TST4, then A satisfies the 〈0,0,n〉-property, for all n≥2. This property has arisen in the context of the consistency problem of the theory New Foundations (NF). The result is a weak form of the combinatorial condition (existence of ω-extendible coherent triples) that was shown in Tzouvaras (2007) [5] to be equivalent to the consistency of NF. Such weak versions were introduced in Tzouvaras (2009) [6] in order to relax the intractability of the original condition. The result strengthens one of the main theorems of Tzouvaras (2007) [5, Theorem 3.6] which is just equivalent to the 〈0,0,2〉-property. 相似文献
12.
This paper concerns the model of Cummings and Foreman where from ω supercompact cardinals they obtain the tree property at each ℵn for 2≤n<ω. We prove some structural facts about this model. We show that the combinatorics at ℵω+1 in this model depend strongly on the properties of ω1 in the ground model. From different ground models for the Cummings–Foreman iteration we can obtain either ℵω+1∈I[ℵω+1] and every stationary subset of ℵω+1 reflects or there are a bad scale at ℵω and a non-reflecting stationary subset of ℵω+1∩cof(ω1). We also prove that regardless of the ground model a strong generalization of the tree property holds at each ℵn for n≥2. 相似文献
13.
We introduce a covering conjecture and show that it holds below ADR+“Θ is regular”. We then use it to show that in the presence of mild large cardinal axioms, PFA implies that there is a transitive model containing the reals and ordinals and satisfying ADR+“Θ is regular”. The method used to prove the Main Theorem of this paper is the core model induction. The paper contains the first application of the core model induction that goes significantly beyond the region of AD++θ0<Θ. 相似文献
14.
A space X is κ-resolvable (resp. almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X).Answering a problem raised by Juhász, Soukup, and Szentmiklóssy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal κ there is an almost κ2-resolvable but not ω1-resolvable space of dispersion character κ. 相似文献
15.
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. 相似文献
16.
Ioannis Souldatos 《Annals of Pure and Applied Logic》2012,163(3):225-237
We say that a countable model M completely characterizes an infinite cardinal κ, if the Scott sentence of M has a model in cardinality κ, but no models in cardinality κ+. If a structure M completely characterizes κ, κ is called characterizable. In this paper, we concern ourselves with cardinals that are characterizable by linearly ordered structures (cf. Definition 2.1).Under the assumption of GCH, Malitz completely resolved the problem by showing that κ is characterizable if and only if κ=ℵα, for some α<ω1 (cf. Malitz (1968) [7] and Baumgartner (1974) [1]). Our results concern the case where GCH fails.From Hjorth (2002) [3], we can deduce that if κ is characterizable, then κ+ is characterizable by a densely ordered structure (see Theorem 2.4 and Corollary 2.5).We show that if κ is homogeneously characterizable (cf. Definition 2.2), then κ is characterizable by a densely ordered structure, while the converse fails (Theorem 2.3).The main theorems are (1) If κ>2λ is a characterizable cardinal, λ is characterizable by a densely ordered structure and λ is the least cardinal such that κλ>κ, then κλ is also characterizable (Theorem 5.4) and (2) if ℵα and κℵα are characterizable cardinals, then the same is true for κℵα+β, for all countable β (Theorem 5.5).Combining these two theorems we get that if κ>2ℵα is a characterizable cardinal, ℵα is characterizable by a densely ordered structure and ℵα is the least cardinal such that κℵα>κ, then for all β<α+ω1, κℵβ is characterizable (Theorem 5.7). Also if κ is a characterizable cardinal, then κℵα is characterizable, for all countable α (Corollary 5.6). This answers a question of the author in Souldatos (submitted for publication) [8]. 相似文献
17.
Infinite Time Register Machines (ITRM's) are a well-established machine model for infinitary computations. Their computational strength relative to oracles is understood, see e.g. , and . We consider the notion of recognizability, which was first formulated for Infinite Time Turing Machines in [6] and applied to ITRM's in [3]. A real x is ITRM-recognizable iff there is an ITRM-program P such that Py stops with output 1 iff y=x, and otherwise stops with output 0. In [3], it is shown that the recognizable reals are not contained in the ITRM-computable reals. Here, we investigate in detail how the ITRM -recognizable reals are distributed along the canonical well-ordering <L of Gödel's constructible hierarchy L . In particular, we prove that the recognizable reals have gaps in <L, that there is no universal ITRM in terms of recognizability and consider a relativized notion of recognizability. 相似文献
18.
Radek Honzik 《Annals of Pure and Applied Logic》2010,161(7):895-915
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)(κ)=κ+). 相似文献
19.
Komjáth in 1984 proved that, for each sequence (An) of analytic subsets of a Polish space X, if lim supn∈HAn is uncountable for every H∈ω[N] then ?n∈GAn is uncountable for some G∈ω[N]. This fact, by our definition, means that the σ-ideal [X]?ω has property (LK). We prove that every σ-ideal generated by X/E has property (LK), for an equivalence relation E⊂X2 of type Fσ with uncountably many equivalence classes. We also show the parametric version of this result. Finally, the invariance of property (LK) with respect to various operations is studied. 相似文献
20.
We consider the following question of Ginsburg: Is there any relationship between the pseudocompactness ofXωand that of the hyperspaceX2? We do that first in the context of Mrówka-Isbell spaces Ψ(A) associated with a maximal almost disjoint (MAD) family A on ω answering a question of J. Cao and T. Nogura. The space Ψω(A) is pseudocompact for every MAD family A. We show that
- (1)
- (p=c) 2Ψ(A) is pseudocompact for every MAD family A.
- (2)
- (h<c) There is a MAD family A such that 2Ψ(A) is not pseudocompact.