Compactness and Loewenheim-Skolem properties in categories of pre-institutions

A. Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationAlgebraic Methods in Logic and in Computer Science
    Place of PublicationInst. Math. Polish Acad. Sci., Warszawa, Poland
    Pages67-94
    Publication statusPublished - 8 Feb 1993

    Keywords

    • METIS-119270

    Cite this