相关论文: Unbounded towers and the Michael line topology

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces satisfying all the axioms of GLP are…

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

In this paper we show that it is relatively consistent with ZFC that every gamma-set is countable while not every strong measure zero set is countable. This answers a question of Paul Szeptycki. A set is a gamma-set iff every omega-cover…

We show that: 1. Rothberger bounded subgroups of sigma-compact groups are characterized by Ramseyan partition relations. 2. For each uncountable cardinal $\kappa$ there is a ${\sf T}_0$ topological group of cardinality $\kappa$ such that…

Polymodal provability logic GLP is incomplete w.r.t. Kripke frames. It is known to be complete w.r.t. topological semantics, where the diamond modalities correspond to topological derivative operations. However, the topologies needed for…

We solve a long standing question due to Arhangel'skii by constructing a compact space which has a $G_\delta$ cover with no continuum-sized ($G_\delta$)-dense subcollection. We also prove that in a countably compact weakly Lindel\"of normal…

In this work, we prove the existence of a third embedded minimal hypersurface spanning a closed submanifold $\gamma$ contained in the boundary of a compact Riemannian manifold with convex boundary, when it is known a priori the existence of…

Consider the following property of a topological group G: every continuous affine G-action on a Hilbert space with a bounded orbit has a fixed point. We prove that this property characterizes amenability for locally compact sigma-compact…

We develop a formalism that allows us to describe Markov compacta with finite sets of diagrams that are building blocks of the entire sequence. This encodes complex, continuous spaces with discrete collections of combinatorial objects. We…

Topology in momentum space is the main characteristics of the ground states of a system at zero temperature, the quantum vacua. The gaplessness of fermions in bulk, on the surface or inside the vortex core is protected by topology.…

A topological group $G$ is called an $M_\omega$-group if it admits a countable cover $\K$ by closed metrizable subspaces of $G$ such that a subset $U$ of $G$ is open in $G$ if and only if $U\cap K$ is open in $K$ for every $K\in\K$. It is…

A formalism is presented to construct a non-perturbative Grand Unified Theory when gravitational Planck-scale phenomena are included. The fundamental object on the Planck scale is the three-torus T^3 from which the known properties of…

A topological mechanism is a zero elastic-energy deformation of a mechanical structure that is robust against smooth changes in system parameters. Here, we map the nonlinear elasticity of a paradigmatic class of topological mechanisms onto…

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an…

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

We introduce the method of topological quantization for gravitational fields in a systematic manner. First we show that any vacuum solution of Einstein's equations can be represented in a principal fiber bundle with a connection that takes…

Let $\Gamma$ be a finitely generated group acting properly discontinuously by isometries on a visibility CAT(0) space $X$ that satisfies the bounded packing property. We prove that $\Gamma$ satisfies the Tits alternative: it is either…

Let L be a Lie group and Lambda a lattice in L. Suppose G is a non-compact simple Lie group realized as a Lie subgroup of L, and the image of G on L/Lambda is dense. Let c be a diagonalizable element of G not contained in a compact…