Silvia Steila

activity

20142017

most citedA Boolean Algebraic Approach to Semiproper Iterations

9 citations · 12 across the 6 of their papers we have counts for

collaborators

Showing 2016Show all

4 papers · 1 filter

math.LO2016

The strength of the SCT criterion

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion is equivalent to $Σ_{2}^{0}$ -induction over RCA $_{0}$ …

math.LO2016

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

Paulo Oliva, Silvia Steila

In 1979 Schwichtenberg showed that the System $T$ definable functionals are closed under a rule-like version Spector's bar recursion of lowest type levels $0$ and $1$ . More…

math.LO2016

Some algebraic equivalent forms of $R \subseteq L$

Silvia Steila

We study $Σ_{2}^{1}$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

math.LO2016

Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic

Stefano Berardi, Silvia Steila

The purpose is to study the strength of Ramsey's Theorem for pairs restricted to recursive assignments of $k$ -many colors, with respect to Intuitionistic Heyting Arithmetic. We pro…

The strength of the SCT criterion

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

Some algebraic equivalent forms of R⊆L

Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic

Some algebraic equivalent forms of $R \subseteq L$

Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic