Explicit abstract objects in predicative settings

DOI10.1007/s10992-024-09768-1MaRDI QIDQ6623817

Sean C. Ebels-Duggan, Francesca Boccuni

Publication date: 24 October 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

abstract objectssecond-order Peano arithmeticabstractionismpredicative second-order logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Explicit abstract objects in predicative settings