Compact and ϖ-compact formulas in 51-151-151-1

DOI10.1007/BF02011867zbMath0397.03020OpenAlexW2070221410MaRDI QIDQ4180331

Bonnie Gold

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

Compact FormulasEquivalence to a Finitary FormulaInfinitary Language

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items

Compact and ϖ-compact formulas in 51-151-151-1

Cites Work

• Unnamed Item
• Unnamed Item
• More Lowenheim-Skolem results for admissible sets
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Compact and ϖ-compact formulas in 51-151-151-1
• On Extensions of Elementary Logic
• Hanf numbers and well-ordering numbers
• Proof theory