Related papers: Sequential order under CH
The countable condensation on a linear order $L$ is the equivalence relation $\sim_\omega$ defined by declaring $x \sim_\omega y$ when the set of points between $x$ and $y$ is countable. We characterize the linear orders $L$ that condense…
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…
We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $\omega_1$ and $-\omega_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration,…
This paper provides two extensions of first order logic by `$\omega$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $\omega$-logic,…
Combinatorial ideas are developed in this article to study Chern numbers on ample and numerically effective vector bundles. An effective lower bound for Chern numbers of ample vector bundles is established, which makes some progress towards…
For any continuous self-map of a compact metric space, we provide sufficient conditions under which the infinite direct product of the map is $\omega$-chaotic. We also apply the result to obtain some examples of unusual $\omega$-chaotic…
In this paper, we introduce a class of $(P, \omega)$-partitions that we call periodic $(P, \omega)$-partitions, then prove that such $(P, \omega)$-partitions satisfy a homogeneous first-order matrix difference equation. After defining an…
In this note we consider a question of Ono, concerning which spaces of classical modular forms can be generated by sums of $\eta$-quotients. We give some new examples of spaces of modular forms which can be generated as sums of…
The kernel of composition operator $C_T$ on Orlicz-Sobolev space is obtained. Using the kernel, a necessary and a sufficient condition for injectivity of composition operator $C_T$ has been established. Composition operators on…
An order relation for contractions on a Hilbert space can be introduced by stating that $A\preccurlyeq B$ if and only $A$ is unitarily equivalent to the restriction of $B$ to an invariant subspace. We discuss the equivalence classes…
Composite basis functions for pyramidal elements on the spaces $H^1(\Omega)$, $H(\mathrm{curl},\Omega)$, $H(\mathrm{div},\Omega)$ and $L^2(\Omega)$ are presented. In particular, we construct the lowest-order composite pyramidal elements and…
While the classic separable quotient problem remains open, we survey general results related to this problem and examine the existence of a particular infinitedimensional separable quotient in some Banach spaces of vector-valued functions,…
We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find…
We consider continuous structures which are obtained from finite dimensional Hilbert spaces over $\mathbb{C}$ by adding some unitary operators. Quantum automata and circuits are naturally interpretable in such structures. We consider…
Let F(X,n):= X^n-\Delta be the complementary of the union \Delta of the diagonals of X^n and let U be a quotient of F(X,n) (possibly trivial) by a subgroup of the symmetric group S_n. We construct compactifications of U in products of…
We develop an analog to the ends of a metric space for the category of coarse metric spaces and show that it is equivalent to a previously defined coarse invariant.
We propose a construction of separated quotient space and apply this construction for simple description of Study-Semple-Satake-Furstenberg-De Concini-Procesi-Oshima boundary of symmetric space
Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…
Let O be a maximal order in a totally indefinite quaternion algebra over a totally real number field. In this note we study the locus Q_O of quaternionic multiplication by O in the moduli space A_g of principally polarized abelian varieties…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…