Related papers: Continuous cofinal maps on ultrafilters

In this paper, we characterize the possible cofinalities of the least $\lambda$-strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $\delta$, that carries a $\lambda$-complete uniform ultrafilter, it is…

We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem,…

We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

This article introduces an algorithm to compute the persistent homology of a filtered complex with various coefficient fields in a single matrix reduction. The algorithm is output-sensitive in the total number of distinct persistent…

In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility.…

We prove that if E a subset of an n-dimensional manifold, then every continuous R^n-valued map on E that is zero-free on the interior of E can be approximated in the fine topology, and hence, in particular, in the uniform topology, by a…

We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…

Let $M$ be a compact Riemannian manifold. The set $\text{F}^{r}(M)$ consisting of sequences $(f_{i})_{i\in\mathbb{Z}}$ of $C^{r}$-diffeomorphisms on $M$ can be endowed with the compact topology or with the strong topology. A notion of…

We generalize the results from "P. Lipparini, Productive $[\lambda,\mu]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for…

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…

In this paper, we study the Melnikov's persistence for completely degenerate Hamiltonian systems with the following Hamiltonian \begin{equation*} H(x,y,u,v)=h(y)+g(u,v)+\varepsilon P(x,y,u,v),~~~(x,y,u,v)\in \mathbb{T}^n\times{G}\times…

Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…

We give a simplified and more algebraic proof of the finiteness of the families of Calabi-Yau n-folds with non-vanishing of Yukawa-coupling over a fixed base curve and with fixed degeneration locus. We also give a generalization of this…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

We prove that solutions $u$ of the equation $f=u-u\circ T$ are automatically Holder continuous when $f$ is Holder continuous, and $T$ is non uniformly expanding and Markov. This result applies in particular to Young towers and to…

By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…

In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model…