Countable admissible ordinals and hyperdegrees (Q1142207): 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.1016/0001-8708(76)90187-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1986191839
@@ Property / OpenAlex ID: W1986191839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597516
@@ Property / cites work: Q5597516 / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types: application to recursion theory
@@ Property / cites work: Omitting types: application to recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632568
@@ Property / cites work: Q5632568 / rank @@
+Normal rank
@@ Property / cites work @@
+On Suborderings of Degrees of Recursive Unsolvability
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3843617
@@ Property / cites work: Q3843617 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+Hyperarithmetical quantifiers
@@ Property / cites work: Hyperarithmetical quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of the notions of forcing and generic sets
+Normal rank
@@ Property / cites work @@
+A minimal hyperdegree
@@ Property / cites work: A minimal hyperdegree / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types II
+Normal rank
@@ Property / cites work @@
+Q4773693
@@ Property / cites work: Q4773693 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052099
@@ Property / cites work: Q4052099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626664
@@ Property / cites work: Q5626664 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Covers and Hyperdegrees
@@ Property / cites work: Minimal Covers and Hyperdegrees / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1142207