The following pages link to On maximal theories (Q3985086):
Displaying 3 items.
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
