A Corson Compact Space is Countable if the Complement of its Diagonal is Functionally Countable

A space X is called functionally countable if ƒ (X) is countable for any continuous function ƒ : X → Ø. Given an infinite cardinal k, we prove that a compact scattered space K with d(K) > k must have a convergent k+-sequence. This result implies that a Corson compact space K is countable if the space (K × K) \ ΔK is functionally countable; here ΔK = {(x, x): x ϵ K} is the diagonal of K. We also establish that, under Jensen’s Axiom ♦, there exists a compact hereditarily separable non-metrizable compact space X such that (X × X) \ ΔX is functionally countable and show in ZFC that there exists a non-separable σ-compact space X such that (X × X) \ ΔX is functionally countable.

Hilbert’s First Problem and the New Progress of Infinity Theory

In the 19th century, Cantor created the infinite cardinal number theory based on the "1-1 correspondence" principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of "whole is greater than part", and created another ruler for measuring infinite sets. At the same time, 16 the development of the infinity theory provides new ideas for solving Hilbert's first problem, and provides a new mathematical foundation for Cosmic Continuum Theory

Hilbert's First Problem and the New Progress of Infinity Theory

In the 19th century, Cantor created the infinite cardinal number theory based on the "1-1 correspondence" principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of "whole is greater than part", and created another ruler for measuring infinite sets. The development of the infinity theory provides new ideas for solving Hilbert's first problem, and provides a new mathematical foundation for Cosmic Continuum Theory.

Hilbert's First Problem and the New Progress of Infinity Theory

In the 19th century, Cantor created the infinite cardinal number theory based on the "1-1 correspondence" principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of "whole is greater than part", and created another ruler for measuring infinite sets. The development of the infinity theory provides new ideas for solving Hilbert's first problem, and provides a new mathematical foundation for Cosmic Continuum Theory.

Hilbert' s First Problem and the New Progress of Infinity Theory

In the 19th century, Cantor created the infinite cardinal number theory based on the "1-1 correspondence" principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of "whole is greater than part", and created another ruler for measuring infinite sets. At the same time, the development of the infinity theory provides new ideas for solving Hilbert's first problem, and provides a new mathematical foundation for Cosmic Continuum Theory.

A GENERALIZATION OF SIERPINSKI THEOREM ON UNIQUE DETERMINING OF A SEPARATELY CONTINUOUS FUNCTION

In 1932 Sierpi\'nski proved that every real-valued separately continuous function defined on the plane $\mathbb R^2$ is determined uniquely on any everywhere dense subset of $\mathbb R^2$. Namely, if two separately continuous functions coincide of an everywhere dense subset of $\mathbb R^2$, then they are equal at each point of the plane. Piotrowski and Wingler showed that above-mentioned results can be transferred to maps with values in completely regular spaces. They proved that if every separately continuous function $f:X\times Y\to \mathbb R$ is feebly continuous, then for every completely regular space $Z$ every separately continuous map defined on $X\times Y$ with values in $Z$ is determined uniquely on everywhere dense subset of $X\times Y$. Henriksen and Woods proved that for an infinite cardinal $\aleph$, an $\aleph^+$-Baire space $X$ and a topological space $Y$ with countable $\pi$-character every separately continuous function $f:X\times Y\to \mathbb R$ is also determined uniquely on everywhere dense subset of $X\times Y$. Later, Mykhaylyuk proved the same result for a Baire space $X$, a topological space $Y$ with countable $\pi$-character and Urysohn space $Z$. Moreover, it is natural to consider weaker conditions than separate continuity. The results in this direction were obtained by Volodymyr Maslyuchenko and Filipchuk. They proved that if $X$ is a Baire space, $Y$ is a topological space with countable $\pi$-character, $Z$ is Urysohn space, $A\subseteq X\times Y$ is everywhere dense set, $f:X\times Y\to Z$ and $g:X\times Y\to Z$ are weakly horizontally quasi-continuous, continuous with respect to the second variable, equi-feebly continuous wuth respect to the first one and such that $f|_A=g|_A$, then $f=g$. In this paper we generalize all of the results mentioned above. Moreover, we analize classes of topological spaces wich are favorable for Sierpi\'nsi-type theorems.

Model theory of R-trees

We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is complete and has quantifier elimination; it is stable but not superstable. We identify its independence relation and find built-in canonical bases for non-algebraic types. Among the models of $\rbRT_r$ are $\R$-trees that arise naturally in geometric group theory. In every infinite cardinal, we construct the maximum possible number of pairwise non-isomorphic models of $\rbRT_r$; indeed, the models we construct are pairwise non-homeomorphic. We give detailed information about the type spaces of $\rbRT_r$. Among other things, we show that the space of $2$-types over the empty set is nonseparable. Also, we characterize the principal types of finite tuples (over the empty set) and use this information to conclude that $\rbRT_r$ has no atomic model.

A Note on z-Ideals and z°-Ideals of the Formal Power Series Rings and Polynomial Rings in an Infinite Set of Indeterminates

Let A be a ring. In this paper we generalize some results introduced by Aliabad and Mohamadian. We give a relation between the z-ideals of A and those of the formal power series rings in an infinite set of indeterminates over A. Consider A[[XΛ]]3 and its subrings A[[XΛ]]1, A[[XΛ]]2, and A[[XΛ]]α, where α is an infinite cardinal number. In fact, a z-ideal of the rings defined above is of the form I + (XΛ)i, where i = 1, 2, 3 or an infinite cardinal number and I is a z-ideal of A. In addition, we prove that the same condition given by Aliabad and Mohamadian can be used to get a relation between the minimal prime ideals of the ring of the formal power series in an infinite set of indeterminates and those of the ring of coefficients. As a natural result, we get a relation between the z°-ideals of the formal power series ring in an infinite set of indeterminates and those of the ring of coefficients.

Kappa-Slender Modules

For an arbitrary infinite cardinal κ, we define classes of κ-cslender and κ-tslender modules as well as related classes of κ-hmodules and initiate a study of these classes.

Decompositions of set-valued mappings

Let X be a set, BX denotes the family of all subsets of X and F:X→BX be a set-valued mapping such that x∈F(x), supx∈X|F(x)|<κ, supx∈X|F−1(x)|<κ for all x∈X and some infinite cardinal κ. Then there exists a family F of bijective selectors of F such that |F|<κ and F(x)={f(x):f∈F} for each x∈X. We apply this result to G-space representations of balleans.