Relativized ordinal analysis: The case of Power Kripke-Platek set theory.

Michael Rathjen

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

set theory
neural network
image analysis
databases
machine learning
information retrieval
co occurrence
rough sets
game theory
partial order
temporal logic
modal logic