scientific article

zbMath0521.03038MaRDI QIDQ3671153

Giuseppe Rosolini

Publication date: 1983

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

zbMATH Keywords

effective toposordinalsmodel of intuitionistic set theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70)

Related Items (5)

On the failure of fixed-point theorems for chain-complete lattices in the effective topos ⋮ Five stages of accepting constructive mathematics ⋮ On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos ⋮ A categorical reading of the numerical existence property in constructive foundations ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

This page was built for publication: