On two complete sets in the analytical and the arithmetical hierarchies

DOI10.1007/BF02276794zbMath0317.02048MaRDI QIDQ4078003

Shlomo Vinner

Publication date: 1975

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

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

Mathematics Subject Classification ID

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

Cites Work

• Skolem-type normal forms for first-order languages with a generalized quantifier
• Syntactical and semantical properties of generalized quantifiers
• Logic with the quantifier “there exist uncountably many”
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On two complete sets in the analytical and the arithmetical hierarchies