A+ CATEGORY SCIENTIFIC UNIT

Compactness and Löwenheim-Skolem properties in categories of pre-institutions

Volume 28 / 1993

Antonino Salibra, Giuseppe Scollo Banach Center Publications 28 (1993), 67-94 DOI: 10.4064/-28-1-67-94

Abstract

The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations of the classical, object-oriented notions of compactness. Furthermore, a notion of cardinal pre-institution is introduced, and a Löwenheim-Skolem preservation theorem for cardinal pre-institutions is presented.

Authors

  • Antonino Salibra
  • Giuseppe Scollo

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image