scientific article; zbMATH DE number 3242158

zbMATH Open0151.00904MaRDI QIDQ5529477FDOQ5529477

Authors: Dana Scott 

Publication date: 1962

Title of this publication is not available (Why is that?)

zbMATH Keywords

set theory

Cited In (5)

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

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)