Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957

MaRDI QIDQ770786zbMATH OpenFDO

Authors

Publication date 1959

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(7)

• Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
• A Computable Solution to Partee’s Temperature Puzzle
• Relative and modified relative realizability
• Analyzing realizability by Troelstra's methods
• Peptide computers
• Church's thesis, continuity, and set theory
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations

This page was built for publication: Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957

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