Related papers: On a cofinal Reinhardt embedding without Powerset

Let \omega be a Pfaff system of differential forms on a projective space. Let S be its singular locus, and Y a solution of \omega=0. We prove Y\cap S is of codimension at most 1 in Y, just as Jouanolou suspected; he proved this result…

We study new relations of the following statements with weak choice principles in ZF and ZFA. 1. There does not exist an infinite Hausdorff space X such that every infinite subset of X contains an infinite compact subset. 2. If a field has…

We prove an extension of the theorem of Drinfeld, Grinberg and Kazhdan to arcs with arbitrary residue field. As an application we show that the embedding codimension is generically constant on each irreducible subset of the arc space which…

Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local…

Suppose $\kappa$ is $\lambda$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $\kappa$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals…

Consider a finite dimensional real vector space and a finite group acting unitarily on it. We study the general problem of constructing Euclidean stable embeddings of the quotient space of orbits. Our embedding is based on subsets of sorted…

By a classical theorem of Harvey Friedman (1973), every countable nonstandard model $\mathcal{M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding $j$, i.e., $j$ is a self-embedding of $\mathcal{M}$ such that…

We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .

Let $(M,\omega)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $\phi:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number…

We prove a Krieger like embedding theorem for asymptotically expansive systems with the small boundary property. We show that such a system $(X; T)$ embeds in the $K$-full shift with $h_{top}(T) < \log K $ and $\sharp Per_n(X; T) \leq…

This work introduces a new class of $F$-structures satisfying $\alpha F^{K+1} +\beta F^{K} + F=0$, where $K$ is a positive integer, $K\geq3$, and $\alpha, \beta$ are real or complex numbers. We investigate the Cauchy-Riemann structure and…

We establish an explicit embedding of a quantum affine $\mathfrak{sl}_n$ into a quantum affine $\mathfrak{sl}_{n+1}$. This embedding serves as a common generalization of two natural, but seemingly unrelated, embeddings, one on the quantum…

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…

It is shown in this paper that there is a connection between the Riemann zeta-function $\zf$ and the Bessel's functions. In this direction, a new class of the nonlinear integral equations is introduced.

Let $Z$ be a smooth compact $(n+1)$-manifold. We study smooth embeddings and immersions $\beta: M \to Z$ of compact or closed $n$-manifolds $M$ such that the normal line bundle $\nu^\beta$ is trivialized. For a fixed $Z$, we introduce an…

Let W be an irreducible, finitely generated Coxeter group. The geometric representation provides an discrete embedding in the orthogonal group of the so-called Tits form. One can look at the representation modulo the kernel of this form; we…

If $\vf_1, ... \vf_m\colon\Z\to\Z^\ell$ are polynomials with zero constant terms and $E\subset\Z^\ell$ has positive upper Banach density, then we show that the set $E\cap (E-\vf_1(p-1))\cap\...\cap (E-\vf_m(p-1))$ is nonempty for some prime…

We characterise quasidiagonality of the $C^*$-algebra of a cofinal $k$-graph in terms of an algebraic condition involving the coordinate matrices of the graph. This result covers all simple $k$-graph $C^*$-algebras. In the special case of…

Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the…

Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$-embedded into $E$ if and only if it can be affinely embedded into $E$; furthermore if $F$ can not be affinely embedded into $E$, then the…