scientific article; zbMATH DE number 2222244

zbMath1085.18004MaRDI QIDQ5701016

Henrik Forssell, Steven Awodey

Publication date: 2 November 2005

Full work available at URL: https://eudml.org/doc/125871

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

zbMATH Keywords

classsetidealintuitionistic

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of sets, characterizations (18B05)

Related Items (3)

Relating first-order set theories, toposes and categories of classes ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Comparing material and structural set theories

This page was built for publication: