English
Related papers

Related papers: Transferring saturation, the finite cover property…

200 papers

The first study of thermal conductivity, $\kappa$, in a quasi-two-dimensional organic superconductor of the $\kappa$-(BEDT-TTF)$_2$X family reveals features analogous to those already observed in the cuprates. The onset of superconductivity…

Superconductivity · Physics 2009-10-31 S. Belin , K. Behnia , A. Deluzet

We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are…

Logic · Mathematics 2025-04-28 Radek Honzik , Sarka Stejskalova

The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…

Logic · Mathematics 2012-05-07 Ioannis Souldatos

Recently (Phys. Lett. A302 (2002) 253, hep-th/0208210; hep-th/0403146) employing bounded infinite-dimensional representations of the rotation group we have argued that one can obtain the consistent monopole theory with generalized Dirac…

High Energy Physics - Theory · Physics 2010-11-19 Alexander I. Nesterov , F. Aceves de la Cruz

We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…

Logic · Mathematics 2007-05-23 Arthur W. Apter , James Cummings , Joel David Hamkins

We show that if M is a stable unsuperstable homogeneous structure, then for most kappa < |M|, the number of elementary submodels of M of power kappa is 2^kappa .

Logic · Mathematics 2008-02-03 Tapani Hyttinen , Saharon Shelah

Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…

Logic · Mathematics 2026-05-26 Fornasiero Antongiulio , Terzo Giuseppina

Many transition metal compounds show saturation of the resistivity at high temperatures, T, while the alkali-doped fullerenes and the high-Tc cuprates are usually considered to show no saturation. We present a model of transition metal…

Strongly Correlated Electrons · Physics 2009-11-07 M. Calandra , O. Gunnarsson

We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fr\'echet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not…

Logic · Mathematics 2024-01-24 Ben De Bondt , Ilijas Farah , Alessandro Vignati

For an inaccessible cardinal $\kappa$, the super tree property (ITP) at $\kappa$ holds if and only if $\kappa$ is supercomact. However, just like the tree property, it can hold at successor cardinals. We show that ITP holds at the successor…

Logic · Mathematics 2018-06-05 Sherwood Hachtman , Dima Sinapova

The heat conductivity kappa(T) of integrable models, like the one-dimensional spin-1/2 nearest-neighbor Heisenberg model, is infinite even at finite temperatures as a consequence of the conservation laws associated with integrability. Small…

Strongly Correlated Electrons · Physics 2009-11-11 P. Jung , R. W. Helmes , A. Rosch

We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^{LS(T)})^+-beth cardinal.

Logic · Mathematics 2009-09-25 Saharon Shelah

Transfer systems are combinatorial objects which classify $N_\infty$ operads up to homotopy. By results of A. Blumberg and M. Hill, every transfer system associated to a linear isometries operad is also saturated (closed under a particular…

Algebraic Topology · Mathematics 2021-09-20 Usman Hafeez , Peter Marcus , Kyle Ormsby , Angélica Osorno

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

Logic · Mathematics 2016-09-07 Ernest Schimmerling , John R. Steel

We hereby develop the theory of Turing instability for reaction-diffusion systems defined on complex networks assuming finite propagation. Extending to networked systems the framework introduced by Cattaneo in the 40's, we remove the…

Pattern Formation and Solitons · Physics 2025-10-22 Timoteo Carletti , Riccardo Muolo

A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and…

Logic · Mathematics 2012-04-17 John Goodrick , Michael C. Laskowski

Transport coefficients in Lorentz plasma with the power-law kappa-distribution are studied by means of using the transport equation and macroscopic laws of Lorentz plasma without magnetic field. Expressions of electric conductivity,…

Plasma Physics · Physics 2013-09-10 Jiulin Du

This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…

Logic · Mathematics 2012-04-09 M. Malliaris , S. Shelah

In the first part of the paper, we show that if $\omega \le \kappa < \lambda$ are cardinals, $\kappa^{<\kappa} = \kappa$, and $\lambda$ is weakly compact, then in $V[\M(\kappa,\lambda)]$ the tree property at $\lambda =…

Logic · Mathematics 2020-04-22 Radek Honzik , Sarka Stejskalova

We experimentally demonstrate continuous-variable quantum teleportation beyond the no-cloning limit. We teleport a coherent state and achieve the fidelity of 0.70$\pm$0.02 that surpasses the no-cloning limit of 2/3. Surpassing the limit is…

Quantum Physics · Physics 2009-11-11 Nobuyuki Takei , Hidehiro Yonezawa , Takao Aoki , Akira Furusawa