Well-orderings and finite quantifiers | Publicación