Finitistic proofs of 0-1 laws for fragments of second-order logic
scientific article; zbMATH DE number 984285