Effectively dense Boolean algebras and their applications (Q4505908): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337458
@@ Property / cites work: Q3337458 / rank @@
+Normal rank
@@ Property / cites work @@
+Inhomogeneities in the polynomial-time degrees: The degrees of super sparse sets
+Normal rank
@@ Property / cites work @@
+Global properties of the lattice of $\Pi ^0_1$ classes
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability results for low complexity time classes
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding in the partial order of enumerable sets
@@ Property / cites work: Coding in the partial order of enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lattice of Recursively Enumerable Sets
@@ Property / cites work: On the Lattice of Recursively Enumerable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+The intervals of the lattice of recursively enumerable sets determined by major subsets
+Normal rank
@@ Property / cites work @@
+Axiomatizable theories with few axiomatizable extensions
+Normal rank
@@ Property / cites work @@
+Universal recursion theoretic properties of r.e. preordered structures
+Normal rank
@@ Property / cites work @@
+The last question on recursively enumerable \(m\)-degrees
+Normal rank
@@ Property / cites work @@
+Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras
+Normal rank
@@ Property / cites work @@
+On the theory of the PTIME degrees of the recursive sets
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-00-02652-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1916240204
@@ Property / OpenAlex ID: W1916240204 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4505908