Displaying similar documents to “Linear orders and MA + ¬wKH”

The Arkhangel’skiĭ–Tall problem: a consistent counterexample

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

Similarity:

We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in [ ω ] ω , and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.

Countable Toronto spaces

Gary Gruenhage, J. Moore (2000)

Fundamenta Mathematicae

Similarity:

A space X is called an α-Toronto space if X is scattered of Cantor-Bendixson rank α and is homeomorphic to each of its subspaces of the same rank. We answer a question of Steprāns by constructing a countable α-Toronto space for each α ≤ ω. We also construct consistent examples of countable α-Toronto spaces for each α < ω 1 .

A Lefschetz-type coincidence theorem

Peter Saveliev (1999)

Fundamenta Mathematicae

Similarity:

A Lefschetz-type coincidence theorem for two maps f,g: X → Y from an arbitrary topological space to a manifold is given: I f g = λ f g , that is, the coincidence index is equal to the Lefschetz number. It follows that if λ f g ≠ 0 then there is an x ∈ X such that f(x) = g(x). In particular, the theorem contains well-known coincidence results for (i) X,Y manifolds, f boundary-preserving, and (ii) Y Euclidean, f with acyclic fibres. It also implies certain fixed point results for multivalued maps with “point-like”...

Choice principles in Węglorz’ models

N. Brunner, Paul Howard, Jean Rubin (1997)

Fundamenta Mathematicae

Similarity:

Węglorz' models are models for set theory without the axiom of choice. Each one is determined by an atomic Boolean algebra. Here the algebraic properties of the Boolean algebra are compared to the set theoretic properties of the model.

Categoricity of theories in Lκω , when κ is a measurable cardinal. Part 1

Saharon Shelah, Oren Kolman (1996)

Fundamenta Mathematicae

Similarity:

We assume a theory T in the logic L κ ω is categorical in a cardinal λ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

Algebraic ramifications of the common extension problem for group-valued measures

Rüdiger Göbel, R. Shortt (1994)

Fundamenta Mathematicae

Similarity:

Let G be an Abelian group and let μ: A → G and ν: B → G be finitely additive measures (charges) defined on fields A and B of subsets of a set X. It is assumed that μ and ν agree on A ∩ B, i.e. they are consistent. The existence of common extensions of μ and ν is investigated, and conditions on A and B facilitating such extensions are given.

Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Alessandro Andretta, Alberto Marcone (1997)

Fundamenta Mathematicae

Similarity:

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is ∏ 2 0 -complete and that the set of Cauchy problems which locally have a unique solution is ∑ 3 0 -complete. We prove that the set of Cauchy problems which have a global solution is...

Parabolic Cantor sets

Mariusz Urbański (1996)

Fundamenta Mathematicae

Similarity:

The notion of a parabolic Cantor set is introduced allowing in the definition of hyperbolic Cantor sets some fixed points to have derivatives of modulus one. Such difference in the assumptions is reflected in geometric properties of these Cantor sets. It turns out that if the Hausdorff dimension of this set is denoted by h, then its h-dimensional Hausdorff measure vanishes but the h-dimensional packing measure is positive and finite. This latter measure can also be dynamically characterized...