Abstract logic and set theory. II. Large cardinals

DOI10.2307/2273145zbMath0531.03019OpenAlexW2104031909MaRDI QIDQ3312208

Jouko Väänänen

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273145

zbMATH Keywords

upper boundslower boundslarge cardinalsHärtig quantifierLöwenheim numberHanf numberunbounded logics

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Abstract model theory (03C95)

Related Items

The Härtig quantifier: a survey ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Bounded orbits and measures on a group

Cites Work

• On the role of supercompact and extendible cardinals in logic
• Boolean valued models and generalized quantifiers
• How large is the first strongly compact cardinal? or a study on identity crises
• Some applications of iterated ultrapowers in set theory
• A Remark On The Härtig Quantifier