相关论文: mu-complete Suslin trees on mu^+

We further investigate the class of models of a strongly dependent (first order complete) theory T, continuing math.LO/0406440. If |A|+|T|<= mu, I subseteq C, |I| >=beth_{|T|^+}(mu) then some J subseteq I of cardinality mu^+ is an…

We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems…

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.

In this paper, we present a complete characterization of mutual-visibility sets in trees. It is shown that a subset $S$ is a mutual-visibility set of a tree $T$ if and only if it coincides with the set of leaves of the Steiner subtree…

This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…

We prove that the genuine $C_{2^n}$-spectrum $N_{C_{2}}^{C_{2^n}}MU_{\mathbb{R}}$ is cofree, for all $n$. Our proof is a formal argument using chromatic hypercubes and the Slice Theorem of Hill, Hopkins, and Ravenel. We show that this gives…

Compounding submodular monotone (i.e. 2-alternating) set functions on a finite set preserves this property, as shown in 2010. A natural generalization to k-alternating functions was presented in 2018, however hardly readable because of page…

In a recent paper, Jin, Liu, and Xia \cite{JLX} presented some modulo 4 congruences for $\overline{spt2}(n)$, the number of smallest parts in the overpartitions of $n$ where the smallest part is even and is not overlined. In this paper, we…

We give explicit upper bounds for the coefficients of arbitrary weight $k$, level 2 cusp forms, making Deligne's well-known $O(n^{\frac{k-1}{2}+\epsilon})$ bound precise. We also derive asymptotic formulas and explicit upper bounds for the…

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…

We prove that if $\mu>{\rm cf}(\mu)=\omega$ and $2^\mu=\mu^+$ then $\binom{\mu^+}{\mu}\nrightarrow\binom{\mu^+\ \aleph_2}{\mu\ \mu}$.

We characterize those countable rooted trees whose full automorphism group has uncountable strong cofinality or contains an open subgroup with ample generics.

We show that the poset of non-trivial partitions of 1,2,...,n has a fundamental homology class with coefficients in a Lie superalgebra. Homological duality then rapidly yields a range of known results concerning the integral representations…

We study the periodic boundary value problem associated with the second order nonlinear differential equation $$ u" + c u' + \left(a^{+}(t) - \mu \, a^{-}(t)\right) g(u) = 0, $$ where $g(u)$ has superlinear growth at zero and at infinity,…

We present two new Ramanujan-type congruences modulo 5 for overpartition. We also give an affirmative answer to a conjecture of Dou and Lin, which includes four congruences modulo 25 for overpartition.

Fix a rectangular Young diagram R, and consider all the products of Schur functions s(mu) s(mu^c), where mu and mu^c run over all (unordered) pairs of partitions which are complementary with respect to R. Theorem: The self-complementary…

We give congruences modulo powers of 2 for the Fourier coefficients of certain level 2 modular functions with poles only at 0, answering a question posed by Andersen and the first author. The congruences involve a modulus that depends on…

Deligne proved that the weights of Siegel modular forms on any congruence subgroup of the Siegel modular group of genus g>1 must be integral or half integral. We give a different proof for this. It uses Mennicke's result that subgroups of…

We prove that the modular symbols appropriately normalized and ordered have a Gaussian distribution for all cofinite subgroups of SL_2(R). We use spectral deformations to study the poles and the residues of Eisenstein series twisted by…