All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 44

Showing per page

Template iterations and maximal cofinitary groups

Vera Fischer, Asger Törnquist (2015)

Fundamenta Mathematicae

Jörg Brendle (2003) used Hechler’s forcing notion for adding a maximal almost disjoint family along an appropriate template forcing construction to show that (the minimal size of a maximal almost disjoint family) can be of countable cofinality. The main result of the present paper is that g , the minimal size of a maximal cofinitary group, can be of countable cofinality. To prove this we define a natural poset for adding a maximal cofinitary group of a given cardinality, which enjoys certain combinatorial...

The algebraic dimension of linear metric spaces and Baire properties of their hyperspaces.

Taras Banakh, Anatolij Plichko (2006)

RACSAM

Answering a question of Halbeisen we prove (by two different methods) that the algebraic dimension of each infinite-dimensional complete linear metric space X equals the size of X. A topological method gives a bit more: the algebraic dimension of a linear metric space X equals |X| provided the hyperspace K(X) of compact subsets of X is a Baire space. Studying the interplay between Baire properties of a linear metric space X and its hyperspace, we construct a hereditarily Baire linear metric space...

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

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

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.

The Arkhangel'skiĭ–Tall problem under Martin’s Axiom

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

We show that MA σ - c e n t e r e d ( ω 1 ) implies that normal locally compact metacompact spaces are paracompact, and that MA( ω 1 ) implies normal locally compact metalindelöf spaces are paracompact. The latter result answers a question of S. Watson. The first result implies that there is a model of set theory in which all normal locally compact metacompact spaces are paracompact, yet there is a normal locally compact metalindelöf space which is not paracompact.

The combinatorics of reasonable ultrafilters

Saharon Shelah (2006)

Fundamenta Mathematicae

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.

The consistency of 𝔟 = κ and 𝔰 = κ⁺

Vera Fischer, Juris Steprāns (2008)

Fundamenta Mathematicae

Using finite support iteration of ccc partial orders we provide a model of 𝔟 = κ < 𝔰 = κ⁺ for κ an arbitrary regular, uncountable cardinal.

The consistency strength of the tree property at the double successor of a measurable cardina

Natasha Dobrinen, Sy-David Friedman (2010)

Fundamenta Mathematicae

The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ⁺⁺; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model in which there is a proper class of measurable cardinals, and in which the tree property holds at the...

The distributivity numbers of finite products of P(ω)/fin

Saharon Shelah, Otmar Spinas (1998)

Fundamenta Mathematicae

Generalizing [ShSp], for every n < ω we construct a ZFC-model where ℌ(n), the distributivity number of r.o. ( P ( ω ) / f i n ) n , is greater than ℌ(n+1). This answers an old problem of Balcar, Pelant and Simon (see [BaPeSi]). We also show that both Laver and Miller forcings collapse the continuum to ℌ(n) for every n < ω, hence by the first result, consistently they collapse it below ℌ(n).

The dual group of a dense subgroup

William Wistar Comfort, S. U. Raczkowski, F. Javier Trigos-Arrieta (2004)

Czechoslovak Mathematical Journal

Throughout this abstract, G is a topological Abelian group and G ^ is the space of continuous homomorphisms from G into the circle group 𝕋 in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism G ^ ↠ D ^ given by h ↦ h | D is a homeomorphism, and G is determined if each dense subgroup of G determines G . The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is...

The enriched stable core and the relative rigidity of HOD

Sy-David Friedman (2016)

Fundamenta Mathematicae

In the author's 2012 paper, the V-definable Stable Core 𝕊 = (L[S],S) was introduced. It was shown that V is generic over 𝕊 (for 𝕊-definable dense classes), each V-definable club contains an 𝕊-definable club, and the same holds with 𝕊 replaced by (HOD,S), where HOD denotes Gödel's inner model of hereditarily ordinal-definable sets. In the present article we extend this to models of class theory by introducing the V-definable Enriched Stable Core 𝕊* = (L[S*],S*). As an application we obtain...

The gap between I₃ and the wholeness axiom

Paul Corazza (2003)

Fundamenta Mathematicae

∃κI₃(κ) is the assertion that there is an elementary embedding i : V λ → V λ with critical point below λ, and with λ a limit. The Wholeness Axiom, or WA, asserts that there is a nontrivial elementary embedding j: V → V; WA is formulated in the language ∈,j and has as axioms an Elementarity schema, which asserts that j is elementary; a Critical Point axiom, which asserts that there is a least ordinal moved by j; and includes every instance of the Separation schema for j-formulas. Because no instance of Replacement...

Currently displaying 1 – 20 of 44

Page 1 Next