Generalizations of the Compactness Theorem and Gdel's Completeness Theorem for Nonstandard Finite Structures.

Mikls Ajtai

Browse the full TAMC paper archive.