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

DOI10.1007/BF02011867MaRDI QIDQ4180331zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Compact and ϖ-compact formulas in 51-151-151-1
• Hanf numbers and well-ordering numbers
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• More Lowenheim-Skolem results for admissible sets
• On Extensions of Elementary Logic
• Proof theory

Cited in

(1)

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

This page was built for publication: Compact and ϖ-compact formulas in 51-151-151-1

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