Pages that link to "Item:Q4081241"
From MaRDI portal
The following pages link to On models of arithmetic—Answers to two problems raised by H. Gaifman (Q4081241):
Displaying 5 items.
- P, NP, Co-NP and weak systems of arithmetic (Q672742) (← links)
- On expandability of models of Peano arithmetic. II (Q1236115) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- (Q3691663) (← links)
- Recursively saturated nonstandard models of arithmetic (Q3966138) (← links)