Pages that link to "Item:Q3971940"
From MaRDI portal
The following pages link to End-extending models of $IΔ_0 + exp + ΒΣ_1$ (Q3971940):
Displaying 20 items.
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- End extensions of models of arithmetic (Q1203781) (← links)
- End extensions of models of linearly bounded arithmetic (Q1377910) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Minimal elementary end extensions (Q2402959) (← links)
- Structures interpretable in models of bounded arithmetic (Q2570136) (← links)
- Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme (Q2892683) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- On the End Extension Problem For Δ0-PA(S) (Q3033758) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- On \(\Sigma ^ 0_ 1\)-extensions of \(\omega\) (Q3216651) (← links)
- On the structure of models of bounded $E\sb 1$-induction (Q3682483) (← links)
- Elementary Extensions of Models of the Alternative Set Theory (Q3699685) (← links)
- A Generalization of a Theorem of H. Friedman (Q3701406) (← links)
- On maximal theories (Q3985086) (← links)
- On Wilkie and Paris’s notion of fullness (Q4615032) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
