相关论文: The pcf-theorem revisited

Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or…

If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.

We provide a new large class of countable icc groups $\mathcal A$ for which the product rigidity result from [CdSS15] holds: if $\Gamma_1,\dots,\Gamma_n\in\mathcal A$ and $\Lambda$ is any group such that…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

We study several cardinal, and ordinal--valued functions that are relatives of Hanf numbers. Let kappa be an infinite cardinal, and let T subseteq L_{kappa^+, omega} be a theory of cardinality <= kappa, and let gamma be an ordinal >=…

The weak tightness $wt(X)$ of a space $X$ was introduced in [11] with the property $wt(X)\leq t(X)$. We investigate several well-known results concerning $t(X)$ and consider whether they extend to the weak tightness setting. First we give…

This article is devoted to showing the product theorem for Bowen's topological entropy.

The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…

Based on the $\kappa$-deformed functions ($\kappa$-exponential and $\kappa$-logarithm) and associated multiplication operation ($\kappa$-product) introduced by Kaniadakis (Phys. Rev. E \textbf{66} (2002) 056125), we present another…

We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard…

We consider minimization problems of functionals given by the difference between the Willmore functional of a closed surface and its area, when the latter is multiplied by a positive constant weight $\Lambda$ and when the surfaces are…

Let $\mathcal{P}^{<\infty} (\Lambda$-mod$)$ be the category of finitely generated left modules of finite projective dimension over a basic Artin algebra $\Lambda$. We develop an applicable criterion that reduces the test for contravariant…

Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…

We present a general framework for constructing quantum cellular automata (QCA) from topological quantum field theories (TQFT) and invertible subalgebras (ISA) using the cup-product formalism. This approach explicitly realizes all…

A version of Gromov's cup product lemma in which one factor is the (1,0)-part of the differential of a continuous plurisubharmonic function is obtained. As an application, it is shown that a connected noncompact complete Kaehler manifold…

In this paper, given a topological space $X$, an interval $I\subseteq {\bf R}$ and five continuous functions $\varphi, \psi, \omega :X\to {\bf R}$, $\alpha, \beta:I\to {\bf R}$, we are interested in the infimum of the function $\Phi:X\to…

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…