Pages that link to "Item:Q3322105"
From MaRDI portal
The following pages link to On cofinal extensions of models of arithmetic (Q3322105):
Displaying 14 items.
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Saturation and simple extensions of models of Peano arithmetic (Q762144) (← links)
- Ultrafilters and types on models of arithmetic (Q1058509) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- On cofinal extensions of models of fragments of arithmetic (Q1182708) (← links)
- Conservative extensions of models of set theory and generalizations (Q3030803) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Elementary Extensions of Models of the Alternative Set Theory (Q3699685) (← links)
- Extendability of Functions on Models of ZFFin (Q3798655) (← links)
- Extendible Sets in Peano Arithmetic (Q3832550) (← links)
- Generalized r-cohesiveness and the arithmetical hierarchy: a correction to “Generalized cohesiveness” (Q4779652) (← links)
- Cofinal elementary extensions (Q5404159) (← links)