Pages that link to "Item:Q3029007"
From MaRDI portal
The following pages link to A Conservation Result Concerning Bounded Theories and the Collection Axiom (Q3029007):
Displaying 8 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Admissible closures of polynomial time computable arithmetic (Q634777) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Corrected upper bounds for free-cut elimination (Q719283) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Bounded theories for polyspace computability (Q2450770) (← links)
- Two General Results on Intuitionistic Bounded Theories (Q4264539) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
