Silvia Steila

Identifiers

• name variant Silvia Steila 0.60 · backfill

Papers (9)

1. The strength of SCT soundness math.LO · 2017 · author #3
2. The strength of the SCT criterion math.LO · 2016 · author #2
3. A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem math.LO · 2016 · author #2
4. Some algebraic equivalent forms of $\mathbb{R} \subseteq L$ math.LO · 2016 · author #1
5. Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic math.LO · 2016 · author #2
6. Reverse Mathematical Bounds for the Termination Theorem math.LO · 2015 · author #1
7. Generic Large Cardinals and Systems of Filters math.LO · 2015 · author #2
8. Proving termination with transition invariants of height omega cs.LO · 2014 · author #3
9. A Boolean Algebraic Approach to Semiproper Iterations math.LO · 2014 · author #3

Mentions

• 1402.1714 #3 · backfill · confidence 0.70 Silvia Steila

Frequent Coauthors

• Keita Yokoyama 3 shared papers
• Emanuele Frittaion 2 shared papers
• Giorgio Audrito 2 shared papers
• Paulo Oliva 2 shared papers
• Stefano Berardi 2 shared papers
• Florian Pelupessy 1 shared papers
• Matteo Viale 1 shared papers