Related papers: Hausdorff gaps and towers in P(\omega)/Fin
We consider a question: Can a given AD-family be ADR for two orthogonal uncountable towers? If $b > \omega_1$, then we rebuilt any AD-family of the cardinality $\omega_1$ onto a Hausdorff pre-gap. Moreover, if a such AD-family is a Luzin…
We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal…
We study splitting chains in $\mathscr{P}(\omega)$, that is, families of subsets of $\omega$ which are linearly ordered by $\subseteq^*$ and which are splitting. We prove that their existence is independent of axioms of $\mathsf{ZFC}$. We…
Hausdorff's gap condition was satisfied by his original 1936 construction of an (omega-1,omega-1) gap in P(N)/Fin. We solve an open problem in determining whether Hausdorff's condition is actually stronger than the more modern…
In this work we have considered the complexity of the different structures as topological group on Z. We collect some new results, as well as some known results on the group of the integers in order to present: -A family of $2^\cont$…
In this paper we give two families of non-metrizable topologies on the group of the integers having a countable dual group which is isomorphic to a infinite torsion subgroup of the unit circle in the complex plane. Both families are related…
In this Phd. thesis, a structural analysis of construction schemes is developed. The importance of this study will be justified by constructing several distinct combinatorial objects which have been of great interest in mathematics. We then…
We investigate nonlinear Dvoretzky's theorem for countably infinite metric spaces and analytic sets whose Hausdorff dimension are infinite.
We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $\omega_1$ and $-\omega_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration,…
In this article we construct uncountably many new homogeneous locally finite Steiner triple systems of countably infinite order as Fra\"{\i}ss\'{e} limits of classes of finite Steiner triple systems avoiding certain subsystems. The…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
In a recent paper, Chan, \L aba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside…
We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory.…
We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…
It is proved that there exists an (omega-1,omega-1) Souslin gap in the Boolean algebra (L(nu)/Fin,subseteq^*_ae) for every nonseparable measure nu. Thus a Souslin, also known as destructible, (omega-1,omega-1) gap in P(N)/Fin can always be…
Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be…
We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the…
We provide a construction which covers as special cases many of the topologies on integers one can find in the literature. Moreover, our analysis of the Golomb and Kirch topologies inserts them in a family of connected, Hausdorff topologies…