A notion of mechanistic theory (Q1217700): Difference between revisions

@@ Property / cites work @@
+Polynomial functions with exponentiation are well ordered
+Normal rank
@@ Property / cites work @@
+Which number theoretic problems can be solved in recursive progressions on Π<sub>1</sub><sup>1</sup>-paths through <i>O</i>?
+Normal rank
@@ Property / cites work @@
+Stable and Random Motions in Dynamical Systems
@@ Property / cites work: Stable and Random Motions in Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Solution of the identity problem for integral exponential functions
+Normal rank
@@ Property / cites work @@
+Zwei Unentscheidbare Probleme Der Analysis
@@ Property / cites work: Zwei Unentscheidbare Probleme Der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3260574
@@ Property / cites work: Q3260574 / rank @@
+Normal rank