English
Related papers

Related papers: More generalizations of pseudocompactness

200 papers

We revisit some ideas of K.-M.~Perfekt who has provided an elegant framework to detect the biduality between function or sequence spaces defined in terms of some $o$- resp.\ $O$-condition. We present new proofs under somewhat weaker…

Functional Analysis · Mathematics 2021-05-07 Dirk Werner

We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…

Logic in Computer Science · Computer Science 2021-05-19 Alexandru Baltag , Nick Bezhanishvili , David Fernández-Duque

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…

General Topology · Mathematics 2025-01-03 Oleksandr Maslyuchenko , Vadym Myronyk , Roman Ivasiuk

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

General Topology · Mathematics 2022-05-25 Eman Almuhur , Muhammad Ahsan Khan

Several results in functional analysis are extended to the setting of $L^0$-modules, where $L^0$ denotes the ring of all measurable functions $x\colon \Omega\to \mathbb{R}$. The focus is on results involving compactness. To this end, a…

Functional Analysis · Mathematics 2017-11-28 Asgar Jamneshan , Jose Miguel Zapata

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Logic · Mathematics 2020-10-01 Sean Cox , Monroe Eskew

A cardinal lambda is called omega-inaccessible if for all mu < lambda we have mu^omega<lambda. We show that for every omega-inaccessible cardinal lambda there is a CCC (hence cardinality and cofinality preserving) forcing that adds a…

Logic · Mathematics 2007-05-23 Istvan Juhasz , Saharon Shelah

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…

Category Theory · Mathematics 2012-12-04 Joan Bagaria , Carles Casacuberta , A. R. D. Mathias , Jiri Rosicky

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

General Topology · Mathematics 2024-12-31 Valery Isaev

The class of $\mu$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class…

Functional Analysis · Mathematics 2010-04-23 M. E. Shirokov

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

General Topology · Mathematics 2022-06-07 Peter Nyikos , Lyubomyr Zdomskyy

In the case of a compact orientable pseudomanifold, a well-known theorem of M. Goresky and R. MacPherson says that the cap product with a fundamental class factorizes through the intersection homology groups. In this work, we show that this…

Algebraic Topology · Mathematics 2017-05-22 David Chataur , Martintxo Saralegi-Aranguren , Daniel Tanré

In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…

Category Theory · Mathematics 2020-12-04 Jiri Rosicky , Walter Tholen

We consider the Laplacian and its fractional powers of order less than one on the complement $\mathbb{R}^d\setminus\Sigma$ of a given compact set $\Sigma\subset \mathbb{R}^d$ of zero Lebesgue measure. Depending on the size of $\Sigma$, the…

Probability · Mathematics 2017-03-20 Michael Hinz , Seunghyun Kang , Jun Masamune

We prove that for every (infinite cardinal) lambda there is a T_3-space X with clopen basis, 2^mu points where mu = 2^lambda, such that every closed subspace of cardinality <|X| has cardinality < lambda .

Logic · Mathematics 2009-09-25 Saharon Shelah

We characterise Tychonoff spaces X so that C(X) is universally {\sigma}-complete and universally complete, respectively.

Functional Analysis · Mathematics 2021-05-12 Jan Harm van der Walt

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

Logic · Mathematics 2024-11-22 Masato Fujita

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

Logic · Mathematics 2009-09-25 Renling Jin , Saharon Shelah

We study the model theory of covers of groups definable in o-minimal structures. This includes the case of covers of compact real Lie groups. In particular we study categoricity questions, pointing out some notable differences with the case…

Logic · Mathematics 2010-09-28 Alessandro Berarducci , Ya'acov Peterzil , Anand Pillay

An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself…

General Topology · Mathematics 2007-05-23 Michael Megrelishvili