The following pages link to (Q5693580):
Displaying 5 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- Sequences in countable nonstandard models of the natural numbers (Q1121885) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- On embedding models of arithmetic of cardinality \aleph<sub>1</sub>into reduced powers (Q4790201) (← links)
- Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$ (Q6094154) (← links)