Related papers: Mazur intersection property for Asplund spaces
Given an ideal $I$ on $\omega$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[{\omega}]^{\omega}$, and denote $b_I$ and$d_I$ the unbounding and dominating…
For metrizable spaces we replace the notion of almost periodic homeomorphism with a similar notion and verify that the usual characterizations of almost periodic homeomorphisms of compact metric spaces are valid for all metrizable spaces.
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
We study algebraic structure of the $\lambda$-polycyclic monoid $P_{\lambda}$ and its topologizations. We show that the $\lambda$-polycyclic monoid for an infinite cardinal $\lambda\geqslant 2$ has similar algebraic properties so has the…
This paper extends the known characterization of interpolation and sampling sequences for Bergman spaces to the mixed-norm spaces. The Bergman spaces have conformal invariance properties not shared by the mixed-norm spaces. As a result,…
It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…
We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and…
We introduce a weak asymptotic version of nonlinear contraction, termed \emph{asymptotic pointwise contraction}. For a mapping on a metric space, this notion requires the existence of a sequence of functions that dominate the distances…
In this paper, we approach the question if some of the separation axioms are equivalent in the class of asymmetric normed spaces. In particular, we make a remark on a known theorem which states that every $T_1$ asymmetric normed space with…
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…
We establish the undecidability of conditional affine information inequalities, the undecidability of the conditional independence implication problem with a constraint that one random variable is binary, and the undecidability of the…
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…
We show using a proof of the Global Square property in Core Models below a measurable of Mitchell order o(kappa)=kappa^++ (a result originally due to Jensen & Zeman) that Foreman and Magidor's Mutual Stationarity property MS(Aleph_n…
Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…
Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{\'a}sz, Szegedy and Razborov, Hatami and Norine proved that…
This paper investigates the asymptotic behavior of the Helmholtz free energy of mixtures at small compressibility. We start from a general representation for the local free energy that is valid in stable subregions of the phase diagram. On…
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…
In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…
In this paper, we show that the presence of the Archimedean and the mixture-continuity properties of a binary relation, both empirically non-falsifiable in principle, foreclose the possibility of consistency (transitivity) without…