Related papers: Free sequences in P({\omega})/fin
In this note we derive a property of maximal ideal-independent subsets of boolean algebras which has corollaries regarding the continuum cardinals p and s_mm(P(omega)/fin).
We prove that if $\lambda$ is a fixed uncountable cardinal and $f = \langle \ka_{\al} : \al < \delta \rangle$ is a sequence of infinite cardinals where $\delta < \omega_3$ and $\ka_{\al}\in \{\om,\lambda\}$ for each $\al < \delta$ in such a…
Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these…
We study test sets: subfamilies of sequences converging to a point P that still suffice to detect every discontinuity of real-valued functions at P. Ordered by inclusion, these test sets form a poset. Under natural hypotheses at P, we prove…
We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…
We consider the problem of optimal partition of a domain with respect to the sum of the principal eigenvalues and we prove for the first time regularity results for the free interface up to fixed boundary. All our results are quantitative…
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…
We give a definition of some classes of boolean algebras generalizing free boolean algebras; they satisfy a universal property that certain functions extend to homomorphisms. We give a combinatorial property of generating sets of these…
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (boldface Sigma^0_2 and, under suitable restrictions, Pi^0_2)…
We prove that if $X$ is a regular space with no uncountable free sequences, then the tightness of its $G_\delta$ topology is at most continuum and if $X$ is in addition Lindel\"of then its $G_\delta$ topology contains no free sequences of…
Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded…
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel.…
We study the structure and properties of free skew Boolean algebras. For finite generating sets, these free algebras are finite and we give their representation as a product of primitive algebras and provide formulas for calculating their…
We investigate the set-theoretic properties of the lattice of projections in the Calkin algebra of a separable infinite-dimensional Hilbert space in relation to those of the Boolean algebra $P(\omega)/{\rm fin}$, which is isomorphic to the…
In this paper, we study superlinear systems that give rise to free boundaries. Such systems appear for example from the minimization of the energy functional $$ \int_{\Omega}\left(|\nabla\mathbf{u}|^2+\frac2p|\mathbf{u}|^p\right),\quad…
Given a function $f \in \omega^\omega$, a set $A \in [\omega]^\omega$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $\Gamma \subseteq \omega^{\omega}$, we define $\mathfrak{ros}_\Gamma$ as the smallest size of a…