The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations

DOI10.2307/2272158MaRDI QIDQ4075443zbMATH OpenOpenAlexFDO

Authors Michael Beeson

Publication date 1975

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

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3207266 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3348059 (Why is no real title available?)
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957

Cited in

(12)

• scientific article; zbMATH DE number 7568608 (Why is no real title available?)
• Predicate Logics of Constructive Arithmetical Theories
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Realizability models refuting Ishihara's boundedness principle
• Representations versus numberings: On the relationship of two computability notions
• Effective inseparability in a topological setting
• Strong continuity implies uniform sequential continuity
• Continuity and nondiscontinuity in constructive mathematics
• Lewis meets Brouwer: constructive strict implication
• The Henkin sentence
• Principles weaker than BD-N

This page was built for publication: The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations

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