Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3843617
@@ Property / cites work: Q3843617 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Π<sub>1</sub>                         <sup>1</sup> -separation principle
+Normal rank
@@ Property / cites work @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-2012-05416-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1989276782
@@ Property / OpenAlex ID: W1989276782 / rank @@
+Normal rank