Thomas Forster on Stratification

For more on Church's Set Theory with a Universal Set see Forster's 2001 article Church’s Set Theory with a Universal Set. For some detail on the Rieger-Bernays construction, see Seeking Structure for the Collection of Rieger-Bernays Permutation models by Olivier Esser and Thomas Forster. For a discussion about types and set-theoretical models of lambda calculus see D.S. Scott's Lambda Calculus: Some Models, Some Philosophy (1980).

Subscribe to Kurt Gödel Research Institute.

See On Tarski's Semantic Definition of Truth "Convention T" and On Mathematics and Abstract Language.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023