Page 1 Next

Displaying 1 – 20 of 2060

Showing per page

k -free separable groups with prescribed endomorphism ring

Daniel Herden, Héctor Gabriel Salazar Pedroza (2015)

Fundamenta Mathematicae

We will consider unital rings A with free additive group, and want to construct (in ZFC) for each natural number k a family of k -free A-modules G which are separable as abelian groups with special decompositions. Recall that an A-module G is k -free if every subset of size < k is contained in a free submodule (we will refine this in Definition 3.2); and it is separable as an abelian group if any finite subset of G is contained in a free direct summand of G. Despite the fact that such a module G is...

-representation and set-prolongations

Josef Mlček (1992)

Commentationes Mathematicae Universitatis Carolinae

By an -representation of a relation we mean its isomorphic embedding to 𝔼 = { x , y ; x y } . Some theorems on such a representation are presented. Especially, we prove a version of the well-known theorem on isomorphic representation of extensional and well-founded relations in 𝔼 , which holds in Zermelo-Fraenkel set theory. This our version is in Zermelo-Fraenkel set theory false. A general theorem on a set-prolongation is proved; it enables us to solve the task of the representation in question.

A Banach space dichotomy theorem for quotients of subspaces

Valentin Ferenczi (2007)

Studia Mathematica

A Banach space X with a Schauder basis is defined to have the restricted quotient hereditarily indecomposable property if X/Y is hereditarily indecomposable for any infinite-codimensional subspace Y with a successive finite-dimensional decomposition on the basis of X. The following dichotomy theorem is proved: any infinite-dimensional Banach space contains a quotient of a subspace which either has an unconditional basis, or has the restricted quotient hereditarily indecomposable property.

A big symmetric planar set with small category projections

Krzysztof Ciesielski, Tomasz Natkaniec (2003)

Fundamenta Mathematicae

We show that under appropriate set-theoretic assumptions (which follow from Martin's axiom and the continuum hypothesis) there exists a nowhere meager set A ⊂ ℝ such that (i) the set {c ∈ ℝ: π[(f+c) ∩ (A×A)] is not meager} is meager for each continuous nowhere constant function f: ℝ → ℝ, (ii) the set {c ∈ ℝ: (f+c) ∩ (A×A) = ∅} is nowhere meager for each continuous function f: ℝ → ℝ. The existence of such a set also follows from the principle CPA, which...

A Čech function in ZFC

Fred Galvin, Petr Simon (2007)

Fundamenta Mathematicae

A nontrivial surjective Čech closure function is constructed in ZFC.

A characterization of Ext(G,ℤ) assuming (V = L)

Saharon Shelah, Lutz Strüngmann (2007)

Fundamenta Mathematicae

We complete the characterization of Ext(G,ℤ) for any torsion-free abelian group G assuming Gödel’s axiom of constructibility plus there is no weakly compact cardinal. In particular, we prove in (V = L) that, for a singular cardinal ν of uncountable cofinality which is less than the first weakly compact cardinal and for every sequence ( ν p : p Π ) of cardinals satisfying ν p 2 ν (where Π is the set of all primes), there is a torsion-free abelian group G of size ν such that ν p equals the p-rank of Ext(G,ℤ) for every...

A characterization of the meager ideal

Piotr Zakrzewski (2015)

Commentationes Mathematicae Universitatis Carolinae

We give a classical proof of the theorem stating that the σ -ideal of meager sets is the unique σ -ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.

A characterization of tribes with respect to the Łukasiewicz t -norm

Erich Peter Klement, Mirko Navara (1997)

Czechoslovak Mathematical Journal

We give a complete characterization of tribes with respect to the Łukasiewicz t -norm, i. e., of systems of fuzzy sets which are closed with respect to the complement of fuzzy sets and with respect to countably many applications of the Łukasiewicz t -norm. We also characterize all operations with respect to which all such tribes are closed. This generalizes the characterizations obtained so far for other fundamental t -norms, e. g., for the product t -norm.

Currently displaying 1 – 20 of 2060

Page 1 Next