Models of set theory with definable ordinals.

Published in: Arch. Math. Log. (2005)

Keyphrases

set theory
first order logic
neural network
databases
real world
knowledge representation
natural images