Marta Fiori-Carones

From MaRDI portal
(Redirected from Person:2144483)



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!

PublicationDate of PublicationType
An isomorphism theorem for models of weak König's lemma without primitive recursion
Journal of the European Mathematical Society (JEMS)
2026-05-15Paper
On arithmetical numberings in reverse mathematics2025-02-07Paper
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
Journal of Symbolic Logic
2024-04-05Paper
Variations of statement, variations of strength. The case of the Rival-Sands theorems
Journal of Mathematical Sciences (New York)
2024-02-01Paper
Primitive recursive reverse mathematics
Annals of Pure and Applied Logic
2023-10-12Paper
Uniquely orderable interval graphs
Discrete Mathematics
2022-06-14Paper
An inside/outside Ramsey theorem and recursion theory
Transactions of the American Mathematical Society
2022-02-23Paper
An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion2021-12-20Paper
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
Computability
2021-11-18Paper
Weaker cousins of Ramsey's theorem over a weak base theory
Annals of Pure and Applied Logic
2021-09-30Paper
Uniquely orderable interval graphs
(available as arXiv preprint)
2021-01-22Paper
To reorient is easier than to orient: an on-line algorithm for reorientation of graphs
(available as arXiv preprint)
2019-10-04Paper


Research outcomes over time


This page was built for person: Marta Fiori-Carones