Mathematician:Kenneth Jon Barwise

Mathematician
American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.

Nationality
American

History

 * Born: June 29, 1942 in Independence, Missouri
 * Died: March 5, 2000

Theorems and Definitions

 * Barwise Compactness Theorem

Publications

 * 1975: Admissible Sets and Structures. An Approach to Definability Theory
 * 1983: Situations and Attitudes (with )
 * 1987: The Liar: An Essay in Truth and Circularity (with )
 * 1988: The Situation in Logic
 * 1996: Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena (with )
 * 1997: Information Flow: the Logic of Distributed Systems (with )
 * 2002: Language, Proof and Logic (with )

As editor

 * 1977: Handbook of Mathematical Logic
 * 1985: Model-Theoretic Logics (with )

Also known as
Usually known as Jon Barwise.