On the Equimorphism Types of Linear Orderings (Q3594486): Difference between revisions

@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability-theoretic and proof-theoretic aspects of partial and linear orderings
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Up to equimorphism, hyperarithmetic is recursive
@@ Property / cites work: Up to equimorphism, hyperarithmetic is recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory and algebra. A memorial tribute to Abraham Robinson
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+An order type decomposition theorem
@@ Property / cites work: An order type decomposition theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank