Page 1

Displaying 1 – 18 of 18

Showing per page

Set-theoretic constructions of two-point sets

Ben Chad, Robin Knight, Rolf Suabedissen (2009)

Fundamenta Mathematicae

A two-point set is a subset of the plane which meets every line in exactly two points. By working in models of set theory other than ZFC, we demonstrate two new constructions of two-point sets. Our first construction shows that in ZFC + CH there exist two-point sets which are contained within the union of a countable collection of concentric circles. Our second construction shows that in certain models of ZF, we can show the existence of two-point sets without explicitly invoking the Axiom of Choice....

Some new versions of an old game

Vladimir Vladimirovich Tkachuk (1995)

Commentationes Mathematicae Universitatis Carolinae

The old game is the point-open one discovered independently by F. Galvin [7] and R. Telgársky [17]. Recall that it is played on a topological space X as follows: at the n -th move the first player picks a point x n X and the second responds with choosing an open U n x n . The game stops after ω moves and the first player wins if { U n : n ω } = X . Otherwise the victory is ascribed to the second player. In this paper we introduce and study the games θ and Ω . In θ the moves are made exactly as in the point-open game, but the...

Strongly almost disjoint familes, revisited

A. Hajnal, Istvan Juhász, Saharon Shelah (2000)

Fundamenta Mathematicae

The relations M(κ,λ,μ) → B [resp. B(σ)] meaning that if A [ κ ] λ with |A|=κ is μ-almost disjoint then A has property B [resp. has a σ-transversal] had been introduced and studied under GCH in [EH]. Our two main results here say the following: Assume GCH and let ϱ be any regular cardinal with a supercompact [resp. 2-huge] cardinal above ϱ. Then there is a ϱ-closed forcing P such that, in V P , we have both GCH and M ( ϱ ( + ϱ + 1 ) , ϱ + , ϱ ) B [resp. M ( ϱ ( + ϱ + 1 ) , λ , ϱ ) B ( ϱ + ) for all λ ϱ ( + ϱ + 1 ) ] . These show that, consistently, the results of [EH] are sharp. The necessity...

Subgroups of the Baer–Specker group with few endomorphisms but large dual

Andreas Blass, Rüdiger Göbel (1996)

Fundamenta Mathematicae

Assuming the continuum hypothesis, we construct a pure subgroup G of the Baer-Specker group 0 with the following properties. Every endomorphism of G differs from a scalar multiplication by an endomorphism of finite rank. Yet G has uncountably many homomorphisms to ℤ.

Supercompactness and failures of GCH

Sy-David Friedman, Radek Honzik (2012)

Fundamenta Mathematicae

Let κ < λ be regular cardinals. We say that an embedding j: V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V. Silver showed that GCH can fail at a measurable cardinal κ, starting with κ being κ⁺⁺-supercompact. Later, Woodin improved this result, starting from the optimal hypothesis of a κ⁺⁺-tall measurable cardinal κ. Now more generally, suppose that κ ≤ λ are regular and one wishes the GCH to fail at λ with κ being λ-supercompact. Silver’s methods show...

Currently displaying 1 – 18 of 18

Page 1