Pages that link to "Item:Q2915888"
From MaRDI portal
The following pages link to Vaught's theorem on axiomatizability by a scheme (Q2915888):
Displaying 6 items.
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
- Pour-El's landscape (Q6670877) (← links)