9 citations · 12 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 3 cited
Proving termination with transition invariants of height omega
Stefano Berardi, Paulo Oliva, Silvia Steila
The Termination Theorem by Podelski and Rybalchenko states that the reduction relations which are terminating from any initial state are exactly the reduction relations whose trans…
math.LO2014★ 9 cited
A Boolean Algebraic Approach to Semiproper Iterations
Matteo Viale, Giorgio Audrito, Silvia Steila
These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any…