Related papers: Constructing strongly equivalent nonisomorphic mod…

Let $(X,\dist)$ be a complete metric space and let $C\subseteq X$ be a closed invariant set. We study fixed points of maps $T\colon C\to C$ governed by a \emph{verifiable} contractive modulus. The modulus is encoded by a contractive gauge…

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…

A new class of semi-implicit numerical schemes for linear advection equation on Cartesian grids is derived that is inspired by so-called $\kappa$-schemes used with fully explicit discretizations for this type of problems. Opposite to fully…

Suppose t = (T,T_1, p) is a triple of two theories T subset T_1 in vocabularies tau subset tau_1 (respectively) of cardinality lambda and a tau_1-type p over the empty set; in the main case here is with T stable. We show the Hanf number for…

We introduce an axiomatisation of when a model of the form $L(V_{\kappa+1})^M$ can be considered a ``$\kappa$-Solovay model''; we show a characterisation of $\kappa$-Solovay models; and we prove elementary equivalences between…

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

Let $G$ be an arbitrary (not necessarily isomorphic to a closed subgroup of $\mathrm{GL}(r,\mathbb{C})$) complex Lie group, $U$ a complex manifold and $p:P\to U$ a $\mathcal{C}^\infty$ principal $G$-bundle on $U$. We introduce and study the…

For any $Q\in\{\frac{3}{2},2,\frac{5}{2},3,\dotsc\}$, we establish a structure theory for the class $\mathcal{S}_Q$ of stable codimension 1 stationary integral varifolds admitting no classical singularities of density $<Q$. This theory…

In this paper we study the longstanding conjecture of whether there exists a noninner automorphism of order $p$ for a finite non-abelian $p$-group. We prove that if $G$ is a finite non-abelian $p$-group such that $G/Z(G)$ is powerful then…

The thermal conductivity, $\kappa$, of the heavy fermion superconductor UPt$_3$ was measured down to T$_c$/10. The absence of a linear term in the temperature dependence as T$\rightarrow$0 strongly suggests there are no zero energy…

New fixed point results are presented for ${\cal U}_c^{\kappa}(X,X)$ maps in extension type spaces.

We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $\theta$ there is a dependent theory $T$ of size $\theta$ such that for all $\kappa$ and $\delta$,…

We prove an asymptotic saturation-type version of Rota's basis conjecture. It relies on the connection of Tao's slice rank with unstable tensors from geometric invariant theory.

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.

Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…

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…

We use homotopy theory to extend the notion of strong and weak topological insulators to the non-stable regime (low numbers of occupied/empty energy bands). We show that for strong topological insulators in d spatial dimensions to be "truly…

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…

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.,…