Pages that link to "Item:Q3753990"
From MaRDI portal
The following pages link to A Note on a Theorem of H. FRIEDMAN (Q3753990):
Displaying 10 items.
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310) (← links)
- Eight problems about Nerode semirings (recursive ultrapowers) (Q1192347) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Sub-arithmetical ultrapowers: A survey (Q2276952) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- (Q3323933) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
- Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability (Q6642874) (← links)
