Related papers: A Lower Bound for the Hanf Number for Joint Embedd…

We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $\mathsf{IKP}$ and $\mathsf{CZF}$. Most previously studied large set axioms, notably the constructive analogues of large…

We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $\kappa$. We…

Let $G$ be a connected unimodular group equipped with a (left and hence right) Haar measure $\mu_G$, and suppose $A, B \subseteq G$ are nonempty and compact. An inequality by Kemperman gives us…

Let K be an abstract elementary class satisfying the joint embedding and the amalgamation properties. Let m be a cardinal above the the L\"owenheim-Skolem number of the class. Suppose K satisfies the disjoint amalgamation property for limit…

Let $K$ be a non-polar compact subset of $\mathbb{R}$ and $\mu_K$ denote the equilibrium measure of $K$. Furthermore, let $P_n\left(\cdot, \mu_K\right)$ be the $n$-th monic orthogonal polynomial for $\mu_K$. It is shown that…

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $\nu$ such that the singular cardinal hypothesis fails at $\nu$ and every collection of fewer than $\mathrm{cf}(\nu)$…

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

We are interested in examples of a.e.c. with amalgamation having some (extreme) behaviour concerning types. Note we deal with k being sequence-local, i.e. local for increasing chains of length a regular cardinal (for types, equality of all…

We show that an embedding of a fixed 0-dimensional compact space $K$ into the \v{C}ech--Stone remainder $\omega^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from…

The totally-real embeddability of any $2k$-dimensional compact manifold $M$ into $\mathbb C^n$, $n\geq 3k$, has several consequences: the genericity of polynomially convex embeddings of $M$ into $\mathbb C^n$, the existence of $n$ smooth…

Given a prime $p$, an integer $H\in[1,p)$, and an arbitrary set $\cal M\subseteq \mathbb F_p^*$, where $\mathbb F_p$ is the finite field with $p$ elements, let $J(H,\cal M)$ denote the number of solutions to the congruence $$ xm\equiv…

We show that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext_Z(G, Z) is as large as possible for every prime p and any torsion-free abelian group G . Moreover, given…

We prove a universal embedding theorem for flag manifolds: every flag manifold admits a holomorphic isometric embedding into an irreducible classical flag manifold. This result generalizes the classical celebrated embedding theorems of…

Let $M$ be a short extender mouse. We prove that if $E\in M$ and $M$ satisfies "$E$ is a countably complete short extender whose support is a cardinal $\theta$ and $\mathcal{H}_\theta\subseteq\mathrm{Ult}(V,E)$", then $E$ is in the extender…

We study abstract elementary classes (AECs) that, in $\aleph_0$, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such…

We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…

Let $G=NH$ be a Lie group where $N,H$ are closed connected subgroups of $G,$ and $N$ is an exponential solvable Lie group which is normal in $G.$ Suppose furthermore that $N$ admits a unitary character $\chi_{\lambda}$ corresponding to a…

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…