Pages that link to "Item:Q3762310"
From MaRDI portal
The following pages link to A Free-Variable Theory of Primitive Recursive Arithmetic (Q3762310):
Displaying 9 items.
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- Finitary consistency of a free arithmetic (Q797576) (← links)
- On some generalizations of the primitive recursive arithmetic (Q1885041) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic (Q3754615) (← links)
- Semantic Completeness of Free-Variable Theories (Q3754616) (← links)
- Incompleteness of a free arithmetic (Q3977029) (← links)
- A Free Variable Version of the First-Order Predicate Calculus (Q3985544) (← links)
- (Q4807686) (← links)