Yair Hayut

activity

20152026

most citedOn the consistency of local and global versions of Chang's Conjecture

12 citations · 49 across the 35 of their papers we have counts for

collaborators

Showing 2021Show all

3 papers · 1 filter

math.LO2021★ 1 cited

The Variety of Projection of a Tree-Prikry Forcing

Tom Benhamou, Moti Gitik, Yair Hayut

We study which $κ$ -distributive forcing notions of size $κ$ can be embedded into tree Prikry forcing notions with $κ$ -complete ultrafilters under various large cardinal assumptions…

math.LO2021★ 1 cited

Mutually embeddable models of ZFC

Monroe Eskew, Sy-David Friedman, Yair Hayut +1

We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

math.DG2021

Complete $S E (3)$ invariants for a comeagre set of $C^{3}$ compact orientable surfaces in $R^{3}$

Yair Hayut, David Lehavi

We introduce invariants for compact $C^{1}$ -orientable surfaces (with boundary) in $R^{3}$ up to rigid transformations. Our invariants are certain degree four polynomials in t…

The Variety of Projection of a Tree-Prikry Forcing

Mutually embeddable models of ZFC

Complete SE(3) invariants for a comeagre set of C3 compact orientable surfaces in R3

Complete $S E (3)$ invariants for a comeagre set of $C^{3}$ compact orientable surfaces in $R^{3}$