Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe.

Published in: CoRR (2024)

Keyphrases

theoretical framework
theoretical basis
general theory
information systems
case study
computational models
information theory
approximation spaces
set theoretic
data sets
knowledge base
multi agent
multi agent systems
computational model