scientific article; zbMATH DE number 5038467
From MaRDI portal
Publication:5477363
zbMath1102.03053MaRDI QIDQ5477363
Publication date: 3 July 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items
Constructive Ackermann's interpretation, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, CZF does not have the existence property, On Tarski’s fixed point theorem, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory, Choice and independence of premise rules in intuitionistic set theory, Realisability for infinitary intuitionistic set theory, From the weak to the strong existence property, Generalizing realizability and Heyting models for constructive set theory, Induction, constructivity, and grounding, Aspects of predicative algebraic set theory. I: Exact completion, Aspects of predicative algebraic set theory. II: Realizability, On some peculiar aspects of the constructive theory of point-free spaces, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION, ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
