On the definable ideal generated by nonbounding c.e. degrees (Q3370764): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1107298519
+Normal rank
@@ Property / OpenAlex ID @@
+W2087604897
@@ Property / OpenAlex ID: W2087604897 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Logic year 1979--80, The University of Connecticut, USA
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees have infinitely many one-types
+Normal rank
@@ Property / cites work @@
+PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
+Normal rank