Silvia Steila

Available identifiers

zbMath Open steila.silviaMaRDI QIDQ324246

List of research outcomes

Publication	Date of Publication	Type
From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts	2020-08-10	Paper
A Combinatorial Bound for a Restricted Form of the Termination Theorem	2020-07-08	Paper
Some algebraic equivalent forms of $\mathbb {R}\subseteq L$	2019-07-31	Paper
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion	2019-07-29	Paper
The strength of SCT soundness	2019-01-31	Paper
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS	2018-08-10	Paper
A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM	2018-05-02	Paper
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS	2017-09-26	Paper
RAMSEY’S THEOREM FOR PAIRS ANDKCOLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC	2017-08-03	Paper
An Intuitionistic Analysis of Size-change Termination	2017-07-12	Paper
The Strength of the SCT Criterion	2017-05-19	Paper
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic	2017-03-13	Paper
Reverse mathematical bounds for the termination theorem	2016-10-10	Paper
An intuitionistic version of Ramsey's theorem and its use in program termination	2015-09-29	Paper
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations	2014-07-24	Paper
A Boolean Algebraic Approach to Semiproper Iterations	2014-02-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Silvia Steila