A constructive interpretation of the full set theory

DOI10.2307/2273872MaRDI QIDQ3772179zbMATH OpenOpenAlexWikidataFDO

Authors Valentin Turchin

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273872

zbMATH Keywords

consistency of ZFcreating subjectfoundation of mathematicsinterpretation of ZFknowledgeThe Cybernetic Foundationuser of mathematical systems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Consistency and independence results (03E35) Relative consistency and interpretations (03F25)

Recommendations

• Truth, proof and infinity. A theory of constructions and constructive reasoning
• Foundations of mathematics in polymorphic type theory
• Constructive set theory with operations
• The formulae-as-classes interpretation of constructive set theory
• Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Outline of a Theory of Truth
• The wave logic of consciousness: A hypothesis
• Wave calculus based upon wave logic

Cited in

(4)

• On external constructions in internal set theory
• Formal frameworks for approximate reasoning
• scientific article; zbMATH DE number 6307929 (Why is no real title available?)
• Constructions of complete sets

This page was built for publication: A constructive interpretation of the full set theory

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