A propos d'un théorème de Macintyre

Lucas, Thierry;Lavendhomme, René
(1981) Cahiers de Topologie et Geometrie Differentielle Categoriques — Vol. 22, n° 4, p. 387-398 (1981)

Files

No attached file found for this publication.

Details

Authors
  • Lucas, ThierryUCLouvain
    Author
  • Lavendhomme, RenéUCLouvain
    Author
Abstract
Autre démonstration d'un théorème de A. Macintyre, introduisant la notion de "structure moëlleuse", sorte de version logique des faisceaux mous.

Citations

  • APA
  • Chicago
  • FWB

Lucas, T., & Lavendhomme, R. (1981). A propos d’un théorème de Macintyre. Cahiers de Topologie et Geometrie Differentielle Categoriques, 22(4), 387-398. https://hdl.handle.net/2078.5/87396 (Original work published 1981)