Silvia Steila

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From mathesis universalis to fixed points and related set-theoretic concepts Mathesis Universalis, Computability and Proof	2020-08-10	Paper
A combinatorial bound for a restricted form of the termination theorem Trends in Logic	2020-07-08	Paper
Some algebraic equivalent forms of $\mathbb {R}\subseteq L$ Fundamenta Mathematicae	2019-07-31	Paper
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion Journal Of Logic And Computation	2019-07-29	Paper
The strength of SCT soundness Journal Of Logic And Computation	2019-01-31	Paper
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS Journal of Symbolic Logic	2018-08-10	Paper
A direct proof of Schwichtenberg's bar recursion closure theorem Journal of Symbolic Logic	2018-05-02	Paper
A direct proof of Schwichtenberg's bar recursion closure theorem Journal of Symbolic Logic	2018-05-02	Paper
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS Journal of Symbolic Logic	2017-09-26	Paper
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS Journal of Symbolic Logic	2017-09-26	Paper
Ramsey's theorem for pairs and $k$ colors as a sub-classical principle of arithmetic Journal of Symbolic Logic	2017-08-03	Paper
An intuitionistic analysis of size-change termination	2017-07-12	Paper
The strength of the SCT criterion Lecture Notes in Computer Science	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 Annals of Pure and Applied Logic	2016-10-10	Paper
An intuitionistic version of Ramsey's theorem and its use in program termination Annals of Pure and Applied Logic	2015-09-29	Paper
Ramsey theorem as an intuitionistic property of well founded relations Lecture Notes in Computer Science	2014-07-24	Paper
A Boolean Algebraic Approach to Semiproper Iterations	2014-02-07	Paper

Research outcomes over time

This page was built for person: Silvia Steila