Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
From MaRDI portal
Publication:2551094
DOI10.1007/BFb0073961zbMath0233.00005OpenAlexW1512478964MaRDI QIDQ2551094
No author found.
Publication date: 1972
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0073961
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to algebraic geometry (14-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Category theory, logic and formal linguistics: some connections, old and new, Logic in Category Theory, The strength of prime separation, sobriety, and compactness theorems, Consonance and Cantor set-selectors, From types to sets, F. William Lawvere (1937--2023): a lifelong struggle for the unity of mathematics, A categorial approach to the theory of computation, A characterization of nuclei in orthomodular and quantic lattices, Asymmetry of Cantorian Mathematics from a Categorial Standpoint: Is It Related to the Direction of Time?, On topological spaces that have a bounded complete dcpo model, Compositional characterisations of \(\lambda\)-terms using intersection types, Partial order and a T0-topology in a set of finite quantum systems, Unnamed Item
