Login / Signup

On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers.

Matatyahu RubinSaharon Shelah
Published in: J. Symb. Log. (1980)
Keyphrases
  • genetic algorithm
  • first order logic
  • evolutionary algorithm
  • databases
  • real world
  • data mining
  • knowledge base
  • natural language
  • real valued