Pages that link to "Item:Q3414770"
From MaRDI portal
The following pages link to Automorphisms of models of bounded arithmetic (Q3414770):
Displaying 6 items.
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Where pigeonhole principles meet Koenig lemmas (Q5158115) (← links)