3 papers
math.LO2023
Sealed Kurepa Trees
Itamar Giron, Yair Hayut
In this paper we investigate the problem of the distributivity of Kurepa trees. We show that it is consistent that there are Kurepa trees and for every Kurepa tree there is a small…
math.LO2023
Prikry type forcings and the Bukovský-Dehornoy phenomena
Yair Hayut
This paper is meant to present in a coherent way several instances of quite common phenomena that was first identified (independently) by Bukovský and Dehornoy. We present the basi…
math.LO2023
The Spectra of transitive models
Eilon Bilinsky, Yair Hayut
In this paper we study the spectrum of heights of transitive models of theories extending , under various definitions. In particular, we investigate the consistency stren…