相关论文: Characterizing aleph_epsilon-saturated models of s…

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}.

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…

Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…

We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other

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…

Assume a complete superstable theory is superstable, and let P be a class of regular types, typically closed under automorphisms of the monster and non-orthogonality. We define the notion of P-NDOP and prove the existence of…

We study aleph_0-stable theories, and prove that if T either has eni-DOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of lambda-Borel completeness and prove that such theories are…

Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…

In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.

Let $\mathcal F$ be a saturated fusion system on a finite $p$-group $S$, and let $P$ be a strongly $\mathcal F$-closed subgroup of $S$. We define the concept ``$\mathcal F$-essential subgroups with respect to $P$" which are some proper…

Let $X$ be a compact complex manifold of dimension $k$ and $f:X \longrightarrow X$ be a dominating meromorphic map. We generalize the notion of topological entropy, by defining a quantity $h_{(m,l)}^{top}(f)$ which measures the action of…

Part I: We would like to generalize imaginary elements, weight of ${\rm ortp}(a,M,N),{\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [Sh:c, Ch.III,V,\S4] to the context of good frames. This requires allowing the vocabulary to…

We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\hbox{NS} \upharpoonright A$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of…

Given $0\leq\alpha<1$, we define \[\begin{array}{lr} \mathbf{M}_\alpha f(u,v,t) = \sup_{ \mathbf{R} \ni (0,0,0)} {\rm vol} \{\mathbf{R}\}^{\alpha-1} \iiint_\mathbf{R}\left|f [(u,v,t)\odot(\xi,\eta,\tau)^{-1}]\right|d\xi d\eta d\tau…

We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N,…

We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{\omega_1,\omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language…

Our aim was to generalize some theorems about the saturation of ultra-powers to reduced powers. Naturally, we deal via saturation for types consisting of atomic formulas. We succeed to generalize the theory of dense linear is maximal and so…

Let $(\Omega,\Sigma,\mu)$ be a measure space and $1< p < +\infty$. In this paper we show that, under quite general conditions, the set $L_{p}(\Omega) - \bigcup\limits_{1 \leq q < p}L_{q}(\Omega)$ is maximal spaceable, that is, it contains…

Given an energy-dissipating port-Hamiltonian system, we characterise the exponential decay of the energy via the model ingredients under mild conditions on the Hamiltonian density $\mathcal{H}$. In passing, we obtain generalisations for…