2 citations · 4 across the 22 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Iteration of strongly -cc forcing posets
James Cummings, Mirna Džamonja, Itay Neeman
We prove some iteration theorems for a certain class of -cc forcing posets.
math.LO2018
A new foundational crisis in mathematics, is it really happening?
Mirna Džamonja
The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians,…