Forcing Magidor iteration over a core model below 0¶. - Omer Ben-Neria (Arch. Math. Log., 2014)

Disassociated indiscernibles. - Jeffrey Scott Leaning; Omer Ben-Neria (Math. Log. Q., 2014)

The structure of the Mitchell order - II. - Omer Ben-Neria (Ann. Pure Appl. Log., 2015)

On the splitting number at Regular Cardinals. - Omer Ben-Neria; Moti Gitik (J. Symb. Log., 2015)

Homogeneous changes in cofinalities with applications to HOD. - Omer Ben-Neria; Spencer Unger (J. Math. Log., 2017)

Diamonds, compactness, and measure sequences. - Omer Ben-Neria (J. Math. Log., 2019)

On singular stationarity II (Tight stationarity and Extenders-based Methods). - Omer Ben-Neria (J. Symb. Log., 2019)

Diagonal supercompact Radin forcing. - Omer Ben-Neria; Chris Lambie-Hanson; Spencer Unger (Ann. Pure Appl. Log., 2020)

On Configurations Concerning cardinal characteristics at Regular Cardinals. - Omer Ben-Neria; Shimon Garti (J. Symb. Log., 2020)

Infinite decreasing chains in the Mitchell order. - Omer Ben-Neria; Sandra Müller (Arch. Math. Log., 2021)

Compactness and guessing principles in the Radin extensions. - Omer Ben-Neria; Jing Zhang (J. Math. Log., 2023)

Approachable free subsets and fine structure derived scales. - Dominik Adolf; Omer Ben-Neria (Ann. Pure Appl. Log., 2024)

Stationary Reflection and the Failure of the SCH. - Omer Ben-Neria; Yair Hayut; Spencer Unger (J. Symb. Log., 2024)

A Mathias criterion for the Magidor iteration of Prikry forcings. - Omer Ben-Neria (Arch. Math. Log., 2024)