The following pages link to (Q5668470):
Displaying 9 items.
- Embeddings of and into Nerode semirings (Q1100198) (← links)
- Models of arithmetic and recursive functions (Q1219274) (← links)
- The theory of \(\kappa\)-like models of arithmetic (Q1913629) (← links)
- Sub-arithmetical ultrapowers: A survey (Q2276952) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- A comment on the joint embedding property (Q2563954) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- (Q3691663) (← links)
- ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
