相关论文: On a Glimm -- Effros dichotomy theorem for Souslin…

The main theorem of this article is that every countable model of set theory M, including every well-founded model, is isomorphic to a submodel of its own constructible universe. In other words, there is an embedding $j:M\to L^M$ that is…

Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence \varphi containing only bounded quantifiers, and any positive rational number \delta, decides either "\varphi…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

In the representation theory of split reductive algebraic groups, it is well known that every Weyl module with minuscule highest weight is irreducible over every field. Also, the adjoint representation of $E_8$ is also irreducible over…

Let $S$ be a reduced $E$-Fountain semigroup. If $S$ satisfies the congruence condition, there is a natural construction of a category $\mathcal{C}$ associated with $S$. We define a $\Bbbk$-module homomorphism $\varphi:\Bbbk…

We prove that a finite von Neumann algebra ${\mathcal A}$ is semisimple if the algebra of affiliated operators ${\mathcal U}$ of ${\mathcal A}$ is semisimple. When ${\mathcal A}$ is not semisimple, we give the upper and lower bounds for the…

In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the…

We expand the classic result that $\mathsf{AC}_{\mathsf{WO}}$ is equivalent to the statement "For all $X$, $\aleph(X)=\aleph^*(X)$" by proving the equivalence of many more related statements. Then, we introduce the Hartogs-Lindenbaum…

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…

We establish versions of Szeg\H{o}'s distance formula and Widom's theorem on invertibility of (a family of) Toeplitz operators in a class of finite codimension subalgebras of uniform algebras, obtained by imposing a finite number of linear…

The equivalence principle is treated on a mathematically rigorous base on sufficiently general subsets of a differentiable manifold. This is carried out using the basis of derivations of the tensor algebra over that manifold. Necessary…

The paper is the second of our series of notes aimed to bring back in circulation some bright ideas of early modern set theory, mainly due to Harrington and Sami, which have never been adequately presented in set theoretic publications. We…

Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations…

We prove a relative version of a theorem on torsors on the projective line due to Philippe Gille. As a consequence we obtain a ``weak homotopy invariance'' result for torsors under reductive group schemes defined over arbitrary semi-local…

We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel…

We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…

We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many…

We establish an extension of the Hopf-Tsuji-Sullivan dichotomy to any Zariski dense discrete subgroup of a semisimple real algebraic group $G$. We then apply this dichotomy to Anosov subgroups of $G$, which surprisingly presents a different…

In this paper we develop the definition of a global orthogonal spectrum and its unitary version. It relates $G-$equivariant spectra by equivariant weak equivalence in a coherent way. This category of global spectra has a model structure…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…