The theory of differentially closed fields in logics with cardinal quantifiers

DOI10.1007/BF02007263zbMath0371.02024MaRDI QIDQ4146727

No author found.

Publication date: 1977

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137933

Mathematics Subject Classification ID

Model theory (03C99) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Cites Work

• Model-completeness in a first order language with a generalized quantifier
• Model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item