On a finitary version of mathematical analysis

DOI10.1016/S0168-0072(01)00062-8zbMath0998.03047MaRDI QIDQ5957917

N. A. Shanin

Publication date: 20 November 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

constructive mathematics; recursive analysis; finitary mathematics

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03A05: Philosophical and critical aspects of logic and foundations

26E40: Constructive real analysis

46S30: Constructive functional analysis

Related Items

Nikolai Aleksandrovich Shanin (obituary)

Cites Work

• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Binary recursive arithmetic
• Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
• Some questions in constructive functional analysis
• Recursive analysis
• On the logic of constructive mathematics
• A constructivist theory of plane curves
• A Half-Century of Mathematics
• Function Theory in an Axiom-Free Equation Calculus
• Formal Reductions of the General Combinatorial Decision Problem
• [Russian Text Ignored]
• [Russian Text Ignored.]
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item