Constructive Versus Ontological Construals of Cantorian Ordinals

DOI10.1080/0144534031000079324zbMath1046.03002OpenAlexW2088475906WikidataQ58531904 ScholiaQ58531904MaRDI QIDQ4448892

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

zbMATH Keywords

constructive type theoryCantorordinalsMartin-LöfKit Fine

Mathematics Subject Classification ID

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

Cites Work

• Natural deduction and arbitrary objects
• Constructivism in mathematics. An introduction. Volume I
• Anti-realist semantics
• Unnamed Item
• Unnamed Item

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