Related papers: On some problems in general topology
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…
We extend the applications of the techniques used in Arch Math Logic 52:261-278, 2013, to present various examples of consistency results where some cardinal invariants of the continuum take arbitrary regular values with the size of the…
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
Assuming the consistency of ZFC with appropriate large cardinal axioms we produce a model of ZFC where $\aleph_\omega$ is a strong limit cardinal and the inner model $L(\mathcal{P}(\aleph_\omega))$ satisfies the following properties: (1)…
We generalize the Fenchel theorem to strong spacelike (which means that the tangent vector and the curvature vector span a spacelike 2-plane at each point) closed curves with index 1 in the 3-dimensional Lorentz space, showing that the…
Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that…
This paper clarifies some aspects of Lorentzian topology change, and it extends to a wider class of spacetimes previous results of Geroch and Tipler that show that topology change is only to be had at a price. The scenarios studied here are…
We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…
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…
The inequality $|X| \leq 2^{\chi(X)}$ has been proved to be true for Lindel\"of spaces (Arhangel'ski\u\i, 1969), $H$-closed spaces (Dow-Porter, 1982) and ccc spaces (Hajnal-Ju\'asz 1967), by quite different arguments. We present a common…
We solve a well--known problem in the theory of compact scattered spaces and superatomic boolean algebras by showing that, under GCH and for each regular cardinal $\kappa \geq \omega$, there is a poset $\mathcal P_\kappa$ preserving all…
We generalize the Fenchel theorem for strong spacelike closed curves of index $1$ in the 3-dimensional Minkowski space, showing that the total curvature must be less than or equal to $2\pi$. Here strong spacelike means that the tangent…
We prove the consistency of: if B_1, B_2 are Boolean algebra satisfying the c.c.c. and the 2^{aleph_0}-c.c. respectively then B_1 x B_2 satisfies the 2^{aleph_0}-c.c.
Although Berkovich spaces may fail to be metrizable when defined over too big a field, we prove that a large part of their topology can be recovered through sequences: for instance, limit points of subsets are actual limits of sequences and…
We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property…
Tkachuk and Wilson proved that a regular first countable cellular-compact space has cardinality not exceeding the continuum. In the same paper they asked if this result continues to hold for Hausdorff spaces. Xuan and Song considered the…
We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported $C^2$ functions in dimension $2$, inspired by the symplectic geometry proof method of Viterbo, which avoids…
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
Monk asks (problems 13, 15 in his list; pi is the algebraic density):''For a Boolean algebra B, aleph_0 <= theta <= pi (B), does B have a subalgebra B' with pi (B')= theta ?'' If theta is regular the answer is easily positive, we show that…