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

DOI10.2307/2272158zbMATH Open0316.02038OpenAlexW2127553594MaRDI QIDQ4075443FDOQ4075443

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• 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)