The unique existential quantifier

DOI10.1007/BF01967650zbMath0272.02019MaRDI QIDQ3214882

H. 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

• Unnamed Item
• Unnamed Item
• Some consequences of the axiom of constructibility
• Anzahlquantoren in der Kleene-Hierarchie
• The axiom of determinateness and reduction principles in the analytical hierarchy
• SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
• Anzahlquantoren in der Prädikatenlogik

This page was built for publication: The unique existential quantifier