Related papers: On the Isbell problem
We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…
Membrane ultrafiltration (UF) is a pressure driven process allowing for the separation and enrichment of protein solutions and dispersions of nanosized microgel particles. The permeate flux and the near-membrane concentration-polarization…
This paper expands on the previously described reflectionless filters - that is, filters having, in principle, identically-zero reflection coefficient at all frequencies - by introducing a wide variety of new reflectionless structures that…
We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…
It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of…
We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$…
Following Baumgartner [J. Symb. Log. 60 (1995), no. 2], for an ideal $\mathcal{I}$ on $\omega$, we say that an ultrafilter $\mathcal{U}$ on $\omega$ is an $\mathcal{I}$-ultrafilter if for every function $f:\omega\to\omega$ there is $A\in…
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
We continue the research of an extension $\widetilde{\mid}$ of the divisibility relation to the Stone-\v Cech compactification $\beta N$. First we prove that ultrafilters we call prime actually possess the algebraic property of primality.…
Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…
We study three generation models in the four-dimensional spacetime, which can be derived from the ten-dimensional N=1 super Yang-Mills theory on the orbifold background with a non-vanishing magnetic flux. We classify the flavor structures…
In this text, the filtering unitary group method developed, among others, by S. Schochet is adapted to prove the existence and well-posedness of modulation equations describing the incompressible limit of the Euler-Maxwell Two-Fluid (EMTF)…
In this article we study dimer models, as introduced in string theory, which give a way of writing down a class of non-commutative `superpotential' algebras. Some examples are 3-dimensional Calabi-Yau algebras, as defined by Ginzburg, and…
We use non-perturbative U-duality symmetries of type II strings to construct new vacuum solutions. In some ways this generalizes the F-theory vacuum constructions. We find the possibilities of new vacuum constructions are very limited.…
We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…
We study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly many regular cardinals above a rank Berkeley cardinal carry…
Topological filters via sheaves generalize the classical linear translation-invariant filter theory by attaching the filter computation locally to a simplicial topological space. This paper develops topological filters for causal signal…
We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by…
We study the interplay between properties of measures on a Boolean algebra A and forcing names for ultrafilters on A. We show that several well known measure theoretic properties of Boolean algebras (such as supporting a strictly positive…
We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…