Article thumbnail

Certain Facts about Families of Subsets of Many Sorted Sets

By Artur Kornilowicz

Abstract

this paper. 1. Preliminaries For simplicity, we follow the rules: I, G, H, i are sets, A, B, M are many sorted sets indexed by I, s 1 , s 2 , s 3 are families of subsets of I, v, w are subsets of I, and F is a many sorted function indexed by

Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.23.5324
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://mizar.uwb.edu.pl/JFM/Vo... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles