La prédicativité (Q5339291): Difference between revisions

@@ Property / OpenAlex ID @@
+W4214648487
@@ Property / OpenAlex ID: W4214648487 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+Elementarily definable analysis
@@ Property / cites work: Elementarily definable analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The classical and the <i>ω</i>-complete arithmetic
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256314
@@ Property / cites work: Q3256314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240534
@@ Property / cites work: Q3240534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269140
@@ Property / cites work: Q3269140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343326
@@ Property / cites work: Q5343326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246326
@@ Property / cites work: Q3246326 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical reflection and formalism
@@ Property / cites work: Logical reflection and formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608004
@@ Property / cites work: Q5608004 / rank @@
+Normal rank
@@ Property / cites work @@
+The formalization of mathematics
@@ Property / cites work: The formalization of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607987
@@ Property / cites work: Q5607987 / rank @@
+Normal rank