Related papers: The strong Prikry property
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk\'y's theorem assert that set-generic extensions of a given…
I survey an array of topics in set theory in the context of a novel class of forcing notions: subcomplete forcing. Subcompleteness was originally defined by Ronald Jensen. I have attempted to make the subject somewhat more approachable to…
We prove that if $\mathcal{A}$ is a $\sigma$-complete Boolean algebra in a model $V$ of set theory and $\mathbb{P}\in V$ is a proper forcing with the Laver property preserving the ground model reals non-meager, then every pointwise…
For a bounded and graded poset $P$, we show that if $P$ is EL-shellable, then so is its $t$-fold Segre power $P^{(t)}=P\circ \cdots \circ P$ ($t$ factors), as defined by Bj\"orner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)].…
In this work, we develop a new theory of multivariate V-filtration on D-modules along a simple normal crossing divisor and relate it with Sabbah's multi-filtration. We establish several new structural results and relate them with the Hodge…
We study hyperbolic first order systems and propose a new method proving Gevrey well posedness, constructing a symmetrizer, motivated by a special Lyapunov function for linear ODE. The proof not only gives a priori estimates straightforward…
We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a…
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…
We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respectively ill-and well-foundedness properties to an…
In this work, we add an additional condition to strong pseudo prime test to base 2. Then, we provide theoretical and heuristics evidences showing that the resulting algorithm catches all composite numbers. Our method is based on the…
Exciton polaritons, arising from the interaction of electronic transitions with confined electromagnetic fields, have emerged as a powerful tool to manipulate the properties of organic materials. However, standard experimental and…
A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…
Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are…
The paper deals with a special filtered approximation method, which originates interpolation polynomials at Chebyshev zeros by using de la Vall\'ee Poussin filters. These polynomials can be an useful device for many theoretical and…
A poset is called upper homogeneous (or "upho") if every principal order filter of the poset is isomorphic to the whole poset. We observe that the rank and characteristic generating functions of upho posets are multiplicative inverses of…
We present new, exceptionally efficient proofs of Poisson--Dirichlet limit theorems for the scaled sizes of irreducible components of random elements in the classic combinatorial contexts of arbitrary assemblies, multisets, and selections,…
Shininess and strong politeness are properties related to theory combination procedures. In a paper titled "Many-sorted equivalence of shiny and strongly polite theories", Casal and Rasga proved that for decidable theories, these properties…
In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…
We present a new criterion, based on commutator methods, for the strong mixing property of unitary representations of topological groups equipped with a proper length function. Our result generalises and unifies recent results on the strong…
We analyze several ``strong meager'' properties for filters on the natural numbers between the classical Baire property and a filter being $F_\sigma$. Two such properties have been studied by Talagrand and a few more combinatorial ones are…