The following pages link to On maximal theories (Q3985086):
Displaying 7 items.
- Maximality and refutability (Q558425) (← links)
- 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)
- Maximal theories (Q1093629) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme (Q2892683) (← links)
- End-extending models of $IΔ_0 + exp + ΒΣ_1$ (Q3971940) (← links)
