相关论文: Uniform Eberlein spaces and the finite axiom of ch…

We provide, for any regular uncountable cardinal $\kappa$, a new argument for Pincus' result on the consistency of $\mathrm{ZF}$ with the higher dependent choice principle $\mathrm{DC}_{<\kappa}$ and the ordering principle in the presence…

The relationship between the large cardinal notions of strong compactness and supercompactness cannot be determined under the standard ZFC axioms of set theory. Under a hypothesis called the Ultrapower Axiom, we prove that the notions are…

It is hereby established that the set of Lipschitz functions $f:\mathcal{U}\rightarrow \mathbb{R}$ ($\mathcal{U}$ nonempty open subset of $\ell_{d}^{1}$) with maximal Clarke subdifferential contains a linear subspace of uncountable…

It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…

Given a hereditarily meager ideal $\mathcal{I}$ on a countable set $X$ we use Martin's axiom for countable posets to produce a zero-dimensional maximal topology $\tau^\mathcal{I}$ on $X$ such that $\tau^\mathcal{I}\cap…

In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example…

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly…

We show that the forcing axiom for countably compact, $\omega_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage…

We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fra\"{\i}ss\'{e} limit) embeds all countable semigroups. This approach provides us not only…

The uncountability of the reals was first established by Cantor in what was later heralded as the first paper on set theory. Since the latter constitutes the official foundations of mathematics, the logical study of the uncountability of…

Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…

Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…

We strengthen, in various directions, the theorem of Garnett that every $\sigma$-compact, completely regular space $X$ occurs as a Gleason part for some uniform algebra. In particular, we show that the uniform algebra can always be chosen…

Equationally compact subgroups of countable groups were introduced by Banaschewski. For all known cases the orbit closure of such a subgroup is a countable subset in the space of subgroups and has finite Cantor-Bendixson rank. We show that…

We study the closure of the convex hull of a compact set in a complete CAT(0) space. First we give characterization results in terms of compact sets and the closure of their convex hulls for locally compact CAT(0) spaces that are either…

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…

Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is…

A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among…