Related papers: On Loeb and sequential spaces in $\mathbf{ZF}$

The shuffle of a non-empty countable set $ S $ of linear orders is the (unique up to isomorphism) linear order $ \Xi(S) $ obtained by fixing a coloring function $ \chi: \mathbb{Q} \to S $ having fibers dense in $ \mathbb{Q} $ and replacing…

We classify all continuous tensor product systems of Hilbert spaces which are ``infinitely divisible" in the sense that they have an associated logarithmic structure. These results are applied to the theory of E_0 semigroups to deduce that…

There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a…

We prove that any compact Berkovich space over the field of Laurent series over an arbitrary field is angelic. In particular, is it sequentially compact.

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the…

A Banach space $X$ is reflexive if the Mackey topology $\tau(X^*,X)$ on $X^*$ agrees with the norm topology on $X^*$. Borwein [B] calls a Banach space $X$ {\it sequentially reflexive\/} provided that every $\tau(X^*,X)$ convergent {\it…

We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces.

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

A topological space $X$ is called a topological fractal if $X=\bigcup_{f\in\mathcal F}f(X)$ for a finite system $\mathcal F$ of continuous self-maps of $X$, which is topologically contracting in the sense that for every open cover $\mathcal…

By definition, the intersection of finitely many open sets of any topological space is open. Nachbin observed that, more generally, the intersection of compactly many open sets is open. Moreover, Nachbin applied this to obtain elegant…

Stone space partitions $\{X_{p}\mid p\in P\}$ satisfying conditions like $\bar{X_{p}}=\bigcup_{q\leqslant p}X_{q}$ for all $p\in P$, where $P$ is a poset or PO system (poset with a distinguished subset), arise naturally in the study both of…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…

We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model…

It is shown that each pseudonorm defined on a subgroup $H$ of an abelian group $G$ can be extended to a pseudonorm on $G$ such that the densities of the obtained pseudometrizable topological groups coincide. We derive from this that any…

We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of…

We answer a question of S.~Todor\v{c}evi\'c and C.~Uzc\'ategui from \cite{TU1} by showing that the only possible sequential orders of sequential analytic groups are $1$ and $\omega_1$. Other results on the structure of sequential analytic…

Countable projective limits of countable inductive limits, so-called PLB-spaces, of weighted Banach spaces of continuous functions have recently been investigated by Agethen, Bierstedt and Bonet, who analyzed locally convex properties in…