The following pages link to Tanaka's theorem revisited (Q2204369):
Displaying 6 items.
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310) (← links)
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Tanaka theorem for inelastic Maxwell models (Q2471776) (← links)
- The theoretical connection between Mori-Tanaka's theory and the Hashin- Shtrikman-Walpole bounds (Q2640369) (← links)
- Models of the Weak König Lemma (Q5881255) (← links)
