Bootstrapping. I (Q636291): Difference between revisions

@@ Property / cites work @@
+Well-behaved principles alternative to bounded induction
+Normal rank
@@ Property / cites work @@
+L'arithmétique ouverte et ses modèles non-standards
+Normal rank
@@ Property / cites work @@
+L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
+Normal rank
@@ Property / cites work @@
+Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
+Normal rank
@@ Property / cites work @@
+Arithmetization of the field of reals with exponentiation extended abstract
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+A model theoretic proof of a subexponential time witnessing theorem
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4656800
@@ Property / cites work: Q4656800 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtle cardinals and linear orderings
@@ Property / cites work: Subtle cardinals and linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858182
@@ Property / cites work: Q3858182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962993
@@ Property / cites work: Q3962993 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and definability in general bounded arithmetic theories
+Normal rank
@@ Property / cites work @@
+Subsystems of true arithmetic and hierarchies of functions
+Normal rank
@@ Property / cites work @@
+Polynomial time uniformization and non-standard methods
+Normal rank
@@ Property / cites work @@
+Models with compactness properties relative to an admissible language
+Normal rank
@@ Property / cites work @@
+Q5341750
@@ Property / cites work: Q5341750 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3895478
@@ Property / cites work: Q3895478 / rank @@
+Normal rank