Pages that link to "Item:Q1715475"
From MaRDI portal
The following pages link to A note on non-classical nonstandard arithmetic (Q1715475):
Displaying 8 items.
- On certain questions of nonstandard arithmetic (Q1920116) (← links)
- Non-commutative infinitary Peano arithmetic (Q2915710) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- (Q3312228) (← links)
- The strength of nonstandard methods in arithmetic (Q3714082) (← links)
- (Q3808207) (← links)
- Non-commutative classical arithmetical sequent calculi are intuitionistic (Q4644548) (← links)
- A note on non-classical Nonstandard Arithmetic (Q6302283) (← links)