Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory

DOI10.1093/OSO/9780190641221.003.0014OpenAlexW3036702781MaRDI QIDQ5856200

Wilfried Sieg

Publication date: 25 March 2021

Published in: The Prehistory of Mathematical Structuralism (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/oso/9780190641221.003.0014

zbMATH Keywords

representationprojectionstructureexistential axiomaticsaccessible domainnatural formalizationinductively defined classmethodological framestructural axiomatics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (2)

NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

This page was built for publication: Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory