scientific article; zbMATH DE number 2222244

MaRDI QIDQ5701016zbMATH OpenFDO

Authors Henrik Forssell, Steve Awodey

Publication date 2 November 2005

Full work available at URL https://eudml.org/doc/125871, http://www.emis.de/journals/TAC/volumes/15/5/15-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

classidealintuitionisticset

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2172973
• Aspects of predicative algebraic set theory. III: Sheaves
• Relating first-order set theories, toposes and categories of classes
• scientific article; zbMATH DE number 2247251
• scientific article; zbMATH DE number 2247250

Cited in

(18)

• Classical and intuitionistic models of arithmetic
• Comparing material and structural set theories
• Bernays-Gödel type theory
• Saturated models of intuitionistic theories
• A model for intuitionistic non-standard arithmetic
• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• Sheaf representation of monoidal categories
• Algebraic specifications, higher-order types and set-theoretic models
• Aspects of predicative algebraic set theory. III: Sheaves
• scientific article; zbMATH DE number 3851077 (Why is no real title available?)
• scientific article; zbMATH DE number 3855072 (Why is no real title available?)
• Relating first-order set theories, toposes and categories of classes
• A CLASS OF MODELS FOR SKALA'S SET THEORY
• Constructive toposes with countable sums as models of constructive set theory
• Theories with few non-algebraic types over models, and their decompositions
• Intuitionistic set theory
• scientific article; zbMATH DE number 2247251 (Why is no real title available?)
• Strict universes for Grothendieck topoi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5701016)