Incompactness in languages with infinitely long expressions

DOI10.4064/FM-53-3-309-324MaRDI QIDQ5607988zbMATH OpenOpenAlexFDO

Authors William P. Hanf

Publication date 1964

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cited in

(17)

• The cardinality of subdirectly indecomposable systems in quasivarieties
• Measure-compact spaces
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Embedding theorems for graphs establishing negative partition relations
• The Hanf number for classes of algebras whose largest congruence is always finitely generated
• Subtle cardinals and linear orderings
• Hanf numbers for extendibility and related phenomena
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• Large cardinals, inner models, and determinacy: an introductory overview
• Higher Souslin trees and the GCH, revisited
• Generalized Quantifiers and Compact Logic
• On an automated translation of modal proof rules into formulas of the classical logic
• On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages
• Games with filters. I
• The Boolean compactness theorem for \(\mathrm{L}_{\infty \infty}\)
• Surrealist landscape with figures (a survey of recent results in set theory)
• Interpretations of module varieties

This page was built for publication: Incompactness in languages with infinitely long expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5607988)