Constructive Versus Ontological Construals of Cantorian Ordinals

DOI10.1080/0144534031000079324zbMATH Open1046.03002OpenAlexW2088475906WikidataQ58531904 ScholiaQ58531904MaRDI QIDQ4448892FDOQ4448892

Wolfram Hinzen

Publication date: 23 March 2004

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0144534031000079324

Recommendations

• scientific article
• Cantor's philosophy of set theory
• scientific article; zbMATH DE number 4010517
• scientific article; zbMATH DE number 5046787
• Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics

zbMATH Keywords

ordinalsconstructive type theoryCantorKit FineMartin-Löf

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Natural deduction and arbitrary objects
• Title not available (Why is that?)
• Anti-realist semantics

This page was built for publication: Constructive Versus Ontological Construals of Cantorian Ordinals

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