scientific article
From MaRDI portal
Publication:3527490
zbMATH Open1148.18304MaRDI QIDQ3527490
Publication date: 29 September 2008
Title of this publication is not available (Why is that?)
Inner models, including constructibility, ordinal definability, and core models (03E45) Foundations, relations to logic and deductive systems (18A15)
Related Items (8)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Exercices de style: a homotopy theory for set theory ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Some proposals for the set-theoretic foundations of category theory
Recommendations
- Category theoretic structure of setoids 👍 👎
- Constructing categories and setoids of setoids in type theory 👍 👎
- Some proposals for the set-theoretic foundations of category theory 👍 👎
- FOUNDATIONS OF THE THEORY OF CATEGORIES 👍 👎
- Category theory and set theory as theories about complementary types of universals 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)