La logique des topos
From MaRDI portal
Publication:3333040
DOI10.2307/2273251zbMath0544.03035OpenAlexW2094804020MaRDI QIDQ3333040
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273251
Related Items
Category theory, logic and formal linguistics: some connections, old and new, Equational classes of toposes, Separably real closed local rings, Lindenbaum algebras of intuitionistic theories and free categories, Functional sorts in data type specifications, Logic in Category Theory, Kleene computable functionals and the higher order existence property, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Classifying toposes for first-order theories, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), KRULL DIMENSION IN MODAL LOGIC, An elementary proof of Wiebe's theorem, Using formal methods with SysML in aerospace design and engineering, Triposes, q-toposes and toposes, Unnamed Item, Reflection principles for synthetic theories of smooth manifolds, \(\mathbb{T}\)-motives, Computable Queries for Object Oriented Databases, CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS, A co-free construction for elementary doctrines, Forcing in Proof Theory, Languages for monoidal categories, Topos Theory in Montréal in the 1970s: My Personal Involvement, Toposes as homotopy groupoids, Topoi and categories of fuzzy sets, Category theory and the foundations of mathematics: philosophical excavations., Internal coproduct of abelian groups in an elementary topos, Classifying topoi and finite forcing, Abelian groups in a topos: injectives and injective effacements, A Boolean model of ultrafilters, Heyting-valued interpretations for constructive set theory, The structure of free closed categories, Syntax for Semantics: Krull’s Maximal Ideal Theorem
Cites Work
