中文
相关论文

相关论文: Strong downward L\"owenheim-Skolem theorems for st…

200 篇论文

We consider the stationary (time-independent) Navier-Stokes equations in the whole threedimensional space, under the action of a source term and with the fractional Laplacian operator (--$\Delta$) $\alpha$/2 in the diffusion term. In the…

偏微分方程分析 · 数学 2024-05-16 Oscar Jarrín , Gastón Vergara-Hermosilla

We show that PLDR-LLMs pretrained at self-organized criticality exhibit reasoning at inference time. The characteristics of PLDR-LLM deductive outputs at criticality is similar to second-order phase transitions. At criticality, the…

人工智能 · 计算机科学 2026-03-26 Burc Gokden

We show that the definition of a second order superintegrable system on a (pseudo-)Riemannian manifold gives rise to a conformally invariant notion of superintegrability. Conformal equivalence is the natural extension of the well-known…

微分几何 · 数学 2025-05-09 Jonathan Kress , Konrad Schöbel , Andreas Vollmer

Motivated by results of Bagaria, Magidor and V\"a\"an\"anen, we study characterizations of large cardinal properties through reflection principles for classes of structures. More specifically, we aim to characterize notions from the lower…

逻辑 · 数学 2021-12-09 Philipp Lücke

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

逻辑 · 数学 2024-09-06 Marcos Mazari-Armida , Sebastien Vasey , Wentao Yang

The stable core, an inner model of the form $\langle L[S],\in, S\rangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study…

逻辑 · 数学 2019-10-08 Sy-David Friedman , Victoria Gitman , Sandra Müller

Bounded stationary reflection at a cardinal $\lambda$ is the assertion that every stationary subset of $\lambda$ reflects but there is a stationary subset of $\lambda$ that does not reflect at arbitrarily high cofinalities. We produce a…

逻辑 · 数学 2015-05-14 Chris Lambie-Hanson

We demonstrate that modulation of the local strength of the cubic self-focusing (SF) nonlinearity in the two-dimensional (2D) geometry, in the form of a circle with contrast $\Delta g$ of the SF coefficient relative to the ambient medium…

斑图形成与孤子 · 物理学 2016-04-13 Hidetsugu Sakaguchi , Boris A. Malomed

We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that $\Pi_n$-strong cardinals, and, as a corollary, ``Ord is Woodin" and weak Vop\v{e}nka's Principle, are…

逻辑 · 数学 2025-05-22 Will Boney , Jonathan Osinski

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…

逻辑 · 数学 2017-11-17 Gunter Fuchs , Assaf Rinot

In this work, a convergence lemma for function $f$ being finite compositions of analytic mappings and the maximum operator is proved. The lemma shows that the set of $\delta$-stationary points near an isolated local minimum point $x^*$ is…

计算机科学与博弈论 · 计算机科学 2022-08-12 Xiaotie Deng , Hanyu Li , Ningyuan Li

This paper extends some results on the S-Lemma proposed by Yakubovich and uses the improved results to investigate the asymptotic stability of a class of switched nonlinear systems. Firstly, the strict S-Lemma is extended from quadratic…

最优化与控制 · 数学 2014-03-06 Kuize Zhang , Lijun Zhang , Fuchun Sun

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

逻辑 · 数学 2016-09-20 Nam Trang , Trevor Wilson

IN-DNLS, considered here is a countable infinite set of coupled one dimensional nonlinear ordinary differential difference equations with a tunable nonlinearity parameter, $\nu$. This equation is continuous in time and discrete in space…

斑图形成与孤子 · 物理学 2007-05-23 K. Kundu

We study solutions, with scaling-invariant bounds, to the steady simplified Ericksen-Leslie system in $\mathbb{R}^n\setminus \{0\}$. When $n=2$, we construct and classify a class of self-similar solutions. When $n\ge 3$, we establish the…

偏微分方程分析 · 数学 2025-02-11 Jeaheang Bang , Changyou Wang

We present a model-theoretic property of finite structures, that can be seen to be a finitary analogue of the well-studied downward L\"owenheim-Skolem property from classical model theory. We call this property as the…

计算机科学中的逻辑 · 计算机科学 2017-05-15 Abhisekh Sankaran

We prove boundedness and inverse logarithmic decay in time of solutions to the Teukolsky equations on Schwarzschild-Anti-de Sitter backgrounds with standard boundary conditions originating from fixing the conformal class of the non-linear…

广义相对论与量子宇宙学 · 物理学 2024-08-06 Olivier Graf , Gustav Holzegel

Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given…

群论 · 数学 2026-02-27 Pedro Lourenço

We prove a threshold-sharp stability theory for the conformal scalar-curvature sector on zero-curvature Carter backgrounds. The main result is a fully closed bounded-slab theorem: the reflecting evolution is constructed, the conserved…

偏微分方程分析 · 数学 2026-05-19 Bobby Eka Gunara

This paper studies limit measures of stationary measures of stochastic ordinary differential equations on the Euclidean space and tries to determine which invariant measures of an unperturbed system will survive. Under the assumption for…

动力系统 · 数学 2022-01-28 Tianyuan Xu , Lifeng Chen , Jifa Jiang