The 0-1 Law Fails for the Class of Existential Second Order Gdel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Browse the full FOCS paper archive.