Some properties of Boolean algebras are characterized through the topological properties of a certain space of countable sequences of ordinals. For this, it is necessary to prove the Ramsey theorems for an arbitrary infinite cardinal. Also, we define continuous mappings on these spaces from vector measures on the algebra.
The second author found a gap in the proof of the main theorem in [J. Mycielski, Fund. Math. 132 (1989), 143-149]. Here we fill that gap and add some remarks about the geometry of the hyperbolic plane ℍ².
We are interested in generalizing part of the theory of ultrafilters on ω to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.
We answer a question of C. Hardin and A. Taylor concerning a hat-guessing game.
According to a result of Kočinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover to obtain a groupable cover of the space. We simplify the characterization further by omitting the need to consider sequences of covers: A set of reals X has the Hurewicz property if, and only if, each large open cover of X contains a groupable subcover. This...
We show the consistency of the statement: "the set of regular cardinals which are the characters of ultrafilters on ω is not convex". We also deal with the set of π-characters of ultrafilters on ω.
We force from large cardinals a model of ZFC in which and both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model even satisfies the super tree property.
Let G be a group of homeomorphisms of a nondiscrete, locally compact, σ-compact topological space X and suppose that a Haar measure on X exists: a regular Borel measure μ, positive on nonempty open sets, finite on compact sets and invariant under the homeomorphisms from G. Under some mild assumptions on G and X we prove that the measure completion of μ is the unique, up to a constant factor, nonzero, σ-finite, G-invariant measure defined on its domain iff μ is ergodic and the G-orbits of all points...
We present a reformulation of the fine structure theory from Jensen [72] based on his Σ* theory for K and introduce the Fine Structure Principle, which captures its essential content. We use this theory to prove the Square and Fine Scale Principles, and to construct Morasses.