Guessing clubs in the generalized club filter

Bernhard König; Paul Larson; Yasuo Yoshinobu

Displaying similar documents to “Guessing clubs in the generalized club filter”

Filter factors of truncated TLS regularization with multiple observations

Iveta Hnětynková, Martin Plešinger, Jana Žáková (2017)

Applications of Mathematics

Similarity:

The total least squares (TLS) and truncated TLS (T-TLS) methods are widely known linear data fitting approaches, often used also in the context of very ill-conditioned, rank-deficient, or ill-posed problems. Regularization properties of T-TLS applied to linear approximation problems $A x \approx b$ were analyzed by Fierro, Golub, Hansen, and O’Leary (1997) through the so-called filter factors allowing to represent the solution in terms of a filtered pseudoinverse of $A$ applied to $b$ . This paper focuses...

$P_{λ}$ -sets and skeletal mappings

Aleksander Błaszczyk, Anna Brzeska (2013)

Colloquium Mathematicae

Similarity:

We prove that if the topology on the set Seq of all finite sequences of natural numbers is determined by $P_{λ}$ -filters and λ ≤ , then Seq is a $P_{λ}$ -set in its Čech-Stone compactification. This improves some results of Simon and of Juhász and Szymański. As a corollary we obtain a generalization of a result of Burke concerning skeletal maps and we partially answer a question of his.

On families of Lindelöf and related subspaces of $2^{ω ₁}$

Lúcia Junqueira, Piotr Koszmider (2001)

Fundamenta Mathematicae

Similarity:

We consider the families of all subspaces of size ω₁ of $2^{ω ₁}$ (or of a compact zero-dimensional space X of weight ω₁ in general) which are normal, have the Lindelöf property or are closed under limits of convergent ω₁-sequences. Various relations among these families modulo the club filter in ${[X]}^{ω ₁}$ are shown to be consistently possible. One of the main tools is dealing with a subspace of the form X ∩ M for an elementary submodel M of size ω₁. Various results with this flavor are obtained. Another...

Products of topological spaces and families of filters

