Pages that link to "Item:Q3701406"

The following pages link to A Generalization of a Theorem of H. Friedman (Q3701406):

Displaying 15 items.

• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method (Q676310) (← links)
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
• A note on a theorem of Kanovei (Q701750) (← links)
• A generalization of the Curtis-Hedlund theorem (Q930928) (← links)
• Tanaka's theorem revisited (Q2204369) (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• (Q3323933) (← links)
• Automorphisms of models of bounded arithmetic (Q3414770) (← links)
• GENERALIZING A THEOREM OF HUPPERT AND MANZ (Q3502765) (← links)
• A Note on a Theorem of H. FRIEDMAN (Q3753990) (← links)
• Unions and intersections of isomorphic images of nonstandard models of arithmetic (Q3757917) (← links)
• (Q4300244) (← links)
• The Barwise-Schlipf theorem (Q5146566) (← links)
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767) (← links)
• Injecting inconsistencies into models of PA (Q5916455) (← links)