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

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