9 citations · 12 across the 6 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015
Reverse Mathematical Bounds for the Termination Theorem
Silvia Steila, Keita Yokoyama
In 2004 Podelski and Rybalchenko expressed the termination of transition-based programs as a property of well-founded relations. The classical proof by Podelski and Rybalchenko req…
math.LO2015
Generic Large Cardinals and Systems of Filters
Giorgio Audrito, Silvia Steila
We introduce the notion of -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develo…