Related papers: Ultrafilters, monads and combinatorial properties
We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.
Many vision-related tasks benefit from reasoning over multiple modalities to leverage complementary views of data in an attempt to learn robust embedding spaces. Most deep learning-based methods rely on a late fusion technique whereby…
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects.…
We study the existence of monotone traveling wave solutions in a class of nonclassical diffusion equations that include both standard diffusion and a higher-order mixed space-time dispersive term. The reaction term is nonlinear and subject…
Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal…
The Macdonald polynomials with prescribed symmetry are obtained from the nonsymmetric Macdonald polynomials via the operations of $t$-symmetrisation, $t$-antisymmetrisation and normalisation. Motivated by corresponding results in Jack…
We study the impedance spectra of woodwind instruments with arbitrary axisymmetric geometry. We perform piecewise interpolations of the instruments' profile, using interpolating functions amenable to analytic solutions of the Webster…
We discuss the recently developed method of refined absorption and how it is used to provide a new proof of the Existence Conjecture for combinatorial designs. This method can also be applied to resolve open problems in extremal and…
Moir\'e superlattices in twisted two-dimensional materials have generated tremendous excitement as a platform for achieving quantum properties on demand. However, the moir\'e pattern is highly sensitive to the interlayer atomic registry,…
We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length-$\omega_2$ countable support iteration of restricted Mathias forcing over a ground model satisfying $\textsf{CH}$, there is a unique…
The main objective of this paper is to extend Morse-Forman theory to vector-valued functions. This is mostly motivated by the need to develop new tools and methods to compute multiparameter persistence. To generalize the theory, in addition…
We show that the splinter property ascends along regular residue field extensions, and along arbitrary regular maps in equal characteristic. We also study the splinter property of non-Noetherian rings, especially those related to…
This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as…
Motivated by Tukey classification problems and building on work in \cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $\mathcal{R}_{\alpha}$, $\alpha<\omega_1$. These spaces form a natural hierarchy of…
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.…
The structure of the moduli space of N=1 supersymmetric gauge theories is analyzed from an algebraic geometric viewpoint. The connection between the fundamental fields of the ultraviolet theory, and the gauge invariant composite fields of…
Designing and implementing typed programming languages is hard. Every new type system feature requires extending the metatheory and implementation, which are often complicated and fragile. To ease this process, we would like to provide…
This application of nonstandard analysis utilizes the notion of the highly-staturated enlargement. These nonstandard methods clarify many aspects of the theory of generalized functions (distributions).
To work more accurately with elements of the semigroup of the Stone Cech compactification of the discrete semigroup of natural numbers N under multiplication. We divided these elements into ultrafilters which are on finite levels and…
We study perturbations of linear differential equations, deriving explicit series solutions, using Dyson-type expansions. We analyze the monodromy of deformed solutions in a number of examples, and relate this to cocycles in a cohomological…