The following pages link to (Q3140629):
Displaying 13 items.
- Open problems left in my wake of research (Q1763575) (← links)
- Generalizing theorems in real closed fields (Q1899140) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- (Q2771428) (← links)
- (Q3060868) (← links)
- (Q3592268) (← links)
- (Q3656233) (← links)
- (Q4017913) (← links)
- Open problems (Q4697827) (← links)
- Open problems (Q5916050) (← links)