Computably separable models (Q2168971): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10958-022-06033-1
+Normal rank
@@ Property / OpenAlex ID @@
+W4289131115
@@ Property / OpenAlex ID: W4289131115 / rank @@
+Normal rank
@@ Property / cites work @@
+Rekursive Algebren mit Kettenbedingungen
@@ Property / cites work: Rekursive Algebren mit Kettenbedingungen / rank @@
+Normal rank
@@ Property / cites work @@
+Über rekursive Strukturen
@@ Property / cites work: Über rekursive Strukturen / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896478
@@ Property / cites work: Q3896478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Q3757388
@@ Property / cites work: Q3757388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809790
@@ Property / cites work: Q3809790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3362859
@@ Property / cites work: Q3362859 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive algebras with countable congruence lattices
+Normal rank
@@ Property / cites work @@
+Positive algebras with Noetherian congruence lattices
+Normal rank
@@ Property / cites work @@
+Q3362374
@@ Property / cites work: Q3362374 / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphisms onto negative algebras
@@ Property / cites work: Homomorphisms onto negative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Separation axioms and partitions of the set of natural numbers
+Normal rank
@@ Property / cites work @@
+Enumerated algebras with uniformly recursive-separable classes
+Normal rank
@@ Property / cites work @@
+Algebras over negative equivalences
@@ Property / cites work: Algebras over negative equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively separable enumerated algebras
@@ Property / cites work: Recursively separable enumerated algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphisms onto effectively separable algebras
@@ Property / cites work: Homomorphisms onto effectively separable algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Negative dense linear orders
@@ Property / cites work: Negative dense linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742900
@@ Property / cites work: Q2742900 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of linear orders over negative equivalences
+Normal rank
@@ Property / cites work @@
+\(\Pi^0_1\)-presentations of algebras
@@ Property / cites work: \(\Pi^0_1\)-presentations of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829835
@@ Property / cites work: Q5829835 / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541318
@@ Property / cites work: Q5541318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628181
@@ Property / cites work: Q5628181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815289
@@ Property / cites work: Q3815289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4110984
@@ Property / cites work: Q4110984 / rank @@
+Normal rank
@@ Property / cites work @@
+On computable automorphisms of the rational numbers
+Normal rank
@@ Property / cites work @@
+Q5599151
@@ Property / cites work: Q5599151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848893
@@ Property / cites work: Q5848893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227570
@@ Property / cites work: Q3227570 / rank @@
+Normal rank