Adding propositional connectives to countable infinitary logic

DOI10.1017/S0305004100049379zbMATH Open0323.02022OpenAlexW1972026574MaRDI QIDQ4085693FDOQ4085693

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

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

Cites Work

• Infinitary logic and admissible sets
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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

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