Calcul syntaxique des modèles et calcul des formules internes

 Access to full text

 Full (PDF)

1. (C.A.L.O.) Y. Diers, Catégories localisables, Thèse, Paris, 1977. 
2. (D.E.L.C.) R. Guitart et L. Van Den Bril, Décompositions et lax-complétions, Cahiers de Top. et Géom. Diff., XVIII,4, 1977. Zbl0381.18012
3. (E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. Zbl0397.18007
4. (E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. Zbl0196.03102
5. (F.A.U.C.) H. Andréka et I. Németi, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom., 8, 1979. Zbl0531.03042
6. (F.O.C.L.) M. Makkaiet G. Reyes, First order categorical logic, Lect. Notes in Math. 611, 1977. Zbl0357.18002
7. (F.O.S.A.) C. Lair, Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2, 1971. Zbl0222.18010
8. (G.M.E.N.) F. Cary, Graphes multiplicatifs enrichis, Esquisses Math. 27, Amiens, 1978. Zbl0377.18003
9. (I.F.O.F.) H. Andréka et I. Németi, Injectivity in categories to represent all first order formulas, I, Dem. Math., XII, 3, 1979. Zbl0517.03029
10. (L.P.L.G.) F. Ulmer, Locally presentable and locally generated categories, Lect. Notes in Math. 195, 1971. Zbl0225.18005MR292908
11. (O.C.U.C.) S. Fakiret L. Haddad, Objets cohérents et ultraproduits dans les catégories, Journ. of Alg., 21,3, 1972. Zbl0248.18021MR311742
12. (R.E.C.E.) R. Guitart, Relations et carrés exacts, Ann. Sci. Math. Québec, (à paraître). Zbl0495.18008
13. (R.M.E.S.) R. Guitart, Remarques sur les machines et les structures, Cah. de Top. et Géom. Diff., XV,2, 1974. Zbl0319.18003

1. C. Lair, Catégories modelables et catégories esquissables
2. René Guitart, Introduction à l'analyse algébrique
3. R. Guitart, Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
4. Bui Huy Hien, I. Sain, In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
5. Pierre Ageron, Les catégories localement (multi)présentables comme domaines de Scott
6. C. Lair, Diagrammes localement libres extensions de corps et théorie de Galois
7. François Foltz, Sur l'existence d'espaces affinés à groupes de translations non commutatifs
8. R. Guitart, C. Lair, Limites et co-limites pour représenter les formules
9. C. Lair, Sesqui-monades et monades locales
10. R. Guitart, C. Lair, Existence de diagrammes localement libres