Elimination verallgemeinerter Quantoren in \(\omega_1\)-kategorischen Theorien. (German) Zbl 0423.03030
MSC:
03C10 | Quantifier elimination, model completeness, and related topics |
03C80 | Logic with extra quantifiers and operators |
03C35 | Categoricity and completeness of theories |
03B25 | Decidability of theories and sets of sentences |