WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608): Difference between revisions

@@ Property / DOI @@
-.1017/bsl.2020.23
@@ Property / DOI: 10.1017/bsl.2020.23 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
+Normal rank
@@ Property / cites work @@
+Classical predicative logic-enriched type theories
+Normal rank
@@ Property / cites work @@
+Weyl's predicative classical mathematics as a logic-enriched type theory
+Normal rank
@@ Property / cites work @@
+Q3367317
@@ Property / cites work: Q3367317 / 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 @@
+Why Predicative Sets?
@@ Property / cites work: Why Predicative Sets? / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework
+Normal rank
@@ Property / cites work @@
+Q5079729
@@ Property / cites work: Q5079729 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the First Chapter of The Continuum: Intension, Extension, and Arithmetism
+Normal rank
@@ Property / cites work @@
+The middle ground-ancestral logic
@@ Property / cites work: The middle ground-ancestral logic / rank @@
+Normal rank
@@ Property / cites work @@
+Predicativity and Feferman
@@ Property / cites work: Predicativity and Feferman / 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 @@
+Q4793432
@@ Property / cites work: Q4793432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4674788
@@ Property / cites work: Q4674788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739887
@@ Property / cites work: Q4739887 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Q5804274
@@ Property / cites work: Q5804274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3063880
@@ Property / cites work: Q3063880 / 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 @@
+Q4786451
@@ Property / cites work: Q4786451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5166626
@@ Property / cites work: Q5166626 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Erinnerung an Hermann Weyl. (A remembrance to Hermann Weyl)
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics and Logic
@@ Property / cites work: Mathematics and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998135
@@ Property / cites work: Q3998135 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/BSL.2020.23
@@ Property / DOI: 10.1017/BSL.2020.23 / rank @@
+Normal rank