Related papers: Weak Rudin-Keisler reductions on projective ideals
We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…
The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver and Harrington-Kechris-Louveau show that with respect to Borel reducibility, any…
We prove that if $X$ is a topological space that admits Debreu's classical utility theorem (eg.\ $X$ is separable and connected, second countable, etc.), then order relations on $X$ satisfying milder completeness conditions can be…
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals…
Let E be a Dedekind complete Riesz space with weak unit e, equipped with a conditional expectation operator T. We prove that the spaces Lp(T), with their natural vector-valued norms, are strongly complete, extending the p=2 case of Kuo,…
Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…
This paper continues the investigation begun in arXiv:1906.05602 of extending the T1 theorem of David and Journ\'e, and optimal cancellation conditions, to more general weight pairs. The main additional tool developed here is a two weight…
The family of pairwise independently determined (PID) systems, i.e. those for which the independent joining is the only self joining with independent 2-marginals, is a class of systems for which the long standing open question by Rokhlin,…
Let $R = k[x_1,\ldots, x_d]$ denote a standard graded polynomial ring over an algebraically closed field $k$, and let $I \subset R$ be a perfect ideal of codimension $2$ with an $n\times (n-1)$ linear presentation matrix $\phi$. We prove an…
For a complex number $x$, $\Vert x\Vert:=\min\{|x-m|:m\in\mathbb{Z}\}$. Let $k\geq 1$ be an integer, and $K$ be a number field. Let $\alpha_1,\ldots,\alpha_k$ be algebraic numbers with $|\alpha_i|\geq 1$ and let $d_i$ denotes the degree of…
We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$…
We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…
Let $K$ be a number field with the discriminant $D_K$ and the class number $h_{K}$, which has bounded degree over $\mathbb{Q}$. By assuming GRH, we prove that every ideal class of $K$ contains a prime ideal with norm less than…
Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$…
We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative…
We construct a new kind of measures, called projection families, which generalize the classical notion of vector and operator-valued measures. The maximal class of reasonable functions admits an integral with respect to a projection family,…
Motivated by the Farrell-Jones Conjecture for group rings, we formulate the $\mathcal{C}$op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups…