Some Contributions to Definability Theory for Languages with Generalized Quantifiers.

John T. Baldwin Douglas E. Miller

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

Keyphrases

expressive power
first order logic
fixed point
multiscale
computational model
theoretical basis
general theory
formal languages
data sets
database systems
programming language
language independent
finite model theory