相关论文: A comment on "p<t"

We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located…

We prove that consistently, cov($\mathcal{M})< \lambda_\mathbf{0} < \lambda_\mathbf{1} < \lambda_\mathbf{\infty} < 2^{\aleph_0}$, where $\lambda_\mathbf{0}$ denotes the weak Borel chromatic number of the Kechris-Solecki-Todor\v{c}evi\'c…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that…

A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

We prove the Tree Alternative Conjecture for the topological minor relation: letting $[T]$ denote the equivalence class of $T$ under the topological minor relation we show that: $|[T]| = 1$ or $|[T]|\geq \aleph_0$ and $\forall r\in V(T)$,…

For $a,b>0$ with $a\neq b$, we define M_{p}=M^{1/p}(a^{p},b^{p})\text{if}p\neq 0 \text{and} M_{0}=\sqrt{ab}, where $M=A,He,L,I,P,T,N,Z$ and $Y$ stand for the arithmetic mean, Heronian mean, logarithmic mean, identric (exponential) mean, the…

Let $p$ be a polynomial in the non-commuting variables $(a,x)=(a_1,...,a_{g_a},x_1,...,x_{g_x})$. If $p$ is convex in the variables $x$, then $p$ has degree two in $x$ and moreover, $p$ has the form $p = L + \Lambda ^T \Lambda,$ where $L$…

$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…

The main result (roughly) is that if (H_i) converges weakly to H and if also f(H_i) converges weakly to f(H), for a single strictly convex continuous function f, then (H_i) must converge strongly to H. One application is that if f(pr(H)) =…

We prove two ZFC theorems about cardinal invariants above the continuum which are in sharp contrast to well-known facts about these same invariants at the continuum. It is shown that for an uncountable regular cardinal $\kappa$,…

Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory $T$, $T_{\exists\vee\forall}$ denotes the logical consequences of $T$ which are boolean combinations of universal…

For an algebraic number $\alpha$ we denote by $M(\alpha)$ the Mahler measure of $\alpha$. As $M(\alpha)$ is again an algebraic number (indeed, an algebraic integer), $M(\cdot)$ is a self-map on $\overline{\mathbb{Q}}$, and therefore defines…

Let "ex" be the cardinality of the smallest independent family of subsets of omega (independent means that all nontrivial Boolean combinations are infinite) which cannot be extended to a homogeneous independent family. "Homogeneous" means…

This article introduces a weak pseudo-inverse of a monotone function, which is applied to characterize the associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=t^{[-1]}(F(t(x),t(y)))$ where…

In this paper we study an elliptic variational problem regarding the $p$-fractional Laplacian in $\mathbb{R}^N$ on the basis of recent result \cite{Ha1}, which generalizes the nice work \cite{AT,AP,XZR1}, and then give some sufficient…

We show that, for a (not necessarily continuous) weakly contractive mean-type mapping $\mathbf{M} \colon I^p\to I^p$ (where $I$ is an interval and $p \in \mathbb{N}$), the functional equation $K \circ \mathbf{M}=K$ has at most one solution…

Consider a continuous surjective self map of the open annulus with degree d > 1. It is proved that the number of Nielsen classes of periodic points is maximum possible whenever f has a completely invariant essential continuum. The same…

It is proved that, on any Abelian group of infinite cardinality ${\bf m}$, there exist precisely $2^{2^{\bf m}}$ nonequivalent bounded Hausdorff group topologies. Under the continuum hypothesis, the number of nonequivalent compact and…