2 problems

0 votes0 replies1 view
Strong completeness of Abelian logic with infinitary rules for the integers
Let ${{\mathrm {Ab}}}+\rul{IDC}^\vee+\rul{Arch}^\vee$ denote the infinitary extension of Abelian logic by the rules $\rul{IDC}^\vee$ and $\rul{Arch}^\vee$ , and let $\alg{Z}$ be the…
Conjectureopenabelian-l-groups strong-completeness substructural-logicarXiv posted 2 days ago
0 votes0 replies0 views
Linear-growth conjecture for images of bounded sets under stochastic flows
Linear-growth conjecture. A drift with linear growth, together with globally Lipschitz noise, implies exponential growth of the image of a bounded set, or at least non-explosion.
Conjectureopenstochastic-differential-equations stochastic-flows strong-completenessarXiv posted 2 days ago

Strong completeness of Abelian logic with infinitary rules for the integers