scientific article
From MaRDI portal
Publication:3222842
zbMath0558.03031MaRDI QIDQ3222842
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuityconsistencyconstructivismintuitionistic set theoryendofunctorsKleene realizabilityconstructive category of information systems
Model theory (03C99) Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20) Special categories (18B99) Other constructive mathematics (03F65)
Related Items (13)
Well-foundedness in realizability ⋮ Topological forcing semantics with settling ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Satisfiability is false intuitionistically: a question from Dana Scott ⋮ Paradox and potential infinity ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ Implicative algebras: a new foundation for realizability and forcing ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Unifying Sets and Programs via Dependent Types ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
This page was built for publication:
