Displaying similar documents to “A classification of definable forcings on ω1”

Are initially ω 1 -compact separable regular spaces compact?

Alan Dow, Istvan Juhász (1997)

Fundamenta Mathematicae

Similarity:

We investigate the question of the title. While it is immediate that CH yields a positive answer we discover that the situation under the negation of CH holds some surprises.

Each nowhere dense nonvoid closed set in Rn is a σ-limit set

Andrei Sivak (1996)

Fundamenta Mathematicae

Similarity:

We discuss main properties of the dynamics on minimal attraction centers (σ-limit sets) of single trajectories for continuous maps of a compact metric space into itself. We prove that each nowhere dense nonvoid closed set in n , n ≥ 1, is a σ-limit set for some continuous map.

On the equation a p + 2 α b p + c p = 0

Kenneth A. Ribet (1997)

Acta Arithmetica

Similarity:

We discuss the equation a p + 2 α b p + c p = 0 in which a, b, and c are non-zero relatively prime integers, p is an odd prime number, and α is a positive integer. The technique used to prove Fermat’s Last Theorem shows that the equation has no solutions with α < 1 or b even. When α=1 and b is odd, there are the two trivial solutions (±1, ∓ 1, ±1). In 1952, Dénes conjectured that these are the only ones. Using methods of Darmon, we prove this conjecture for p≡ 1 mod 4.

Convexity ranks in higher dimensions

Menachem Kojman (2000)

Fundamenta Mathematicae

Similarity:

A subset of a vector space is called countably convex if it is a countable union of convex sets. Classification of countably convex subsets of topological vector spaces is addressed in this paper. An ordinal-valued rank function ϱ is introduced to measure the complexity of local nonconvexity points in subsets of topological vector spaces. Then ϱ is used to give a necessary and sufficient condition for countable convexity of closed sets. Theorem. Suppose that S is a closed subset of a...

The Dugundji extension property can fail in ωµ -metrizable spaces

Ian Stares, Jerry Vaughan (1996)

Fundamenta Mathematicae

Similarity:

We show that there exist ω μ -metrizable spaces which do not have the Dugundji extension property ( 2 ω 1 with the countable box topology is such a space). This answers a question posed by the second author in 1972, and shows that certain results of van Douwen and Borges are false.

Standardness of sequences of σ-fields given by certain endomorphisms

Jacob Feldman, Daniel Rudolph (1998)

Fundamenta Mathematicae

Similarity:

 Let E be an ergodic endomorphism of the Lebesgue probability space X, ℱ, μ. It gives rise to a decreasing sequence of σ-fields , E - 1 , E - 2 , . . . A central example is the one-sided shift σ on X = 0 , 1 with 1 2 , 1 2 product measure. Now let T be an ergodic automorphism of zero entropy on (Y, ν). The [I|T] endomorphismis defined on (X× Y, μ× ν) by ( x , y ) ( σ ( x ) , T x ( 1 ) ( y ) ) . Here ℱ is the σ-field of μ× ν-measurable sets. Each field is a two-point extension of the one beneath it. Vershik has defined as “standard” any decreasing sequence of...

Raising dimension under all projections

John Cobb (1994)

Fundamenta Mathematicae

Similarity:

As a special case of the general question - “What information can be obtained about the dimension of a subset of n by looking at its orthogonal projections into hyperplanes?” - we construct a Cantor set in 3 each of whose projections into 2-planes is 1-dimensional. We also consider projections of Cantor sets in n whose images contain open sets, expanding on a result of Borsuk.

Nonseparable Radon measures and small compact spaces

Grzegorz Plebanek (1997)

Fundamenta Mathematicae

Similarity:

We investigate the problem if every compact space K carrying a Radon measure of Maharam type κ can be continuously mapped onto the Tikhonov cube [ 0 , 1 ] κ (κ being an uncountable cardinal). We show that for κ ≥ cf(κ) ≥ κ this holds if and only if κ is a precaliber of measure algebras. Assuming that there is a family of ω 1 null sets in 2 ω 1 such that every perfect set meets one of them, we construct a compact space showing that the answer to the above problem is “no” for κ = ω. We also give alternative...

If it looks and smells like the reals...

Franklin Tall (2000)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,T⟩ ∈ M, an elementary submodel of set theory, we define X M to be X ∩ M with topology generated by U ∩ M:U ∈ T ∩ M. We prove that if X M is homeomorphic to ℝ, then X = X M . The same holds for arbitrary locally compact uncountable separable metric spaces, but is independent of ZFC if “local compactness” is omitted.

Gδ -sets in topological spaces and games

Winfried Just, Marion Scheepers, Juris Steprans, Paul Szeptycki (1997)

Fundamenta Mathematicae

Similarity:

Players ONE and TWO play the following game: In the nth inning ONE chooses a set O n from a prescribed family ℱ of subsets of a space X; TWO responds by choosing an open subset T n of X. The players must obey the rule that O n O n + 1 T n + 1 T n for each n. TWO wins if the intersection of TWO’s sets is equal to the union of ONE’s sets. If ONE has no winning strategy, then each element of ℱ is a G δ -set. To what extent is the converse true? We show that:  (A) For ℱ the collection of countable subsets of X:   1....

Every reasonably sized matrix group is a subgroup of S ∞

Robert Kallman (2000)

Fundamenta Mathematicae

Similarity:

Every reasonably sized matrix group has an injective homomorphism into the group S of all bijections of the natural numbers. However, not every reasonably sized simple group has an injective homomorphism into S .

The sequential topology on complete Boolean algebras

Wiesław Główczyński, Bohuslav Balcar, Thomas Jech (1998)

Fundamenta Mathematicae

Similarity:

We investigate the sequential topology τ s on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space ( B , τ s ) is Hausdorff. We also characterize sequential cardinals.

A Ramsey theorem for polyadic spaces

Murray Bell (1996)

Fundamenta Mathematicae

Similarity:

A polyadic space is a Hausdorff continuous image of some power of the one-point compactification of a discrete space. We prove a Ramsey-like property for polyadic spaces which for Boolean spaces can be stated as follows: every uncountable clopen collection contains an uncountable subcollection which is either linked or disjoint. One corollary is that ( α κ ) ω is not a universal preimage for uniform Eberlein compact spaces of weight at most κ, thus answering a question of Y. Benyamini, M. Rudin...

Analytic gaps

Stevo Todorčević (1996)

Fundamenta Mathematicae

Similarity:

We investigate when two orthogonal families of sets of integers can be separated if one of them is analytic.

Connected covers and Neisendorfer's localization theorem

C. McGibbon, J. Møller (1997)

Fundamenta Mathematicae

Similarity:

Our point of departure is J. Neisendorfer's localization theorem which reveals a subtle connection between some simply connected finite complexes and their connected covers. We show that even though the connected covers do not forget that they came from a finite complex their homotopy-theoretic properties are drastically different from those of finite complexes. For instance, connected covers of finite complexes may have uncountable genus or nontrivial SNT sets, their Lusternik-Schnirelmann...

Locally constant functions

Joan Hart, Kenneth Kunen (1996)

Fundamenta Mathematicae

Similarity:

Let X be a compact Hausdorff space and M a metric space. E 0 ( X , M ) is the set of f ∈ C(X,M) such that there is a dense set of points x ∈ X with f constant on some neighborhood of x. We describe some general classes of X for which E 0 ( X , M ) is all of C(X,M). These include βℕ, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case where M is a Banach space, we discuss the properties of E 0 ( X , M ) as a normed linear space. We also build three first countable...