Adding propositional connectives to countable infinitary logic

DOI10.1017/S0305004100049379zbMath0323.02022OpenAlexW1972026574MaRDI QIDQ4085693

Harvey M. Friedman

Publication date: 1975

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100049379

Mathematics Subject Classification ID

Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (3)

Pitts' quantifiers are not topological quantification ⋮ Extensions of countable infinitary logic which preserve most of its nice properties ⋮ Positive results in abstract model theory: a theory of compact logics

Cites Work

• Infinitary logic and admissible sets
• Unnamed Item
• Unnamed Item

This page was built for publication: Adding propositional connectives to countable infinitary logic