scientific article; zbMATH DE number 3242158

MaRDI QIDQ5529477zbMATH OpenFDO

Authors Dana Scott

Publication date 1962

zbMATH Keywords

set theory

Cited in

(6)

• A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
• An axiomatic explanation of complete self-reproduction
• Strong Ambiguity
• Synonymy questions concerning the Quine systems
• The usual model construction for NFU preserves information
• Systems of combinatory logic related to Quine's `New Foundations'

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5529477)