Canonical fragments of the strong reflection principle.

Published in: J. Math. Log. (2021)

Keyphrases

data structure
real time
real world
computer vision
wide range
object recognition
expert systems
user interface
query language
probabilistic model
probability distribution
canonical form