Investigation of constructive functions by the method of fillings

DOI10.1007/BF01117468zbMath0252.02034MaRDI QIDQ2557253

Vladimir Lifschitz

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to real functions (26-00)

Related Items (5)

Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity ⋮ Apartness, compactness and nearness ⋮ Relationship between the classical and construvtive developments of mathematical analysis ⋮ Topological variants of the continuity theorem for mappings and related theorems ⋮ Problems, solutions, and completions

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Investigation of constructive functions by the method of fillings