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
Post a Comment