Computable Algebraic Structures and Nonstandard Arithmetic (Q5566510): Difference between revisions

@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebraic Structures and Nonstandard Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q5735245
@@ Property / cites work: Q5735245 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5789039
@@ Property / cites work: Q5789039 / rank @@
+Normal rank