A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property.

Rami P. Grossberg

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

Keyphrases

first order logic
data sets
cognitive psychology
neural network
desirable properties
web services
database systems
description logics
theoretical framework
computational models
fixed point theorem