The iteration of the mathematical process

DOI10.1017/S1755020326101221MaRDI QIDQ7357607zbMATH OpenFDO

Authors Michele Contente

Publication date 25 September 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020326101221

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Cites work

• A constructive examination of a Russell-style ramified type theory
• Classical predicative logic-enriched type theories
• Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis.
• Finitely stratified polymorphism
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1867338 (Why is no real title available?)
• scientific article; zbMATH DE number 862507 (Why is no real title available?)
• scientific article; zbMATH DE number 3078474 (Why is no real title available?)
• Intuitionistic choice and classical logic
• Proof theory of constructive systems: inductive types and univalence
• Subsystems of second order arithmetic
• Systems of predicative analysis
• Weyl reexamined: ``Das Kontinuum 100 years later
• Weyl's predicative classical mathematics as a logic-enriched type theory

This page was built for publication: The iteration of the mathematical process

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7357607)