Pages that link to "Item:Q4939397"
From MaRDI portal
The following pages link to An Effective Conservation Result for Nonstandard Arithmetic (Q4939397):
Displaying 11 items.
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- 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)
- \(\text{PA} (aa)\) (Q1913630) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC (Q3325717) (← links)
- The strength of nonstandard methods in arithmetic (Q3714082) (← links)
- On the strength of PA with a non-principal ultrafilter quantifier (Q3976993) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Nonstandard Arithmetic and Reverse Mathematics (Q5479570) (← links)