相关论文: Strong downward L\"owenheim-Skolem theorems for st…
It is shown that a Stallings--Swan theorem holds in a totally disconnected locally compact (= t.d.l.c.) context (cf. Thm. B). More precisely, a compactly generated $\mathcal{CO}$-bounded t.d.l.c. group $G$ of rational discrete cohomological…
Local-order-invariant (first-order) logic is an extension of first-order logic where formulae have access to a ternary local order relation on the Gaifman graph, provided that the truth value does not depend on the specific order relation…
We show that if $cf(2^{\aleph_0})=\aleph_1,$ then any non-trivial $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ is forcing equivalent to $Add(\aleph_1, 1),$ the Cohen forcing for adding a new Cohen subset of $\omega_1.$ We…
In this article, we will characterize regular points respectively by the local vanishing, positivity of the Ricci curvature and $L^2$-solvability of the $\overline\partial$-equation together with Skoda's theorem for Nadel-Lebesgue…
It was previously shown by Davis and Drusvyatskiy that every Clarke critical point of a generic, semialgebraic (and more generally definable in an o-minimal structure), weakly convex function is lying on an active manifold and is either a…
A new definition of analytic adjoint ideal sheaves for quasi-plurisubharmonic (quasi-psh) functions with only neat analytic singularities is studied and shown to admit some residue short exact sequences which are obtained by restricting…
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…
We consider nonlinear optimization problems with cardinality constraints. Based on a continuous reformulation we introduce second order necessary and sufficient optimality conditions. Under such a second order condition, we can guarantee…
Current reasoning paradigms for LLMs include chain-of-thought, ReAct, and post-hoc self-critique. These paradigms rely on two assumptions that fail on long-horizon, multi-stage tasks. As a result, errors accumulate silently across reasoning…
A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…
We analyse four-dimensional gravity in the presence of general curvature squared corrections and show that Ehlers' SL(2,R) symmetry, which appears in the reduction of standard gravity to three dimensions, is preserved by the correction…
We prove that the solutions to the discrete Nonlinear Schr\"odinger Equation (DNLSE) with non-local algebraically-decaying coupling converge strongly in $L^2(\mathbb{R}^2)$ to those of the continuum fractional Nonlinear Schr\"odinger…
Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…
For the study of some typical problems in finance and economics, \v{Z}itkovi\'{c} %[G. \v{Z}itkovi\'{c}, Convex compactness and its applications, Math. Finan. Eco., 3(1)(2010) 1--12] introduced convex compactness and gave many remarkable…
We study the Hausdorff dimension of self-similar sets and measures on the line. We show that if the dimension is smaller than the minimum of 1 and the similarity dimension, then at small scales there are super-exponentially close cylinders.…
Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains a major open problem in proof complexity. We shed new light on this challenge by isolating the power of structural rules,…
We prove the existence of local constancy phenomena for reductions in a general prime power setting of two-dimensional irreducible crystalline representations. Up to twist, these representations depend on two parameters: a trace $a_p$ and a…
In this paper we establish several invariant boundary versions of the (infinitesimal) Schwarz-Pick lemma for conformal pseudometrics on the unit disk and for holomorphic selfmaps of strongly convex domains in $\mathbb C^N$ in the spirit of…
We investigate the non-perturbative stability of asymptotically anti-de Sitter gravity coupled to tachyonic scalar fields with mass saturating the Breitenlohner-Freedman bound. Such "designer gravity" theories admit a large class of…
We study projective stationary sets. The Projective Stationary Reflection principle is the statement that every projective stationary set contains an increasing continuous $\in$--chain of length $\omega_1$. We show that if Martin's Maximum…