Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics

DOI10.1007/BF02358991zbMath0934.03076MaRDI QIDQ1807457

N. A. Shanin

Publication date: 22 November 1999

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/68546

zbMATH Keywords

constructive mathematicsCantor's diagonal constructionconstructive definition of the notion of real numbersystem of notation for order-types

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Constructive real analysis (26E40)

Related Items (3)

Boris Emilyevitch Shapirovskii ⋮ The Souslin number in set-theoretic topology ⋮ On a finitary version of mathematical analysis

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Recursive analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Grundlagen der Mathematik I
• Function Theory in an Axiom-Free Equation Calculus
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics