Geoffrey Bourton Keene

• Abstract sets and finite ordinals
• First-order functional calculus