相关论文: On regular reduced products

We study the structure of tensor products of $\mathfrak{gl}(\infty) = \varinjlim \mathfrak{gl}(n)$-modules $\mathbf L(\mathbf \lambda) \otimes \mathbf F$ where $\mathbf L(\mathbf \lambda)$ is a simple integrable highest weight module and…

Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input. We define a logic whose formulae, called "iterated…

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…

In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…

We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…

The basic theme of this paper is the fact that if $A$ is a finite set of integers, then the sum and product sets cannot both be small. A precise formulation of this fact is Conjecture 1 below due to Erd\H os-Szemer\'edi [E-S]. (see also…

In this article, we proved the following results. Let $L(F(n_i))$ be the free group factor on $n_i$ generators and $\lambda (g_{i})$ be one of standard generators of $L(F(n_i))$ for $1\le i\le N$. Let $\A_i$ be the abelian von Neumann…

A group of infinite products over low-order rational polynomials evaluated at the sequence of prime numbers is loosely called the Hardy-Littlewood constants. In this manuscript we look at them as factors embedded in a super-product over…

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this…

For an $m$-summable operator $A$ in a separable Hilbert space the higher regularized Fredholm determinant $\det\nolimits_m(I+A)$ generalizes the classical Fredholm determinant. Recently, Britz et al presented a proof of a product formula \[…

We describe the extension of normal iteration strategies with appropriate condensation properties to strategies for stacks of normal trees, with full normalization. Given a regular uncountable cardinal $\Omega$ and an…

Given sets $X,Y$ and a regular cardinal $\mu$, let $\Phi(X,Y,\mu)$ be the statement that for any function $f : X \times Y \to \mu$, there are functions $g_1 : X \to \mu$ and $g_2 : Y \to \mu$ such that or all $(x,y) \in X \times Y$,…

Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let…

Consider $n$ complex random matrices $X_1,\ldots,X_n$ of size $d\times d$ sampled i.i.d. from a distribution with mean $E[X]=\mu$. While the concentration of averages of these matrices is well-studied, the concentration of other functions…

We present Metatheory, a comprehensive library for programming language foundations in Lean 4. The library features a modular framework for proving confluence of abstract rewriting systems using three classical proof techniques: the diamond…

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

Let $M$ denote the Merimovich's model in which for each infinite cardinal $\lambda, 2^\lambda=\lambda^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall \lambda…

For any reduced free product $\mathrm{C}^*$-algebra $(A, \varphi) =(A_1, \varphi_1) \star (A_2, \varphi_2)$, we prove a boundary rigidity result for the embedding of $A$ into its associated $\mathrm{C}^*$-algebra $\Delta \mathbf{T}(A,…

The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…

Let ${\bf M}=(M_1,\ldots, M_k)$ be a tuple of real $d\times d$ matrices. Under certain irreducibility assumptions, we give checkable criteria for deciding whether ${\bf M}$ possesses the following property: there exist two constants…