Related papers: Transferring saturation, the finite cover property…
From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed…
Stability and causality are studied for linear perturbations about equilibrium in Carter's multifluid theory. Our stability analysis is grounded on the requirement that the entropy of the multifluid, plus that of the environment, must be…
We study metastability and nucleation for the Blume-Capel model: a ferromagnetic nearest neighbour two-dimensional lattice system with spin variables taking values in -1,0,+1. We consider large but finite volume, small fixed magnetic field…
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 stable with OCP, then the…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
We address a problem connected to the unfolding semantics of functional programming languages: give a useful characterization of those infinite lambda-terms that are lambda_{letrec}-expressible in the sense that they arise as infinite…
In this paper we establish new characterizations of stable derivators, thereby obtaining additional interpretations of the passage from (pointed) topological spaces to spectra and, more generally, of the stabilization. We show that a…
We develop the theory of layered posets, and use the notion of layering to prove a new iteration theorem (Theorem 6): if $\kappa$ is weakly compact then any universal Kunen iteration of $\kappa$-cc posets (each possibly of size $\kappa$) is…
A permutation group $G$ on a set $A$ is ${\kappa}$-homogeneous iff for all $X,Y\in [A]^{\kappa}$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$. $G$ is ${\kappa}$-transitive iff for any injective function $f$…
We prove the following continuous analogue of Vaught's Two-Cardinal Theorem: if for some $\kappa>\lambda\geq \aleph_0$, a continuous theory $T$ has a model with density character $\kappa$ which has a definable subset of density character…
The generally accepted representation of $\kappa$-distributions in space plasma physics allows for two different alternatives, namely assuming either the temperature or the thermal velocity to be $\kappa$-independent. The present paper aims…
For $\kappa$ a cardinal, a space $X=(X,\sT)$ is $\kappa$-{\it resolvable} if $X$ admits $\kappa$-many pairwise disjoint $\sT$-dense subsets; $(X,\sT)$ is {\it exactly} $\kappa$-{\it resolvable} if it is $\kappa$-resolvable but not…
For transitive shifts of finite type, and more generally for shifts with specification, it is well-known that every equilibrium state for a Holder continuous potential has positive entropy as long as the shift has positive topological…
We consider transfer operators for topological Markov shift (TMS) with countable states and with holes which are $2$-cylinders. As main results, if the closed system of the shift has finitely irreducible transition matrix and the potential…
We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.
A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…
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 $\Gamma \curvearrowright \Omega$ be a measure-preserving action and $\mathcal{L} \Gamma \hookrightarrow L^\infty(\Omega) \rtimes \Gamma$ the natural inclusion of the group von Neumann algebra into the crossed product. When $\mu(\Omega)…
We consider a symmetric finite-range contact process on $\mathbb{Z}$ with two types of particles (or infections), which propagate according to the same supercritical rate and die (or heal) at rate $1$. Particles of type 1 can occupy any…
In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…