Paolo Lipparini (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. We prove that a product is Lindelöf if and only if all subproducts by $\leq ω_{1}$ factors are Lindelöf. Parallel results are obtained for final $ω_{n}$ -compactness, $[λ, μ]$ -compactness, the Menger and the Rothberger properties.

Iterating along a Prikry sequence

Spencer Unger (2016)

Fundamenta Mathematicae

Similarity:

We introduce a new method which combines Prikry forcing with an iteration between the Prikry points. Using our method we prove from large cardinals that it is consistent that the tree property holds at ℵₙ for n ≥ 2, $ℵ_{ω}$ is strong limit and $2^{ℵ_{ω}} = ℵ_{ω + 2}$ .

The tree property at both $ℵ_{ω + 1}$ and $ℵ_{ω + 2}$

Laura Fontanella, Sy David Friedman (2015)

Fundamenta Mathematicae

Similarity:

We force from large cardinals a model of ZFC in which $ℵ_{ω + 1}$ and $ℵ_{ω + 2}$ both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model $ℵ_{ω + 2}$ even satisfies the super tree property.

Coherent ultrafilters and nonhomogeneity

Jan Starý (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce the notion of a coherent $P$ -ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$ -point on $ω$ , and show that these ultrafilters exist generically under $𝔠 = 𝔡$ . This improves the known existence result of Ketonen [On the existence of $P$ -points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets $X, Y$ and a function $f : X \to Y$ which is onto and $n$ -to-one for some $n \in ℕ$ , the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f : A \to ω$ such that for each free ultrafilter of $ω$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

Internally club and approachable for larger structures

John Krueger (2008)

Fundamenta Mathematicae

Similarity:

We generalize the notion of a fat subset of a regular cardinal κ to a fat subset of $P_{κ} (X)$ , where κ ⊆ X. Suppose μ < κ, $μ^{< μ} = μ$ , and κ is supercompact. Then there is a generic extension in which κ = μ⁺⁺, and for all regular λ ≥ μ⁺⁺, there are stationarily many N in ${[H (λ)]}^{μ ⁺}$ which are internally club but not internally approachable.

On a characterization of $k$ -trees

De-Yan Zeng, Jian Hua Yin (2015)

Czechoslovak Mathematical Journal

Similarity:

A graph $G$ is a $k$ -tree if either $G$ is the complete graph on $k + 1$ vertices, or $G$ has a vertex $v$ whose neighborhood is a clique of order $k$ and the graph obtained by removing $v$ from $G$ is also a $k$ -tree. Clearly, a $k$ -tree has at least $k + 1$ vertices, and $G$ is a 1-tree (usual tree) if and only if it is a $1$ -connected graph and has no $K_{3}$ -minor. In this paper, motivated by some properties of 2-trees, we obtain a characterization of $k$ -trees as follows: if $G$ is a graph with at least $k + 1$ vertices, then $G$ is...

Preservation of properties of a map by forcing

Akira Iwasa (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $f : X \to Y$ be a continuous map such as an open map, a closed map or a quotient map. We study under what circumstances $f$ remains an open, closed or quotient map in forcing extensions.

Definable orthogonality classes in accessible categories are small

Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiří Rosický (2015)

Journal of the European Mathematical Society

Similarity:

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...

Cardinal sequences of length < ω₂ under GCH

István Juhász, Lajos Soukup, William Weiss (2006)

Fundamenta Mathematicae

Similarity:

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put $_{λ} (α) = s \in (α) : s (0) = λ = m i n [s (β) : β < α]$ . We show that f ∈ (α) iff for some natural number n there are infinite cardinals $λ ₀ i > λ ₁ > . . . > λ_{n - 1}$ and ordinals $α ₀, . . ., α_{n - 1}$ such that $α = α ₀ + \dots + α_{n - 1}$ and $f = f ₀ ⏜ f ₁ ⏜ . . . ⏜ f_{n - 1}$ where each $f_{i} \in_{λ_{i}} (α_{i})$ . Under GCH we prove that if α < ω₂ then (i) $_{ω} (α) = s \in^{α} ω, ω ₁ : s (0) = ω$ ; (ii) if λ > cf(λ) = ω, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω ₁ - c l o s e d i n α$ ; (iii) if cf(λ) = ω₁, $_{λ} (α) = s \in^{α} λ, λ ⁺ : s (0) = λ, s^{- 1} λ i s ω - c l o s e d a n d s u c c e s s o r - c l o s e d i n α$ ; (iv) if cf(λ) > ω₁, $_{λ} (α) =^{α} λ$ . This yields a complete characterization of the classes (α) for all...

A new Lindelöf space with points $G_{δ}$

Alan S. Dow (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that $♦^{*}$ implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality $2^{ℵ_{1}}$ which has points $G_{δ}$ . In addition, this space has the property that it need not be Lindelöf after countably closed forcing.

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

On the bounding, splitting, and distributivity numbers

Alan S. Dow, Saharon Shelah (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The cardinal invariants $𝔥, 𝔟, 𝔰$ of $𝒫 (ω)$ are known to satisfy that $ω_{1} \leq 𝔥 \leq min {𝔟, 𝔰}$ . We prove that all inequalities can be strict. We also introduce a new upper bound for $𝔥$ and show that it can be less than $𝔰$ . The key method is to utilize finite support matrix iterations of ccc posets following paper Ultrafilters with small generating sets by A. Blass and S. Shelah (1989).

On graceful colorings of trees

Sean English, Ping Zhang (2017)

Mathematica Bohemica

Similarity:

A proper coloring $c : V (G) \to {1, 2, ..., k}$ , $k \geq 2$ of a graph $G$ is called a graceful $k$ -coloring if the induced edge coloring $c^{'} : E (G) \to {1, 2, ..., k - 1}$ defined by $c^{'} (u v) = | c (u) - c (v) |$ for each edge $u v$ of $G$ is also proper. The minimum integer $k$ for which $G$ has a graceful $k$ -coloring is the graceful chromatic number $χ_{g} (G)$ . It is known that if $T$ is a tree with maximum degree $Δ$ , then $χ_{g} (T) \leq ⌈ \frac{5}{3} Δ ⌉$ and this bound is best possible. It is shown for each integer $Δ \geq 2$ that there is an infinite class of trees $T$ with maximum degree $Δ$ such that $χ_{g} (T) = ⌈ \frac{5}{3} Δ ⌉$ . In particular, we investigate for each...

On non-normality points, Tychonoff products and Suslin number

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let a space $X$ be Tychonoff product $\prod_{α < τ} X_{α}$ of $τ$ -many Tychonoff nonsingle point spaces $X_{α}$ . Let Suslin number of $X$ be strictly less than the cofinality of $τ$ . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $β X$ . In particular, this is true if $X$ is either $R^{τ}$ or $ω^{τ}$ and a cardinal $τ$ is infinite and not countably cofinal.

A Dichotomy Principle for Universal Series

V. Farmaki, V. Nestoridis (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ${(α_{j})}_{j = 1}^{\infty}$ of scalars, there exists a subsequence ${(α_{k_{j}})}_{j = 1}^{\infty}$ such that either every subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series, or no subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series. In particular examples we decide which of the two cases holds.

On ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

The instability of nonseparable complete Erdős spaces and representations in ℝ-trees

Jan J. Dijkstra, Kirsten I. S. Valkenburg (2010)

Fundamenta Mathematicae

Similarity:

One way to generalize complete Erdős space $_{c}$ is to consider uncountable products of zero-dimensional $G_{δ}$ -subsets of the real line, intersected with an appropriate Banach space. The resulting (nonseparable) complete Erdős spaces can be fully classified by only two cardinal invariants, as done in an earlier paper of the authors together with J. van Mill. As we think this is the correct way to generalize the concept of complete Erdős space to a nonseparable setting, natural questions arise...

Can $ℬ (ℓ^{p})$ ever be amenable?

Matthew Daws, Volker Runde (2008)

Studia Mathematica

Similarity:

It is known that $ℬ (ℓ^{p})$ is not amenable for p = 1,2,∞, but whether or not $ℬ (ℓ^{p})$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ (ℓ^{p})$ is amenable for p ∈ (1,∞), then so are $ℓ^{\infty} (ℬ (ℓ^{p}))$ and $ℓ^{\infty} ((ℓ^{p}))$ . Moreover, if $ℓ^{\infty} ((ℓ^{p}))$ is amenable so is $ℓ^{\infty} (, (E))$ for any index set and for any infinite-dimensional $ℒ^{p}$ -space E; in particular, if $ℓ^{\infty} ((ℓ^{p}))$ is amenable for p ∈ (1,∞), then so is $ℓ^{\infty} ((ℓ^{p} \oplus ℓ ²))$ . We show that $ℓ^{\infty} ((ℓ^{p} \oplus ℓ ²))$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

On the solvability of systems of linear equations over the ring $ℤ$ of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ${(E_{i})}_{i \in I}$ of homogeneous linear equations over $ℤ$ is non-trivially solvable in $ℤ$ provided that each subsystem ${(E_{j})}_{j \in J}$ with $| J | \leq c$ is non-trivially solvable in $ℤ$ where $c$ is a fixed cardinal number such that $c < | I |$ . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $| I | = ℵ_{0}$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c \leq ℵ_{0}$ is ‘No...