Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier

DOI10.1007/BF01273686zbMath0840.03028OpenAlexW1975647141MaRDI QIDQ1908819

Paolo Lipparini

Publication date: 1 July 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

compactnessultrafiltersaxiom of constructibilitycardinality logics

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Ultraproducts and related constructions (03C20) Other infinitary logic (03C75)

Related Items (1)

Compactness of ω^λ for λ singular

Cites Work

• Regularity of ultrafilters and the core model
• Regularity of ultrafilters
• On the singular cardinals problem. I
• Maximal models in the language with quantifier There exist uncountably many
• The weak □* is really weaker than the full □
• Limit ultrapowers and abstract logics
• Relative consistency results via strong compactness
• Infinitary compactness without strong inaccessibility
• On cardinalities of ultraproducts
• Descendingly Incomplete Ultrafilters and the Cardinality of Ultrapowers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ultrafilter translations. I: \((\lambda, \lambda)\)-compactness of logics with a cardinality quantifier