Q5518362 (Q5518362): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The constructivity of maximal dual ideals in certain Boolean algebras
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3231295
@@ Property / cites work: Q3231295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285633
@@ Property / cites work: Q3285633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q5567860
@@ Property / cites work: Q5567860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798024
@@ Property / cites work: Q5798024 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5518362