相关论文: On tightness and depth in superatomic Boolean alge…
Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete K\"ahler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle…
Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
The purpose of the present paper is to show that: Eilenberg-type correspondences = Birkhoff's theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T-algebras.…
It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…
We give a canonical construction of a balanced big Cohen-Macaulay algebra for a domain of finite type over $\mathbb C$ by taking ultraproducts of absolute integral closures in positive characteristic. This yields a new tight closure…
We characterize the Tukey order, the Galvin property/ Cohesive ultrafilters from \cite{Kanamori1978} in terms of ultrapowers. We use this characterization to measure the distance between the Tukey order and other well-known orders of…
We give a simple proof of the relation $\Lambda\p_artial{\Lambda}\F= {i\over2\pi}b_1\langle\Tr\phi^2\rangle$, which is valid for $N=2$ supersymmetric QCD with massless quarks. We consider $SU(N_c)$ gauge theories as well as $SO(N_c)$ and…
In the paper, the authors find the greatest value $\lambda$ and the least value $\mu $ such that the double inequality \begin{multline*} C(\lambda a+(1-\lambda)b,\lambda b+(1-\lambda )a)<\alpha A(a,b)+(1-\alpha)T(a,b)\\ < C(\mu…
We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal $\lambda$, if $\lambda^{++}$…
We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show…
We show that for many pairs of infinite cardinals $\kappa > \mu^+ > \mu$, $(\kappa^{+}, \kappa)\twoheadrightarrow (\mu^+, \mu)$ is consistent relative to the consistency of a supercompact cardinal. We also show that it is consistent,…
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…
Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…
We define a topological space to be an "SDL space" if the closure of each one of its strongly discrete subsets is Lindel\"of. After distinguishing this property from the Lindel\"of property we make various remarks about cardinal invariants…
Given a strongly inaccessible cardinal $\lambda$, we study the Fra\"iss\'e class of all Boolean algebras of size $<\lambda$, together with regular embeddings. We prove that this is indeed a Fra\"iss\'eclass, and its limit has the same…
We prove the consistency with ZFC of ``the length of an ultraproduct of Boolean algebras is smaller than the ultraproduct of the lengths''. Similarly for some other cardinal invariants of Boolean algebras.
We prove that Bernoulli convolutions are absolutely continuous provided the parameter lambda is an algebraic number sufficiently close to 1 depending on the Mahler measure of lambda.
The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[\rho]= - Tr (\rho \ln \rho) of a density matrix \rho_{123} on the product of three Hilbert spaces satisfies…