See also
Avril Styrman
University of Helsinki
  1.  14
    Finitist Set Theory in Ontological Modeling.Avril Styrman & Aapo Halko - 2018 - Applied Ontology 13 (2):107-133.
    This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...)
    Direct download (3 more)  
    Export citation