Elimination of Cardinality Quantifiers

DOI10.1002/MALQ.19820280405MaRDI QIDQ3956923zbMATH OpenOpenAlexFDO

Authors Hans-Peter Tuschik

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820280405

zbMATH Keywords

algebraic closed fieldscardinality quantifiersChang quantifierHaertig quantifierreal-closed fieldsVaughtian pair

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Logic with extra quantifiers and operators (03C80)

Cited in

(1)

• The Härtig quantifier: a survey

This page was built for publication: Elimination of Cardinality Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3956923)