相关论文: A proof of Shelah's recent partition theorem

Assuming that $0^\dagger$ does not exist, we prove that if there is a partition of $\mathbb R$ into $\aleph_\omega$ Borel sets, then there is also a partition of $\mathbb R$ into $\aleph_{\omega+1}$ Borel sets.

For a partition $\nu$, let $\lambda,\mu\subseteq \nu$ be two distinct partitions such that $|\nu/\lambda|=|\nu/\mu|=1$. Butler conjectured that the divided difference…

The general subject considered in this thesis is a recently discovered coding technique, polar coding, which is used to construct a class of error correction codes with unique properties. In his ground-breaking work, Ar{\i}kan proved that…

In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a…

For a partition {\lambda} and a prime p, we prove a necessary and sufficient condition for there exists a composition {\delta} such that {\delta} can be obtained from {\lambda} after rearrangement and all the partial sums of {\delta} are…

We give a counting based proof of the Graham Pollak Theorem

It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…

In this paper, we give a new and efficient algebraic criterion for the pure as well as non-pure shellability of simplicial complex $\Delta$ over [n]. We also give an algebraic characterization of a leaf in a simplicial complex (defined in…

We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.

The main results of this paper (a) extend the finite Ramsey partition theorem, and (b) employ this extension to obtain a stronger form of the infinite Nash-Williams partition theorem, and also a new proof of Ellentuck's, and hence…

We consider $(<\lambda)$-support iterations of a version of $(<\lambda)$-strategically complete $\lambda^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by…

We prove an identity about partitions, previously conjectured in the study of shifted Jack polynomials (math.CO/9903020). The proof given is using $\lambda$-ring techniques. It would be interesting to obtain a bijective proof.

The investigation of partitions of integers plays an important role in combinatorics and number theory. Among the many variations, partitions into powers $0<\alpha<1$ were of recent interest. In the present paper we want to extend our…

We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{\mu^+}_\mu$ (for any regular, uncountable cardinal $\mu$).

We show that the Theorem of Bobadilla and Pe{\l}ka implies a non-isolated version for aligned hyper surface singularities.

Self-testing refers to the phenomenon that certain extremal quantum correlations (almost) uniquely identify the quantum system under consideration. For instance observing the maximal violation of the CHSH inequality certifies that the two…

In the case of monotone independence, the transparent understanding of the mechanism to validate the central limit theorem (CLT) has been lacking, in sharp contrast to commutative, free and Boolean cases. We have succeeded in clarifying it…

In this paper, we use our results concerning temporal foliations of causal sets in order to provide a new proof of Geroch's Theorem on temporal foliations in a globally hyperbolic spacetime.

In this paper, we present an alternative and elementary proof of a sharp version of the classical boundary Schwarz lemma by Frolova et al. with initial proof via analytic semigroup approach and Julia-Carath\'eodory theorem for univalent…

We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…