Definability of Initial Segments.

Saharon Shelah Akito Tsuboi

Published in: Notre Dame J. Formal Log. (2002)

Keyphrases

fixed point
propositional logic
databases
neural network
artificial intelligence
social networks
clustering algorithm
object recognition
equal length