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 |
|---|---|---|
| Techniques in weak analysis for conservation results | 2020-03-30 | Paper |
| Analysis in weak systems | 2019-07-24 | Paper |
| Strict \({\varPi^1_1}\)-reflection in bounded arithmetic Archive for Mathematical Logic | 2010-01-22 | Paper |
| scientific article; zbMATH DE number 2236631 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2236632 (Why is no real title available?) | 2005-12-08 | Paper |
| A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) Archive for Mathematical Logic | 2003-09-16 | Paper |
| Groundwork for weak analysis Journal of Symbolic Logic | 2002-12-04 | Paper |
Research outcomes over time
This page was built for person: António Marques Fernandes