Hypermachines (Q3011123): Difference between revisions

@@ Property / author @@
+Sy-David Friedman
@@ Property / author: Sy-David Friedman / rank @@
+Normal rank
@@ 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/1305810767
+Normal rank
@@ Property / OpenAlex ID @@
+W4233914677
@@ Property / OpenAlex ID: W4233914677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine structure and class forcing
@@ Property / cites work: Fine structure and class forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
+Normal rank
@@ Property / cites work @@
+Eventually infinite time Turing machine degrees: infinite time decidable reals
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter-free uniformisation
@@ Property / cites work: Parameter-free uniformisation / rank @@
+Normal rank
@@ Property / cites work @@
+Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III
+Normal rank