Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
From MaRDI portal
Publication:768371
zbMath0077.01401MaRDI QIDQ768371
Publication date: 1957
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items
Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme ⋮ On some generalizations of the primitive recursive arithmetic ⋮ The Imandra Automated Reasoning System (System Description) ⋮ R. L. Goodstein and mathematical logic ⋮ Equational calculi for Grzegorczyk's classes \(\mathcal E^n\) ⋮ Canonical recursive functions and operations ⋮ TWO (OR THREE) NOTIONS OF FINITISM ⋮ Modal functions for concise definition of state machines and products ⋮ A version of the ∑1-reflection principle for CFA provable in PRA ⋮ On the complexity of cutting-plane proofs ⋮ On a finitary version of mathematical analysis ⋮ Dual realizability in symmetric logic ⋮ Equational calculus for primitive recursive rational-valued functions ⋮ Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics ⋮ Cartesian categories with natural numbers object ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY ⋮ The primitive recursive analysis of ordinary differential equations and the complexity of their solutions ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) ⋮ Unary primitive recursive functions ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Studies in constructive mathematics and mathematical logic. Part IX ⋮ Aspects of Categorical Recursion Theory ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
