Related papers: On centered local $\pi$-bases

We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature. We…

It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

A matching prior at level $1-\alpha$ is a prior such that an associated $1-\alpha$ credible set is also a $1-\alpha$ confidence set. We study the existence of matching priors for general families of credible regions. Our main result gives…

All spaces below are Tychonov. We define the projective pi-character p(X) of a space X as the supremum of the values $\pi\chi(Y)$ where Y ranges over all continuous images of X. Our main result says that every space X has a pi-base whose…

A non-empty subset $A$ of a topological space $X$ is called \emph{finitely non-Hausdorff} if for every non-empty finite subset $F$ of $A$ and every family $\{U_x:x\in F\}$ of open neighborhoods $U_x$ of $x\in F$, $\cap\{U_x:x\in…

A topological space $G$ is said to be a {\it rectifiable space} provided that there are a surjective homeomorphism $\phi :G\times G\rightarrow G\times G$ and an element $e\in G$ such that $\pi_{1}\circ \phi =\pi_{1}$ and for every $x\in G$…

When does a topological group $G$ have a Hausdorff compactification $bG$ with a remainder belonging to a given class of spaces? In this paper, we mainly improve some results of A.V. Arhangel'ski\v{\i} and C. Liu's. Let $G$ be a non-locally…

This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself becomes negligible. . To do this natural tree-theoretic…

Let $G$ be an infinite, connected, locally finite planar graph and consider i.i.d.\ Bernoulli$(p)$ site percolation. Write $p_c^{\mathrm{site}}(G)$ and $p_u^{\mathrm{site}}(G)$ for the critical and uniqueness thresholds. Using a…

We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies…

We prove that locally countably-compact Hausdorff topological groups $\mathbb{G}$ act continuously on their iterated joins $E_n\mathbb{G}:=\mathbb{G}^{*(n+1)}$ (the total spaces of the Milnor-model $n$-universal $\mathbb{G}$-bundles) as…

We prove a Hopf bifurcation theorem in general Banach spaces, which improves a classical result by Crandall and Rabinowitz. Actually, our theorem does not need any compactness conditions, which leads to wider applications. In particular,…

We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the…

For a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $\pi_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence…

The primary objective of this work is to construct spaces that are "pseudocompact but not countably compact," abbreviated as PNC, while endowing them with additional properties. First, motivated by an old problem of van Douwen, we construct…

We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these…

It is well-known that every non-isolated point in a compact Hausdorff space is the accumulation point of a discrete subset. Answering a question raised by Z. Szentmiklossy and the first author, we show that this statement fails for…

We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of…

We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our…