相关论文: $\mu$-complete Souslin trees on $\mu^+$
We introduce the notion of totally reflexive extension of rings. It unifies Gorenstein orders and Frobenius extensions. We prove that for a totally reflexive extension, a module over the extension ring is totally reflexive if and only if…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
We study the positive subharmonic solutions to the second order nonlinear ordinary differential equation \begin{equation*} u'' + q(t) g(u) = 0, \end{equation*} where $g(u)$ has superlinear growth both at zero and at infinity, and $q(t)$ is…
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…
We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both cases. Our algorithm is based on tree automata and a new…
We give sufficient conditions for the tautness of a transversely homogenous foliation defined on a compact manifold, by computing its base-like cohomology. As an application, we prove that if the foliation is non-unimodular then either the…
We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C \subseteq K if, and only if, there exists a transduction {\tau} such that C\subseteq{\tau}(K).…
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…
In this paper we make a partial progress on the following conjecture: for every $\mu>0$ and large enough $n$, every Steiner triple system $S$ on at least $(1+\mu)n$ vertices contains every hypertree $T$ on $n$ vertices. We prove that the…
Let $\mu$ be a strong limit singular cardinal. We prove that if $2^{\mu} > \mu^+$ then $\binom{\mu^+}{\mu}\to \binom{\tau}{\mu}_{<{\rm cf}(\mu)}$ for every ordinal $\tau<\mu^+$. We obtain an optimal positive relation under $2^\mu = \mu^+$,…
It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…
In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…
Our main result (Theorem 1) suggests a possible dividing line ($\mu$-superstable $+$ $\mu$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of…
Given a von Neumann algebra $M$ with a faithful normal semi-finite trace $\tau,$ we consider the non commutative Arens algebra $L^{\omega}(M, \tau)=\bigcap\limits_{p\geq1}L^{p}(M, \tau)$ and the related algebras $L^{\omega}_2(M,…
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…
A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…
This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof…
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 show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.
We prove the existence of positive solutions for a class of semipositone problem with singular Trudinger-Moser nonlinearities. The proof is based on compactness and regularity arguments.