Related papers: Selection Principles in the Laver, Miller, and Sac…
The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles…
We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…
We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural…
The lifting problem for continuous bi-equivariant maps and bi-equivariant covering homotopies is considered, which leads to the notion of a bi-equivariant fibration. An intrinsic characteristic of a bi-equivariant Hurewicz fibration is…
We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the epsilon-surjection property, that were recently introduced to characterize the notion of computable type arising from computability…
We introduce a class of proper posets which is preserved under countable support iterations, includes $\omega^\omega$-bounding, Cohen, Miller, and Mathias posets associated to filters with the Hurewicz covering properties, and has the…
In this paper, we study equivariant Hurewicz fibrations, obtain their internal characteristics, and prove theorems on relationship between equivariant fibrations and fibrations generated by them. Local and global properties of equivariant…
We prove that in the Laver model for the consistency of the Borel's conjecture, the product of any two $H$-separable spaces is $M$-separable.
Based on works of Saharon Shelah, Jakob Kellner, and Anda T\u{a}nasie for controlling the cardinal characteristics of the continuum in ccc forcing extensions, in the author's master's thesis was introduced a new combinatorial notion: the…
We study possibilities of preservations for properties, their links and related connections between semantic and syntactic ones, both in general and as characterizations for subalgebras, congruence relations, Henkin construction,…
By using a similar pattern of arguments, we show that in three categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at…
The aim of this paper is to make a systematical study on the stability of polynomials in combinatorics. Applying the characterizations of Borcea and Br\"and\'en concerning linear operators preserving stability, we present criteria for real…
We develop a connection between mixture and envelope representations of objective functions that arise frequently in statistics. We refer to this connection using the term "hierarchical duality." Our results suggest an interesting and…
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…
In causal models, a given mechanism is assumed to be invariant to changes of other mechanisms. While this principle has been utilized for inference in settings where the causal variables are observed, theoretical insights when the variables…
This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae…
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
We develop several combinatorial models that are useful in the study of the $SL_n$-variety $\mathcal{X}$ of complete quadrics. Barred permutations parameterize the fixed points of the action of a maximal torus $T$ of $SL_n$, while…
We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…
This paper explores the challenges of constructing suitable inferential models in scenarios where the parameter of interest is determined in light of the data, such as regression after variable selection. Two compelling arguments for…