Why Predicative Sets? (Q5049037): Difference between revisions

@@ Property / cites work @@
+Weyl's predicative classical mathematics as a logic-enriched type theory
+Normal rank
@@ Property / cites work @@
+Q5079729
@@ Property / cites work: Q5079729 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructibility and decidability versus domain independence and absoluteness
+Normal rank
@@ Property / cites work @@
+Q3081637
@@ Property / cites work: Q3081637 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework
+Normal rank
@@ Property / cites work @@
+Why Sets?
@@ Property / cites work: Why Sets? / rank @@
+Normal rank
@@ Property / cites work @@
+The middle ground-ancestral logic
@@ Property / cites work: The middle ground-ancestral logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999861
@@ Property / cites work: Q3999861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893763
@@ Property / cites work: Q4893763 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237309
@@ Property / cites work: Q4237309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4674788
@@ Property / cites work: Q4674788 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+A homogeneous system for formal logic
@@ Property / cites work: A homogeneous system for formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A derivation of number theory from ancestral theory
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998135
@@ Property / cites work: Q3998135 / rank @@
+Normal rank