The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.

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

Keyphrases

fixed point theorem
viewpoint
fixed point
fuzzy set theory
linear logic
classical logic
markov decision processes
hierarchical structure
database
higher level
machine learning
data sets
tree structure
fuzzy numbers
finite state
search space
neural network
cut elimination