Pages that link to "Item:Q1885041"

The following pages link to On some generalizations of the primitive recursive arithmetic (Q1885041):

Displaying 10 items.

• Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
• \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA (Q1411662) (← links)
• Generating some classes of recursive functions by superpositions of simple arithmetic functions (Q2377524) (← links)
• A representation theorem for primitive recursive algorithms (Q2895767) (← links)
• (Q3331216) (← links)
• On the Algebraic Structure of Primitive Recursive Functions (Q3347867) (← links)
• On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic (Q3754615) (← links)
• A Free-Variable Theory of Primitive Recursive Arithmetic (Q3762310) (← links)
• (Q3770531) (← links)
• On the Difficulty of Writing Out formal Proofs in Arithmetic (Q4351922) (← links)