We introduce the properties of a space to be strictly $WFU\left(M\right)$ or strictly $SFU\left(M\right)$, where $\varnothing \ne M\subset {\omega }^{*}$, and we analyze them and other generalizations of $p$-sequentiality ($p\in {\omega }^{*}$) in Function Spaces, such as Kombarov’s weakly and strongly $M$-sequentiality, and Kocinac’s $WFU\left(M\right)$ and $SFU\left(M\right)$-properties. We characterize these in $C_{\pi }\left(X\right)$ in terms of cover-properties in $X$; and we prove that weak $M$-sequentiality is equivalent to $WFU\left(L\right(M\left)\right)$-property, where $L\left(M\right)=\{{}^{\lambda }p:\lambda <{\omega }_1$ and $p\in M\}$, in the class of spaces which are $p$-compact for every $p\in M\subset {\omega }^{*}$; and that $C_{\pi }\left(X\right)$ is a $WFU\left(L\right(M\left)\right)$-space iff $X$ satisfies...

We prove the results stated in the title.

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.

We study splitting, infinitely often equal (ioe) and refining families from the descriptive point of view, i.e. we try to characterize closed, Borel or analytic such families by proving perfect set theorems. We succeed for $G_{\delta }$ hereditary splitting families and for analytic countably ioe families. We construct several examples of small closed ioe and refining families.

We investigate properties of permitted trigonometric thin sets and construct uncountable permitted sets under some set-theoretical assumptions.

By an ${\omega }_1$- tree we mean a tree of power ${\omega }_1$ and height ${\omega }_1$. Under CH and $2^{{\omega }_1}>{\omega }_2$ we call an ${\omega }_1$-tree a Jech-Kunen tree if it has κ-many branches for some κ strictly between ${\omega }_1$ and $2^{{\omega }_1}$. In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus $2^{{\omega }_1}>{\omega }_2$ that there exist Kurepa trees and there are no Jech-Kunen trees, which answers a question of [Ji2], (2) it is consistent with CH plus $2^{{\omega }_1}={\omega }_4$ that there only exist Kurepa trees with ${\omega }_3$-many branches, which answers another...

We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notion of weakly semi-proper trees, and note that there is a strong connection between the existence of potentially isomorphic models for a given complete theory and the existence of weakly semi-proper trees. ...

We consider prediction problems in which each of a countably infinite set of agents tries to guess his own hat color based on the colors of the hats worn by the agents he can see, where who can see whom is specified by a graph V on ω. Our interest is in the case in which 𝓤 is an ultrafilter on the set of agents, and we seek conditions on 𝓤 and V ensuring the existence of a strategy such that the set of agents guessing correctly is of 𝓤-measure one. A natural necessary condition is the absence...

It is well known that if a nontrivial ideal ℑ on κ is normal, its quotient Boolean algebra P(κ)/ℑ is ${\kappa }^{+}$-complete. It is also known that such completeness of the quotient does not characterize normality, since P(κ)/ℑ turns out to be ${\kappa }^{+}$-complete whenever ℑ is prenormal, i.e. whenever there exists a minimal ℑ-measurable function in ${}^{\kappa }\kappa$. Recently, it has been established by Zrotowski (see [Z1], [CWZ] and [Z2]) that for non-Mahlo κ, not only is the above condition sufficient but also necessary for P(κ)/ℑ...

I isolate a simple condition that is equivalent to preservation of P-points in definable proper forcing.