The following pages link to (Q3140636):
Displaying 22 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Interpretability of various extensions of arithmetic (Q1095138) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Saturated models of universal theories (Q1861531) (← 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)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- Fragments of arithmetic and pairing functions (Q2765865) (← links)
- Interpreting weak König's lemma using the arithmetized completeness theorem (Q2814420) (← links)
- On notions of computability-theoretic reduction between Π21 principles (Q3186057) (← links)
- The metamathematics of Stable Ramsey’s Theorem for Pairs (Q3190948) (← links)
- The atomic model theorem and type omitting (Q3642694) (← links)
- (Q3679154) (← links)
- (Q4508546) (← links)
- THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
