Pages that link to "Item:Q4939397"
From MaRDI portal
The following pages link to An Effective Conservation Result for Nonstandard Arithmetic (Q4939397):
Displaying 5 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- On interpretations of bounded arithmetic and bounded set theory (Q1038653) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
