Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories.

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

Keyphrases

higher order
set theory
partial order
probability theory
fuzzy set theory
high order
natural images
fuzzy sets
mathematical morphology
markov random field
first order logic
algebraic geometry
pairwise
rough sets
rough set theory
artificial intelligence
multi dimensional
description logics
decision trees
databases