Related papers: The relative consistency of g<cf(Sym(omega))

We prove the consistency of ``CH + 2^{aleph_1} is arbitrarily large + 2^{aleph_1} not-> (omega_1 x omega)^2_2''. If fact, we can get 2^{aleph_1} not-> [omega_1 x omega]^2_{aleph_0}. In addition to this theorem, we give generalizations to…

We prove the consistency of the statement $\mathfrak{u}_{\aleph_\omega}<2^{\aleph_\omega}$. We show that the consistency strength of this statement is exactly a measurable cardinal $\mu$ so that $o(\mu)=\mu^{++}$.

We study the formalized v statement by allowing the occurrence of different arrays of quantifiers in it. We prove that for some specific arrays of quantifiers we get consistency statements that are S-equivalent to the original…

For an $\aleph_1$-categorical atomic class, we clarify the space of types over the unique model of size $\aleph_1$. Using these results, we prove that if such a class has a model of size $\beth_1^+$ then it is $\omega$-stable.

We prove the consistency of: if B_1, B_2 are Boolean algebra satisfying the c.c.c. and the 2^{aleph_0}-c.c. respectively then B_1 x B_2 satisfies the 2^{aleph_0}-c.c.

We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $\omega_1$ follows from the consistency of ZFC.

We consider the following equations: \begin{equation*} \left\{\begin{array}{ll} (-\triangle)^{\alpha/2}u(x)=f(v(x)), \\ (-\triangle)^{\beta/2}v(x)=g(u(x)), &x \in R^{n},\\ u,v\geq 0, &x \in R^{n}, \end{array} \right. \end{equation*} for…

We will study the solution of a congruence, $x \equiv g^{(1/2)\omega_g(2^n)} \bmod 2^n$, depending on the integers $g$ and $n$, where $\omega_g(2^n)$ denotes the order of $g$ modulo $2^n$. Moreover, we introduce an application of the above…

In this note we show that McGee's {\omega}-inconsistency result can be derived from L\"ob's theorem.

We discuss the value of the best constant in Gaffney inequality namely $$ \lVert \nabla \omega \rVert_{L^{2}}^{2}\leq C\left( \lVert d\omega\rVert_{L^{2}}^{2}+\lVert \delta\omega\rVert_{L^{2}% }^{2}+\lVert \omega\rVert_{L^{2}}^{2}\right) $$…

We prove the consistency of tiltan with the positive relation $\omega^*\cdot\omega_1\rightarrow(\omega^*\cdot\omega_1,{\rm infinite\ path})^2$.

In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a…

This paper engages the question "Does the consistency of a set of axioms entail the existence of a model in which they are satisfied?" within the frame of the Frege-Hilbert controversy. The question is related historically to the…

For g < f in omega^omega we define c(f,g) be the least number of uniform trees with g-splitting needed to cover a uniform tree with f-splitting. We show that we can simultaneously force aleph_1 many different values for different functions…

In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…

We prove that if ZF is consistent then ZFC+GCH is consistent with the following statement: There is for every k<omega a model of cardinality aleph_1 which is L_{infty,omega_1}-equivalent to exactly k non-isomorphic models of cardinality…

We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classic results of Magidor (from 1977 and…

We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b^+<g is consistent

We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.

We prove from the existence of a Mahlo cardinal the consistency of the statement that $2^\omega = \omega_3$ holds and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$ reflects to an ordinal less than $\omega_2$ with…