Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191): Difference between revisions

@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / 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 @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-wellfounded trees in Homotopy Type Theory
@@ Property / cites work: Non-wellfounded trees in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Type Theory based on Dependent Inductive and Coinductive Types
+Normal rank
@@ Property / cites work @@
+Pretopologies and a uniform presentation of sup-lattices, quantales and frames
+Normal rank
@@ Property / cites work @@
+Intuitionistic fixed point logic
@@ Property / cites work: Intuitionistic fixed point logic / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence in formal topology: a unifying notion
@@ Property / cites work: Convergence in formal topology: a unifying notion / rank @@
+Normal rank
@@ Property / cites work @@
+Inaccessible set axioms may have little consistency strength
+Normal rank
@@ Property / cites work @@
+Embedding locales and formal topologies into positive topologies
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
@@ Property / cites work: ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
+Normal rank
@@ Property / cites work @@
+The principle of pointfree continuity
@@ Property / cites work: The principle of pointfree continuity / rank @@
+Normal rank
@@ Property / cites work @@
+A construction of non-well-founded sets within Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
+Normal rank
@@ Property / cites work @@
+Q5009707
@@ Property / cites work: Q5009707 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary quotient completion
@@ Property / cites work: Elementary quotient completion / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient completion for the foundation of constructive mathematics
+Normal rank
@@ Property / cites work @@
+Unifying exact completions
@@ Property / cites work: Unifying exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Martin-Löf type theory with a superuniverse. I
+Normal rank
@@ Property / cites work @@
+Q4944921
@@ Property / cites work: Q4944921 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Martin-Löf type theory with a superuniverse. II
+Normal rank
@@ Property / cites work @@
+Q4453639
@@ Property / cites work: Q4453639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4663837
@@ Property / cites work: Q4663837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Theory of Constructive Systems: Inductive Types and Univalence
+Normal rank
@@ Property / cites work @@
+Inaccessibility in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+On the regular extension axiom and its variants
@@ Property / cites work: On the regular extension axiom and its variants / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Models of non-well-founded sets via an indexed final coalgebra theorem
+Normal rank