Decidability and undecidability theorems for PAC-fields (Q3918210): Difference between revisions

@@ Property / author @@
-Gregory L. Cherlin
@@ Property / author: Gregory L. Cherlin / rank @@
-Normal rank
@@ Property / author @@
-L. P. D. van den Dries
@@ Property / author: L. P. D. van den Dries / rank @@
-Normal rank
@@ Property / author @@
-Angus J. Macintyre
@@ Property / author: Angus J. Macintyre / rank @@
-Normal rank
@@ Property / author @@
+Gregory L. Cherlin
@@ Property / author: Gregory L. Cherlin / rank @@
+Normal rank
@@ Property / author @@
+L. P. D. van den Dries
@@ Property / author: L. P. D. van den Dries / rank @@
+Normal rank
@@ Property / author @@
+Angus J. Macintyre
@@ Property / author: Angus J. Macintyre / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of finite fields
@@ Property / cites work: The elementary theory of finite fields / rank @@
+Normal rank
@@ Property / cites work @@
+Rational points on algebraic varieties over large number fields
+Normal rank
@@ Property / cites work @@
+The elementary theory of \(\omega\)-free \(Ax\) fields
+Normal rank
@@ Property / cites work @@
+The elementary theory of algebraic fields of finite corank
+Normal rank
@@ Property / cites work @@
+Subgroups of free profinite groups and large subfields of Q
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0273-0979-1981-14872-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2009428537
@@ Property / OpenAlex ID: W2009428537 / rank @@
+Normal rank