Computable categoricity for algebraic fields with splitting algorithms (Q5246987): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1205
@@ Property / arXiv ID: 1111.1205 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Recursively Inseparable Sets
@@ Property / cites work: Some Properties of Recursively Inseparable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830003
@@ Property / cites work: Q4830003 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of Algebraic Fields and Subfields
@@ Property / cites work: Spectra of Algebraic Fields and Subfields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143289
@@ Property / cites work: Q4143289 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity properties for computable algebraic fields
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+The Computable Dimension of I-Trees of Infinite Height
+Normal rank
@@ Property / cites work @@
+Q2709313
@@ Property / cites work: Q2709313 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable categoricity of trees of finite height
@@ Property / cites work: Computable categoricity of trees of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of trees of infinite height
+Normal rank
@@ Property / cites work @@
+Q3588177
@@ Property / cites work: Q3588177 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Computably Categorical Fields via Fermat’s Last Theorem
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q5596777
@@ Property / cites work: Q5596777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934287
@@ Property / cites work: Q4934287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997666
@@ Property / cites work: Q3997666 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2594570984
@@ Property / OpenAlex ID: W2594570984 / rank @@
+Normal rank