English
Related papers

Related papers: A filter on a collection of finite sets and Eberle…

200 papers

First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its…

Functional Analysis · Mathematics 2025-02-03 Kosuke Ishizuka

Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…

Logic · Mathematics 2018-08-16 Vladimir Kanovei

Under MA we prove that for the ideal $\cal I$ of thin sets on $\omega$ and for any ordinal $\gamma \leq \omega_1$ there is an ${\cal I}$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${\cal P}_{\gamma}$ of…

Logic · Mathematics 2012-01-10 Michał Machura , Andrzej Starosolski

Let H be a countable subgroup of the metrizable compact abelian group G and f:H -> T=R/Z a (not necessarily continuous) character of H. Then there exists a sequence (chi_n)_n of (continuous) characters of G such that lim_n chi_n(alpha) =…

General Topology · Mathematics 2007-05-23 Mathias Beiglböck , Christian Steineder , Reinhard Winkler

We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the…

Logic · Mathematics 2022-11-17 Robert Bonnet , Wieslaw Kubiś , Stevo Todorčević

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

Logic · Mathematics 2018-08-16 Vladimir Kanovei

We study ultrafilters on $\omega^2$ produced by forcing with the quotient of $\scr P(\omega^2)$ by the Fubini square of the Fr\'echet filter on $\omega$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only…

Logic · Mathematics 2013-08-20 Andreas Blass , Natasha Dobrinen , Dilip Raghavan

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed…

General Topology · Mathematics 2019-12-02 Xiaoquan Xu , Chong Shen , Xiaoyong Xi , Dongsheng Zhaod

We prove that a $T_0$ topological space is $\omega$-well-filtered if and only if it does not admit either the natural numbers with the cofinite topology or with the Scott topology as its closed subsets in the strong topology. Based on this,…

General Topology · Mathematics 2024-09-04 Hualin Miao , Xiaodong Jia , Ao Shen , Qingguo Li

Building on work of van Engelen and van Mill, we show that a zero-dimensional Borel space is homeomorphic to a semifilter if and only if it is homogeneous and not locally compact. Under $\mathbf{\Sigma}^1_1$-Determinacy, this result extends…

General Topology · Mathematics 2016-06-08 Andrea Medini

We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…

Logic · Mathematics 2022-03-25 N. L. Polyakov

In this paper we study the representation of Morse polynomial functions which are nonnegative on a compact basic closed semi-algebraic set in $\mathbb R^n$, and having only finitely many zeros in this set. Following C. Bivi\`{a}-Ausina, we…

Algebraic Geometry · Mathematics 2019-02-19 Công-Trình Lê

A version of Arzel\`a-Ascoli theorem for $X$ being $\sigma$-locally compact Hausdorff space is proved. The result is used in proving compactness of Fredholm, Hammerstein and Urysohn operators. Two fixed point theorems, for Hammerstein and…

Functional Analysis · Mathematics 2015-05-12 Mateusz Krukowski , Bogdan Przeradzki

Let $f$ be a transcendental entire function. The escaping set $I(f)$ consists of those points that tend to infinity under iteration of $f$. We show that $I(f)$ is not $\sigma$-compact, resolving a question of Rippon from 2009.

Dynamical Systems · Mathematics 2022-09-15 Lasse Rempe

We present a study of semigroup compactifications of a semitopological semigroup $S$ using certain filters on $S$. We characterize closed subsemigroups and closed left, right, and two-sided ideals in any semigroup compactification of any…

General Topology · Mathematics 2013-07-12 Tomi Alaste

We prove a compactness theorem for metrics with Bounded Integral Curvature on a fixed closed surface $\Sigma$. As a corollary, we obtain a compactification of the space of Riemannian metrics with conical singularities, where an accumulation…

Differential Geometry · Mathematics 2016-10-20 Clément Debin

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

General Topology · Mathematics 2022-01-25 Alan Dow , Klaas Pieter Hart

The existence of continuous not necessarily bounded solutions of nonlinear functional Volterra integral inclusions in infinite dimensional setting is shown with the aid of the measure of nonequicontinuity. New abstract topological fixed…

Classical Analysis and ODEs · Mathematics 2020-05-25 Radosław Pietkun

We prove two compactness results for function spaces with finite Dirichlet energy of half-space nonlocal gradients. In each of these results, we provide sufficient conditions on a sequence of kernel functions that guarantee the asymptotic…

Analysis of PDEs · Mathematics 2024-08-23 Zhaolong Han , Tadele Mengesha , Xiaochuan Tian

We prove a compact embedding theorem in a class of spaces of piecewise H1 functions subordinated to a class of shape regular, but not necessarily quasi-uniform triangulations of a polygonal domain. This result generalizes the…

Numerical Analysis · Mathematics 2013-03-01 Sheng Zhang