scientific article; zbMATH DE number 5038467

zbMath1102.03053MaRDI QIDQ5477363

Michael Rathjen

Publication date: 3 July 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive set theoryequiconsistencyKleene realizabilityself-validating semantics for CZF

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (18)

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

This page was built for publication: