scientific article; zbMATH DE number 4177353
From MaRDI portal
Publication:3202285
zbMATH Open0715.18004MaRDI QIDQ3202285FDOQ3202285
Authors: René Guitart
Publication date: 1990
Full work available at URL: https://eudml.org/doc/91751
Title of this publication is not available (Why is that?)
Recommendations
cohomologyhomologycategory of modelssketchesfirst order languagecategory of interpretationscohomotopy typesHomotopy types
Categorical logic, topoi (03G30) Functor categories, comma categories (18A25) Other classical first-order model theory (03C68)
Cites Work
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3202285)