The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
From MaRDI portal
Publication:4075443
DOI10.2307/2272158zbMath0316.02038MaRDI QIDQ4075443
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
Related Items
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, Representations versus numberings: On the relationship of two computability notions, Realizability models refuting Ishihara's boundedness principle, Effective inseparability in a topological setting, Strong continuity implies uniform sequential continuity, Predicate Logics of Constructive Arithmetical Theories, Continuity and nondiscontinuity in constructive mathematics
Cites Work