Related papers: On the Isbell problem

Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…

We explain how to form a novel dataset of simply connected Calabi-Yau threefolds via the Gross-Siebert algorithm. We expect these to degenerate to Calabi-Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated)…

We define a special version of the ultralimit, called the skewed ultralimit. Using this tool, we show that the set of ultrafilter types in the $C$-equivalence class of a Ramsey ultrafilter $\mathfrak u\in \beta\omega$ with the Rudin-Keisler…

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

We investigate which filters on $\omega$ can contain towers, that is, a modulo finite descending sequence without any pseudointersection (in $[\omega]^\omega$). We prove the following results: - Many classical examples of nice tall filters…

The enumeration of finite models is very important to the working discrete mathematician (algebra, graph theory, etc) and hence the search for effective methods to do this task is a critical goal in discrete computational mathematics.…

We explicitly construct the largest dataset to date of heterotic vacua arising from stable vector bundles on Calabi-Yau threefolds. Focusing on elliptically fibered Calabi-Yau manifolds with spectral cover bundles, we show that the number…

This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…

In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the…

We characterize the existence of minimal idempotent ultrafilters (on N) in the style of reverse mathematics and higher-order reverse mathematics using the Auslander-Ellis theorem and variant thereof. We obtain that the existence of minimal…

Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the…

We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…

We construct two abelian varieties over $\mathbb{Q}$ which are not isomorphic, but have isomorphic Mordell--Weil groups over every number field, isomorphic Tate modules and equal values for several other invariants.

We address the question of the consistency strength of certain filters and ultrafilters which fail to satisfy the Galvin property. We answer questions \cite[Questions 7.8,7.9]{TomMotiII}, \cite[Question 5]{NegGalSing} and improve theorem…

This paper's central theme is to prove the existence of an n-algebra whose multiplication cannot be expressed employing any binary operation. Furthermore, to prove if two algebras are not isomorphic, this property does not hold for…

We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

Relation of ultrametric analysis, wavelet theory and cascade models of turbulence is discussed. We construct the explicit solutions for the nonlinear ultrametric integral equation with quadratic nonlinearity. These solutions are built by…

We consider electric flux tube solutions in SU(3) gauge theory with scalar fields in the fundamental representation. Such solutions can possibly be constructed in two classes, corresponding to the two maximally commuting generators…

We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_{\omega}% $-many random reals to a model of \textsf{CH. }These results improve and correct…