Title: Trial and error predicates and the solutions to a problem of Mostowski's
First published: 1961