Hanf number for the calculus with the Härtig quantifier

DOI10.1007/BF00970046zbMath0431.03022OpenAlexW2035616959MaRDI QIDQ1137989

Aleksandr Georgievich Pinus

Publication date: 1979

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970046

zbMATH Keywords

Härtig quantifierHanf number

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Related Items (1)

The Härtig quantifier: a survey

Cites Work

• Lectures in set theory with particular emphasis on the method of forcing
• SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN I
• A Remark On The Härtig Quantifier

This page was built for publication: Hanf number for the calculus with the Härtig quantifier