Document Zbl 0423.03030

Elimination verallgemeinerter Quantoren in \(\omega_1\)-kategorischen Theorien. (German) Zbl 0423.03030

Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 26, 659-661 (1977).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0423.03030

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

Cite Review PDF