Cardinality of models for theories in a calculus with a Härtig quantifier

DOI10.1007/BF00972801zbMath0427.03027OpenAlexW1973404430MaRDI QIDQ1136754

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/bf00972801

zbMATH Keywords

Härtig quantifiercardinality of models

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Cites Work

• Hanf numbers for fragments of L\(_{\infty \omega}\)
• An elementary sentence which has ordered models
• Skolem-type normal forms for first-order languages with a generalized quantifier
• Infinitary logic and admissible sets
• A Remark On The Härtig Quantifier
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cardinality of models for theories in a calculus with a Härtig quantifier