The following pages link to A note on a theorem of Kanovei (Q701750):
Displaying 4 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- On cofinal submodels and elementary interstices (Q1762352) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- Cofinal elementary extensions (Q5404159) (← links)