Derived rules for predicative set theory: an application of sheaves (Q448333): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2143931279
@@ Property / OpenAlex ID: W2143931279 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3553
@@ Property / arXiv ID: 1009.3553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q3022775
@@ Property / cites work: Q3022775 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and exact completion
@@ Property / cites work: Inductive types and exact completion / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. I: Exact completion
+Normal rank
@@ Property / cites work @@
+W-types in homotopy type theory
@@ Property / cites work: W-types in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. II: Realizability
+Normal rank
@@ Property / cites work @@
+The axiom of multiple choice and models for constructive set theory
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3693527
@@ Property / cites work: Q3693527 / rank @@
+Normal rank
@@ Property / cites work @@
+Heyting-valued interpretations for constructive set theory
+Normal rank
@@ Property / cites work @@
+Forcing in intuitionistic systems without power-set
+Normal rank
@@ Property / cites work @@
+Q3691670
@@ Property / cites work: Q3691670 / rank @@
+Normal rank
@@ Property / cites work @@
+Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice
+Normal rank
@@ Property / cites work @@
+Q3659778
@@ Property / cites work: Q3659778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Heine-Borel does not imply the Fan Theorem
@@ Property / cites work: Heine-Borel does not imply the Fan Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+The disjunction and related properties for constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+A note on Bar Induction in Constructive Set Theory
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:448333