The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes.

Published in: J. Symb. Log. (1988)

Keyphrases

theoretical basis
outlier detection
theoretical framework
data sets
search engine
data mining
clustering algorithm
computational model
general theory