A constructive interpretation of the full set theory

DOI10.2307/2273872zbMath0634.03009OpenAlexW1978774120WikidataQ29397732 ScholiaQ29397732MaRDI QIDQ3772179

Valentin Turchin

Publication date: 1987

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

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

zbMATH Keywords

knowledgefoundation of mathematicscreating subjectconsistency of ZFinterpretation of ZFThe Cybernetic Foundationuser of mathematical systems

Mathematics Subject Classification ID

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

Related Items (1)

Formal frameworks for approximate reasoning

Cites Work

• Unnamed Item
• Wave calculus based upon wave logic
• The wave logic of consciousness: A hypothesis
• Outline of a Theory of Truth

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