Silvia Steila

Available identifiers

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

This page was built for person: Silvia Steila