scientific article; zbMATH DE number 5200720
From MaRDI portal
Publication:5310885
zbMath1124.03034MaRDI QIDQ5310885
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_set_theory_and
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)
Related Items
Realizability Models Separating Various Fan Theorems, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Classical descriptive set theory as a refinement of effective descriptive set theory, Validating Brouwer's continuity principle for numbers using named exceptions, Exercising Nuprl’s Open-Endedness, Constructive strong regularity and the extension property of a compactification, LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
