17 citations · 39 across the 7 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016★ 17 cited
Borel Circle Squaring
Andrew S. Marks, Spencer T. Unger
We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \g…
math.LO2016
Diagonal supercompact Radin forcing
Omer Ben-Neria, Chris Lambie-Hanson, Spencer Unger
Motivated by the goal of constructing a model in which there are no -Aronszajn trees for any regular , we produce a model with many singular cardinals where both the…
math.LO2016
The strong tree property and weak square
Yair Hayut, Spencer Unger
We show that it is consistent, relative to many supercompact cardinals, that the super tree property holds at for all but there are weak square and a…