相关论文: The isomorphism relation of theories with S-DOP in…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

Let $G$ be a reductive affine algebraic group defined over $\mathbb C$, and let $\nabla_0$ be a meromorphic $G$-connection on a holomorphic $G$-bundle $E_0$, over a smooth complex curve $X_0$, with polar locus $P_0 \subset X_0$. We assume…

Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to…

We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also…

For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact…

We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau)$ be the set of countable structures with universe $\omega$ in vocabulary $\tau$ topologized by the Scott topology. We show that an invariant…

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…

We analyze the classification problem for finitely generated orderable groups from the viewpoint of descriptive set theory. We analyze the standard Borel space of finitely generated left-orderable groups, and the subspace of finitely…

Let $\kappa$ be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally $\kappa$-presentable categories with $\kappa$-accessible right adjoints to its locally full sub-2-category of…

We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of…

We prove that the Borel space of torsion-free Abelian groups with domain $\omega$ is Borel complete, i.e., the isomorphism relation on this Borel space is as complicated as possible, as an isomorphism relation. This solves a long-standing…

For analyzing stationary Yang-Mills connections in higher dimensions, one has to work with Morrey-Sobolev bundles and connections. The transition maps for a Morrey-Sobolev principal $G$-bundles are not continuous and thus the usual notion…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…

Let $X$ be a perfectoid space with tilt $X^\flat$. We construct a canonical map $\theta:\operatorname{Pic} X^\flat\to\lim\operatorname{Pic} X$ where the (inverse) limit is taken over the $p$-power map, and show that $\theta$ is an…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises. For general (regular,…

In the context of generalized descriptive set theory, we systematically compare and analyze various notions of Polish-like spaces and standard $\kappa$-Borel spaces for $\kappa$ an uncountable (regular) cardinal satisfying $\kappa^{<\kappa}…