The full binary tree cannot be interpreted in a chain (Q3066806): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1286198158
+Normal rank
@@ Property / OpenAlex ID @@
+W2034349453
@@ Property / OpenAlex ID: W2034349453 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Random graphs in the monadic theory of order
@@ Property / cites work: Random graphs in the monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Peano arithmetic may not be interpretable in the monadic theory of linear orders
+Normal rank
@@ Property / cites work @@
+On the strength of the interpretation method
@@ Property / cites work: On the strength of the interpretation method / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of <i>ω</i><sub>2</sub>
@@ Property / cites work: The monadic theory of <i>ω</i><sub>2</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank