The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
From MaRDI portal
Publication:4075443
DOI10.2307/2272158zbMath0316.02038OpenAlexW2127553594MaRDI 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
The Henkin Sentence ⋮ Continuity and nondiscontinuity in constructive mathematics ⋮ Effective inseparability in a topological setting ⋮ Lewis meets Brouwer: constructive strict implication ⋮ On the failure of BD-ℕ and BD, and an application to the anti-specker property ⋮ Realizability models refuting Ishihara's boundedness principle ⋮ Unnamed Item ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Representations versus numberings: On the relationship of two computability notions ⋮ Predicate Logics of Constructive Arithmetical Theories ⋮ Strong continuity implies uniform sequential continuity ⋮ Principles Weaker than BD-N
Cites Work
