English
Related papers

Related papers: Transferring saturation, the finite cover property…

200 papers

We prove that: I. If $L$ is a $T_1$ space, $|L|>1$ and $d(L) \leq \kappa \geq \omega$, then there is a submaximal dense subspace $X$ of $L^{2^\kappa}$ such that $|X|=\Delta(X)=\kappa$; II. If $\frak{c}\leq\kappa=\kappa^\omega<\lambda$ and…

General Topology · Mathematics 2023-10-03 Anton Lipin

After the main gap theorem was proved (see [Sh:c]), in discussion, Harrington expressed a desire for a finer structure - of finitary character (when we have a structure theorem at all). I point out that the logic L_{infty,aleph_0}(d.q.)…

Logic · Mathematics 2016-09-06 Saharon Shelah

Asymptotic hyperstability is achievable under certain switching laws if at least one of the feed-forward parameterization: 1) possesses a strictly positive real transfer function, 2) a minimum residence time interval is respected for each…

Systems and Control · Computer Science 2013-09-24 M. De la Sen , A. Ibeas , S. Alonso-Quesada

In this paper we prove: Theorem 1. Let $\mathcal{K}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\lambda>\mu\geq LS(\mathcal{K})$ and $\theta$ is a limit ordinal $<\lambda^+$. If…

Logic · Mathematics 2015-12-31 Monica M. VanDieren

We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong…

Logic · Mathematics 2021-09-29 Miguel Moreno

We present the temperature dependence of the thermal conductivity kappa(T) of the unconventional superconductor Sr_2RuO_4 down to low temperatures (100 mK). In T -> 0 K limit we found a finite residual term in kappa/T, providing clear…

Superconductivity · Physics 2009-11-07 M. Suzuki , M. A. Tanatar , N. Kikugawa , Z. Q. Mao , Y. Maeno , T. Ishiguro

In this paper we explore the representation property over sets. This property generalizes constructibility, however is weak enough to enable us to prove that the class of theories $T$ whose models are representable is exactly the class of…

Logic · Mathematics 2009-06-18 Moran Cohen , Saharon Shelah

Continuing our investigation into the Hierarchical Reference Theory of fluids for thermodynamic states of infinite isothermal compressibility kappa[T] we now turn to the available numerical evidence to elucidate the character of the partial…

Statistical Mechanics · Physics 2007-05-23 Albert Reiner , Gerhard Kahl

We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple…

Logic · Mathematics 2022-05-10 Itay Kaplan , Nicholas Ramsey , Saharon Shelah

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

Logic · Mathematics 2020-01-16 Alejandro Poveda

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

Logic · Mathematics 2019-01-18 P. D. Welch

We introduce the {\em $\mu$-topological stability}. This is a type of stability depending on the measure $\mu$ different from the set-valued approach \cite{lm}. We prove that the map $f$ is $m_p$-topologically stable if and only if $p$ is a…

Dynamical Systems · Mathematics 2025-10-28 Keonhee Lee , Seunghee Lee , C. A. Morales

We consider a transmission problem where a structurally damped plate equation is coupled with a damped or undamped wave equation by transmission conditions. We show that exponential stability holds in the damped-damped situation and…

We characterize stable T for which the model completion of T_{aut} is stable (i.e., every completion is). Then we prove that ``some completion is stable'' is different and we characterize it. Finally we show that if T is stable, T_{aut} has…

Logic · Mathematics 2007-05-23 Saharon Shelah

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Logic · Mathematics 2020-10-01 Sean Cox , Monroe Eskew

After small forcing, any < kappa-closed forcing will destroy the supercompactness, even the strong compactness, of kappa .

Logic · Mathematics 2008-02-03 Joel David Hamkins , Saharon Shelah

We study the continuous reducibility of isomorphism relations in the space of regresive functions in $\kappa^\kappa$. We show for inaccessible $\kappa$, that if $\mathcal{T}$ is a theory with less than $\kappa$ non-isomorphic models of size…

Logic · Mathematics 2026-05-26 Ido Feldman , Miguel Moreno

This paper focuses on using the first curvature $\kappa(t)$ of trajectory to describe the stability of linear time-invariant system. We extend the results for two and three-dimensional systems [Y. Wang, H. Sun, Y. Song et al.,…

Optimization and Control · Mathematics 2018-12-19 Yuxin Wang , Huafei Sun , Shoudong Huang , Yang Song

We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…

Logic · Mathematics 2026-03-27 Yair Hayut , Alejandro Poveda

In a countable superstable NDOP theory, the existence of a rigid aleph_epsilon-saturated model implies the existence of 2^lambda rigid aleph_epsilon-saturated models of power lambda for every lambda>2^{aleph_0}.

Logic · Mathematics 2007-05-23 Ziv Shami , Saharon Shelah