activity
20162023
most citedCan you take Toernquist's inaccessible away?

14 citations · 45 across the 15 of their papers we have counts for

collaborators

19 papers

math.LO2023

Abstract Corrected Iterations

Haim Horowitz, Saharon Shelah

We consider -support iterations of a version of -strategically complete -c.c. definable forcing notions along partial orders. We show that such iterations can be c…

quant-ph2022★ 2 cited

Quantum Variational Rewinding for Time Series Anomaly Detection

Jack S. Baker, Haim Horowitz, Santosh Kumar Radha +6

Electron dynamics, financial markets and nuclear fission reactors, though seemingly unrelated, all produce observable characteristics evolving with time. Within this broad scope, d…

quant-ph2022★ 5 cited

A quantum generative model for multi-dimensional time series using Hamiltonian learning

Haim Horowitz, Pooja Rao, Santosh Kumar Radha

Synthetic data generation has proven to be a promising solution for addressing data availability issues in various domains. Even more challenging is the generation of synthetic tim…

math.LO2019

Turing Invariant Sets and the Perfect Set Property

Clovis Hamel, Haim Horowitz, Saharon Shelah

We show that "all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result…

math.LO2019

On the non-existence of -mad families

Haim Horowitz, Saharon Shelah

Starting from a model with a Laver-indestructible supercompact cardinal , we construct a model of where there are no -mad families.

math.LO2019★ 1 cited

Compact Sets of Baire Class One Functions and Maximal Almost Disjoint Families

Haim Horowitz, Stevo Todorcevic

We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions.…