Nonstandard arithmetic (Q5583838): Difference between revisions

@@ Property / cites work @@
+Diophantine Problems Over Local Fields I
@@ Property / cites work: Diophantine Problems Over Local Fields I / rank @@
+Normal rank
@@ Property / cites work @@
+Généralisation de la théorie du corps de classes pour les extensions infinies
+Normal rank
@@ Property / cites work @@
+Decision procedures for real and <i>p</i>‐adic fields
+Normal rank
@@ Property / cites work @@
+Reduced direct products
@@ Property / cites work: Reduced direct products / rank @@
+Normal rank
@@ Property / cites work @@
+Finite and infinite primes for rings and fields
@@ Property / cites work: Finite and infinite primes for rings and fields / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q5728445
@@ Property / cites work: Q5728445 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems of elementary number theory
@@ Property / cites work: Undecidable problems of elementary number theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts in the theory of models
@@ Property / cites work: Ultraproducts in the theory of models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557991
@@ Property / cites work: Q5557991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331471
@@ Property / cites work: Q5331471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5818468
@@ Property / cites work: Q5818468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3284604
@@ Property / cites work: Q3284604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559235
@@ Property / cites work: Q5559235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583839
@@ Property / cites work: Q5583839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685077
@@ Property / cites work: Q5685077 / rank @@
+Normal rank
@@ Property / cites work @@
+Théoremes de finitude en cohomologie galoisienne
@@ Property / cites work: Théoremes de finitude en cohomologie galoisienne / rank @@
+Normal rank