Strong extension axioms and Shelah s zero-one law for choiceless polynomial time

Andreas Blass, Yuri Gurevich. Strong extension axioms and Shelah s zero-one law for choiceless polynomial time. Journal of Symbolic Logic, 68(1):65-131, 2003.

Abstract

Abstract is missing.