Related papers: Topoi with enough points

We show the existence of bilimits of 2-cofiltered diagrams of topoi, generalizing the construction of cofiltered bilimits developed in "SGA 4 Springer LNM 270 (1972)". For any given such diagram, we show that it can be represented by a…

We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a…

We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de…

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…

Let $K$ be a complete discretely valued field with the residue field $\kappa$. Assume that cohomological dimension of $\kappa$ is less than or equal to $1$ (for example, $\kappa$ is an algebraically closed field or a finite field). Let $F$…

Let A be a subset of positive relative upper density of P^d, the d-tuples of primes. We prove that A contains an affine copy of any finite set of lattice points E, as long as E is in general position in the sense that it has at most one…

While finite graphs have tree-decompositions that efficiently distinguish all their tangles, locally finite graphs with thick ends need not have such tree-decompositions. We show that every locally finite graph without thick ends admits…

In this research article, we discuss two topics. Firstly, we introduce SCC-Map and $\phi$-contraction type $T$-coupling. By using these two definitions, we generalize $\phi$-contraction type coupling given by H. Aydi et al. [3] to…

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably…

We show that there are locally compact spaces that can be condensed onto separable spaces but not onto compact separable spaces. We also show that for every cardinal $\kappa$ there is a locally compact topological group of cardinality…

Planar central configurations can be seen as critical points of the reduced potential or solutions of a system of equations. By the homogeneity and invariance of the potential with respect to SO(2), it is possible to see that the…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

In this paper, we prove that: if $\kappa$ is supercompact and the $\mathsf{HOD}$ Hypothesis holds, then there is a proper class of regular cardinals in $V_{\kappa}$ which are measurable in $\mathsf{HOD}$. Woodin also proved this result. As…

We show that there is no simple congruence formula for the number of points of the mod p reduction of a regular model of a smooth proper variety defined over a local field with $\ell$-adic cohomology supported in codimension $\ge \kappa$.

Several recent papers in digital topology have sought to obtain fixed point results by mimicking the use of tools from classical topology, such as complete metric spaces and homotopy invariant fixed point theory. We show that in many cases,…

In \cite{Kramer11} Kramer proves for a large class of semisimple Lie groups that they admit just one locally compact $\sigma$-compact Hausdorff topology compatible with the group operations. We present two different methods of generalising…

We define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups…

We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the…

We examine the analogues for the respective categories of locales of two well-known results about regularity and effectiveness of some categories of spaces. We show that the category of compact regular locales is effective regular…