Weak Cardinality Theorems for First-Order Logic

Till Tantau Weak Cardinality Theorems for First-Order Logic Electronic Colloquium on Computational Complexity (ECCC) 2003 024 10 db/journals/eccc/eccc10.html#ECCC-TR03-024 http://eccc.hpi-web.de/eccc-reports/2003/TR03-024/index.html