On the non-existence of mad families. - Haim Horowitz; Saharon Shelah (Arch. Math. Log., 2019)

Turing invariant sets and the perfect set property. - Clovis Hamel; Haim Horowitz; Saharon Shelah (Math. Log. Q., 2020)

On the definability of mad families of vector spaces. - Haim Horowitz; Saharon Shelah (Ann. Pure Appl. Log., 2022)

A quantum generative model for multi-dimensional time series using Hamiltonian learning. - Haim Horowitz; Pooja Rao; Santosh Kumar Radha (CoRR, 2022)

κ-Madness and definability. - Haim Horowitz; Saharon Shelah (Math. Log. Q., 2022)

Forcing axioms and the Galvin number. - Shimon Garti; Yair Hayut; Haim Horowitz; Menachem Magidor (Period. Math. Hung., 2022)

On the non-existence of κ-mad families. - Haim Horowitz; Saharon Shelah (Arch. Math. Log., 2023)

A Borel maximal eventually different family. - Haim Horowitz; Saharon Shelah (Ann. Pure Appl. Log., 2024)

A Borel Maximal cofinitary Group. - Haim Horowitz; Saharon Shelah (J. Symb. Log., 2025)