Extensions of countable infinitary logic which preserve most of its nice properties

DOI10.1007/BF02021129zbMath0473.03031MaRDI QIDQ3927221

Leo Harrington

Publication date: 1980

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

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

zbMATH Keywords

infinitary languagesgeneralized logicspropositional connectives

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Logic on admissible sets (03C70)

Related Items

A simple solution to Friedman's fourth problem ⋮ Positive results in abstract model theory: a theory of compact logics

Cites Work

• Unnamed Item
• Elementary induction on abstract structures
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• Adding propositional connectives to countable infinitary logic
• Axioms for abstract model theory
• On Extensions of Elementary Logic
• Infinitary logic and admissible sets