Displaying 21 – 40 of 166

Showing per page

Characterizations of Lambek-Carlitz type

Emil Daniel Schwab (2004)

Archivum Mathematicum

We give Lambek-Carlitz type characterization for completely multiplicative reduced incidence functions in Möbius categories of full binomial type. The q -analog of the Lambek-Carlitz type characterization of exponential series is also established.

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

Antonino Salibra, Giuseppe Scollo (1993)

Banach Center Publications

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...

Currently displaying 21 – 40 of 166