scientific article; zbMATH DE number 5347933

MaRDI QIDQ3527490zbMATH OpenFDO

Authors Vidhyanath K. Rao

Publication date 29 September 2008

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Some proposals for the set-theoretic foundations of category theory
• scientific article; zbMATH DE number 3877384
• Constructing categories and setoids of setoids in type theory
• scientific article; zbMATH DE number 3346619
• Category theoretic structure of setoids
• scientific article; zbMATH DE number 2247250
• Some contribution to category theory and set theory
• FOUNDATIONS OF THE THEORY OF CATEGORIES
• scientific article; zbMATH DE number 1136106
• Category theory and set theory as theories about complementary types of universals

Cited in

(8)

• scientific article; zbMATH DE number 1136106 (Why is no real title available?)
• scientific article; zbMATH DE number 3877384 (Why is no real title available?)
• Exercices de style: a homotopy theory for set theory
• Some proposals for the set-theoretic foundations of category theory
• scientific article; zbMATH DE number 5711606 (Why is no real title available?)
• scientific article; zbMATH DE number 2074342 (Why is no real title available?)
• Relating first-order set theories, toposes and categories of classes
• scientific article; zbMATH DE number 3346619 (Why is no real title available?)

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 Q3527490)