Related papers: $G_\delta$ semifilters and $\omega^*$

The generic ultrafilter $\mathcal{G}_2$ forced by $\mathcal{P}(\omega\times\omega)/($Fin$\otimes$Fin) was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters (in a recent paper of Blass, Dobrinen, and…

We introduce a $\sigma$-ideal on $\omega_1 \times \omega_1$ and a filter on the collection of graphs of strictly decreasing partial functions on $\omega_1$ taking values in $\omega_1$. We use them to prove that a certain space is a…

Let $G$ be a connected affine algebraic group over $\mathbb{C}$, $G \to X$ be an open immersion of $G$-varieties, $Z = X-G$ and $i: Z \to X$ be the inclusion. Let $\alpha \in H^*(G,\mathbb{C})$ be primitive. We give a method to compute the…

In this paper, we demonstrate that if, for every $\kappa$-complete fine filter $F$ over $\mathcal{P}_{\kappa}\lambda$, the associated Namba forcing $\mathrm{Nm}(\kappa,\lambda,F)$ is semiproper, then $\square(\mu,{<}\aleph_1)$ fails for all…

We study various orders on countably complete ultrafilters on ordinals that coincide and are wellorders under a hypothesis called the Ultrapower Axiom. Our main focus is on the relationship between the Ultrapower Axiom and the linearity of…

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $B$ be a Borel subgroup of $G$, and $U$ its unipotent radical. We prove that if $S=\Sym V$ has…

Given a locally compact second countable group $G$ with a 2-cocycle $\omega$, we show that the restriction of the twisted Plancherel weight $\varphi^\omega_G$ to the subalgebra generated by a closed subgroup $H$ in the twisted group von…

Let $\Gamma=\langle \alpha, \beta \rangle$ be a numerical semigroup. In this article we consider the dual $\Delta^*$ of a $\Gamma$-semimodule $\Delta$; in particular we deduce a formula that expresses the minimal set of generators of…

Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…

Let $\Omega \subseteq \mathbb{R}^n$ be an open set, where $n \geq 2$. Suppose $\omega $ is a locally finite Borel measure on $\Omega$. For $\alpha \in (0,2)$, define the fractional Laplacian $(-\triangle )^{\alpha/2}$ via the Fourier…

Model sets play a fundamental role in structure analysis of quasicrystals. The diffraction diagram of a quasicrystal admits as symmetry group a finite group G, and there is a G-cluster C (union of orbits of G) such that the quasicrystal can…

We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{\theta,\theta}(\tau)$ when $\theta$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

We develop the semifilter approach to the classical Menger and Hurewicz covering properties and show that the small cardinal g is a lower bound of the additivity number of the family of Menger subspaces of the Baire space, and under u< g…

Let $\Omega\subset\mathbb{R}^N$ ($N\geq 3$) be a bounded $C^2$ domain and $\Sigma\subset\partial\Omega$ be a compact $C^2$ submanifold of dimension $k$. Denote the distance from $\Sigma$ by $d_\Sigma$. In this paper, we study positive…

A natural question, which appeared as Problem 61 in Hart and van Mill's list of open problems on $\beta\omega$ (2024), asks whether every finite partial order is embeddable in the Rudin--Keisler order on (types of) ultrafilters over a…

We discuss the connection between various orders on the class of all the ultrafilters and certain compactness properties of abstract logics and of topological spaces. We present a model theoretical characterization of Comfort order. We…

This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…

We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…

Let $\Omega\subset\mathbb{R}^{N}$, $N\geq1$, be a smooth bounded domain, and let $m:\Omega\rightarrow\mathbb{R}$ be a possibly sign-changing function. We investigate the existence of positive solutions for the semipositone problem $-\Delta…