The unique existential quantifier

DOI10.1007/BF01967650MaRDI QIDQ3214882zbMATH OpenFDO

Authors Herbert B. Enderton

Publication date 1970

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

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

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Hierarchies of computability and definability (03D55)

Cites work

• Anzahlquantoren in der Kleene-Hierarchie
• Anzahlquantoren in der Prädikatenlogik
• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Some consequences of the axiom of constructibility
• SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
• The axiom of determinateness and reduction principles in the analytical hierarchy

This page was built for publication: The unique existential quantifier

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