Related papers: Fodor space in generalized descriptive set theory
We study the general form of isomorphisms on the algebra of compactly supported complex-valued continuous functions defined on a locally compact Hausdorff space (the proof of which works for the algebra of $C^k-$differentiable functions on…
We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $\tau^*$ of the natural topology of the real line $\mathbb{R}$ with properties such…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…
Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a natural candidate which behaves well on sufficiently…
We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection…
Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is…
We study CAT(kappa) spaces X admitting affine functions. We show that there exists a canonical isometric embedding X -> Y x H where H is a Hilbert space, such that every affine function f: X -> R factors as f'o p, where p is the projection…
We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned sets as subdistribution matrices which preserve the…
An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…
We construct discrete versions of $\kappa$-Minkowski space related to a certain compactness of the time coordinate. We show that these models fit into the framework of noncommutative geometry in the sense of spectral triples. The dynamical…
If $X$ is a topological space and $\kappa$ is a cardinal then $\mathsf{BA}_\kappa (X)$ is the statement that for each pair $A, B \subseteq X$ of $\kappa$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In…
Let $\Gamma$ be a discrete countable group acting isometrically on a measurable field $\mathbf{X}$ of CAT(0)-spaces of finite telescopic dimension over some ergodic standard Borel probability $\Gamma$-space $(\Omega,\mu)$. If $\mathbf{X}$…
Necessary and sufficient conditions for reducidibility of a self-adjoint linear relation in a Krein space are given. Then a generalized Nevanlinna function $Q$, represented by a self-adjoint linear relation $A$, is decomposed by means of…
For $\kappa$ a cardinal, a space $X=(X,\sT)$ is $\kappa$-{\it resolvable} if $X$ admits $\kappa$-many pairwise disjoint $\sT$-dense subsets; $(X,\sT)$ is {\it exactly} $\kappa$-{\it resolvable} if it is $\kappa$-resolvable but not…
Given an irreducible non-spherical non-affine (possibly non-proper) building $X$, we give sufficient conditions for a group $G < \Aut(X)$ to admit an infinite-dimensional space of non-trivial quasi-morphisms. The result applies to all…
A topological space $X$ is said to be an Ascoli space if any compact subset $K$ of $C_k(X)$ is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the $k_R$-property and the Ascoli property of…
Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.