Separable algorithmic representations of classical systems and their applications (Q6192015): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10958-024-06934-3
+Normal rank
@@ Property / OpenAlex ID @@
+W4391144351
@@ Property / OpenAlex ID: W4391144351 / 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 @@
+Q5556474
@@ Property / cites work: Q5556474 / 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 @@
+Q3707375
@@ Property / cites work: Q3707375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827538
@@ Property / cites work: Q3827538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809790
@@ Property / cites work: Q3809790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3474630
@@ Property / cites work: Q3474630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4444900
@@ Property / cites work: Q4444900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197306
@@ Property / cites work: Q3197306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4005058
@@ Property / cites work: Q4005058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3362859
@@ Property / cites work: Q3362859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3362374
@@ Property / cites work: Q3362374 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of \(Q\)-congruences in positive algebras
+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 @@
+Nonconstructive negative algebras with finiteness conditions
+Normal rank
@@ Property / cites work @@
+Homomorphisms onto negative algebras
@@ Property / cites work: Homomorphisms onto negative algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerated algebras with uniformly recursive-separable classes
+Normal rank
@@ Property / cites work @@
+Separation axioms and partitions of the set of natural numbers
+Normal rank
@@ Property / cites work @@
+Algebras over negative equivalences
@@ Property / cites work: Algebras over negative equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938032
@@ Property / cites work: Q4938032 / 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 @@
+Effective compacts over co-immune sets
@@ Property / cites work: Effective compacts over co-immune sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742900
@@ Property / cites work: Q2742900 / rank @@
+Normal rank
@@ Property / cites work @@
+Separable enumerations of division rings and effective embeddability of rings therein
+Normal rank
@@ Property / cites work @@
+Positive equivalences with finite classes and related algebras
+Normal rank
@@ Property / cites work @@
+Q3197343
@@ Property / cites work: Q3197343 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of linear orders over negative equivalences
+Normal rank
@@ Property / cites work @@
+\(T_1\)-separable numberings of subdirectly indecomposable algebras
+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 @@
+Q5628181
@@ Property / cites work: Q5628181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815289
@@ Property / cites work: Q3815289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / 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 @@
+Q5670613
@@ Property / cites work: Q5670613 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets and degrees
@@ Property / cites work: Recursively enumerable sets and degrees / 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