Quantifier-complete categories

DOI10.1016/0022-4049(76)90068-2zbMath0359.02028OpenAlexW2086127089MaRDI QIDQ1238805

Manfred E. Szabo

Publication date: 1976

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(76)90068-2

Mathematics Subject Classification ID

Other infinitary logic (03C75) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical equivalence of proofs
• The logic of closed categories
• A Counter-Example to Coherence in Cartesian Closed Categories
• Polycategories

This page was built for publication: Quantifier-complete categories