Items where authors include "Shafer, P."

Article

Fiori-Caronea, M., Marcone, A., Shafer, P. orcid.org/0000-0001-5386-9218 et al. (1 more author) (2024) (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE. Journal of Symbolic Logic, 89 (1). pp. 262-307. ISSN 0022-4812

Fernndez-Duque, D., Shafer, P. orcid.org/0000-0001-5386-9218, Towsner, H. et al. (1 more author) (2023) Metric fixed point theory and partial impredicativity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 381 (2248). 20220012. ISSN 1364-503X

Fiori-Carones, M., Shafer, P. orcid.org/0000-0001-5386-9218 and Soldà, G. (2022) An inside/outside Ramsey theorem and recursion theory. Transactions of the American Mathematical Society, 375 (3). pp. 1977-2024. ISSN 0002-9947

Shafer, P. orcid.org/0000-0001-5386-9218 and Terwijn, S.A. (2021) Ordinal analysis of partial combinatory algebras. The Journal of Symbolic Logic, 86 (3). pp. 1154-1188. ISSN 0022-4812

Durrant, C. J., Shelford, L.R., Valkass, R. A. J. et al. (11 more authors) (2017) Dependence of spin pumping and spin transfer torque upon Ni81Fe19 thickness in Ta/Ag/Ni81Fe19/Ag/Co2MnGe/Ag/Ta spin-valve structures. Physical Review B. 144421. ISSN 2469-9969