Generalized sketches as a framework for completeness theorems. I-III
From MaRDI portal
(Redirected from Publication:674480)
Recommendations
Cites work
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3931013 (Why is no real title available?)
- scientific article; zbMATH DE number 3941494 (Why is no real title available?)
- scientific article; zbMATH DE number 4050960 (Why is no real title available?)
- scientific article; zbMATH DE number 4099537 (Why is no real title available?)
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 29044 (Why is no real title available?)
- scientific article; zbMATH DE number 3499976 (Why is no real title available?)
- scientific article; zbMATH DE number 3526910 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3616640 (Why is no real title available?)
- scientific article; zbMATH DE number 4128423 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3311793 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A completeness theorem in modal logic
- A generalization of the concept of sketch
- Accessible Categories: The Foundations of Categorical Model Theory
- An algebraic approach to non-classical logics
- Avoiding the axiom of choice in general category theory
- Completeness results for intuitionistic and modal logic in a categorical setting
- Embedding of a free cartesian-closed category into the category of sets
- INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
- Lambek's categorical proof theory and Läuchli's abstract realizability
- Logic with the quantifier “there exist uncountably many”
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Representation of categories
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
Cited in
(22)- On stability of exactness properties under the pro-completion
- scientific article; zbMATH DE number 3871607 (Why is no real title available?)
- Composing Cagean silence
- Accessible aspects of 2-category theory
- Triangular Logic of Partial Toposes
- An algebraic semantics for MOF
- Sketches and computation – I: basic definitions and static evaluation
- scientific article; zbMATH DE number 4085876 (Why is no real title available?)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- A reasoning system for satisfiability of diagrammatic specifications
- A formal approach to the specification and transformation of constraints in MDE
- Adjoint functor theorems for homotopically enriched categories
- A formalisation of the copy-modify-merge approach to version control in MDE
- Database queries and constraints via lifting problems
- Diagrammatic logic applied to a parameterisation process
- Avoiding the axiom of choice in general category theory
- First-order homotopical logic
- scientific article; zbMATH DE number 4099537 (Why is no real title available?)
- Sheafifiable homotopy model categories. II
- scientific article; zbMATH DE number 3893159 (Why is no real title available?)
- A diagrammatic logic for object-oriented visual modeling
- Proving semantical equivalence of data specifications
This page was built for publication: Generalized sketches as a framework for completeness theorems. I-III
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674480)
