William Hanf

American logician

Learn about this topic in these articles:

In metalogic: Nonelementary logic and future developments
From studies on infinitary logics, William Hanf, an American logician, was able to define certain cardinals, some of which have been studied in connection with the large cardinals in set theory. In yet another direction, logicians are developing model theories for modal logics—those dealing with such modalities as necessity and…
Read More