The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic.

Douglas K. Brown Stephen G. Simpson

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

Keyphrases

higher order
floating point
image processing
text categorization
hierarchical structure
object categories
database
databases
decision making
relational databases
multiresolution
high order
von neumann
arithmetic operations
semantic categories