Quantifier-complete categories
From MaRDI portal
Publication:1238805
DOI10.1016/0022-4049(76)90068-2zbMath0359.02028MaRDI QIDQ1238805
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
03C75: Other infinitary logic
18A15: Foundations, relations to logic and deductive systems
03F99: Proof theory and constructive mathematics
Cites Work