First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

Publication date: 1977

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Model theory (03C99) Étale and other Grothendieck topologies and (co)homologies (14F20) Other algebras related to logic (03G25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Other infinitary logic (03C75) Intuitionistic mathematics (03F55) Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)

Related Items

Fibered universal algebra for first-order logics, Is Logic Relevant to Classifications?, The Unification of Mathematics via Topos Theory, Back and Forth in Positive Logic, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Logic of refinement types, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES, On duality and model theory for polyadic spaces, Continuity and geometric logic, Infinitary first-order categorical logic, Unnamed Item, Equational logic and categorical semantics for multi-languages, Nominal logic, a first order theory of names and binding, Saturated models of intuitionistic theories, Model-theoretic imaginaries and coherent sheaves, Exploring Theories with a Model-Finding Assistant, Cartesian bicategories. I, Logic in Category Theory, Some Results on Locally Finitely Presentable Categories, Theories of presheaf type, Positive Jonsson theories, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Partial morphisms in categories of effective objects, Unnamed Item, Limits in free coproduct completions, Logical quantization of differential geometry, Bi-Heyting algebras, toposes and modalities, Logical quantizations of first-order structures, Unnamed Item, An institution-independent proof of the Robinson consistency theorem, Quotient completion for the foundation of constructive mathematics, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), Exact functors, local connectedness and measurable cardinals, A dialectica-like model of linear logic, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, Independence and freedom, Some supplements to Feferman-Vaught related to the model theory of adeles, ON MORITA EQUIVALENCE AND INTERPRETABILITY, A new framework for declarative programming, Dialectica principles via Gödel doctrines, General affine adjunctions, Nullstellensätze, and dualities, A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, Unnamed Item, Universality of Logic, Unnamed Item, Full Continuous Embeddings of Toposes, The number of countable models in realizability toposes, On stability of exactness properties under the pro-completion, Elementary doctrines as coalgebras, The World's simplest axiom of choice fails, Forking independence from the categorical point of view, Unnamed Item, Unnamed Item, Unnamed Item, Fuzzy logic and enriched categories, Algebraization of quantifier logics, an introductory overview, Unnamed Item, Unnamed Item, Unnamed Item, Aspects of predicative algebraic set theory. I: Exact completion, A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms, Quantified extensions of canonical propositional intermediate logics, Ultrafilters, finite coproducts and locally connected classifying toposes, How to be a structuralist all the way down, Fuzzy sets and geometric logic, Modules in the category of sheaves over quantales, The Skolem-Löwenheim theorem in toposes, Completeness of cocompletions, A categorical semantics for fuzzy predicate logic, Dynamical method in algebra: Effective Nullstellensätze, Quantum logic in dagger kernel categories, Presheaf semantics and independence results for some non-classical first- order logics, Sheafifiable homotopy model categories. II, Syntactic categories for Nori motives, On the fullness of certain functors, Unnamed Item, Topos Theory in Montréal in the 1970s: My Personal Involvement, A characterisation of the category of compact Hausdorff spaces, When is Flatness Coherent?, Definable additive categories: purity and model theory, Enriched regular theories, Unnamed Item, Notions of computation and monads, Quantum Logic in Dagger Kernel Categories, On the algebraic structure of declarative programming languages, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, Unnamed Item, Unnamed Item, The exact completion for regular categories enriched in posets, Joyal's arithmetic universes via type theory, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, Grothendieck toposes as unifying `bridges': a mathematical morphogenesis, Category theory and the foundations of mathematics: philosophical excavations., Quotients of decidable objects in a topos, Sheaf models and massless fields, CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, Sheaf models for choice sequences, On conceptual completeness of syntactic-semantical systems, Path-Lifting for Grothendieck Toposes, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Freeing Structural Realism from Model Theory, Time and Mnemonic Morphism, The Skolem-Löwenheim theorem in toposes. II, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Topological representation of geometric theories, Unnamed Item, Fundamentals of forking