THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2020.46
@@ Property / DOI: 10.1017/jsl.2020.46 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.11423
@@ Property / arXiv ID: 1810.11423 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Scott sentences
@@ Property / cites work: Complexity of Scott sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation
+Normal rank
@@ Property / cites work @@
+Index sets of computable structures
@@ Property / cites work: Index sets of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Some new computable structures of high rank
@@ Property / cites work: Some new computable structures of high rank / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets and Scott sentences
@@ Property / cites work: Index sets and Scott sentences / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE STRUCTURES OF RANK $\omega_{1}^{{\rm CK}}$
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+On the Borel classification of the isomorphism class of a countable model
+Normal rank
@@ Property / cites work @@
+Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey
+Normal rank
@@ Property / cites work @@
+A robuster Scott rank
@@ Property / cites work: A robuster Scott rank / 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 @@
+Scott sentences and admissible sets
@@ Property / cites work: Scott sentences and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant sets in topology and logic
@@ Property / cites work: Invariant sets in topology and logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2020.46
@@ Property / DOI: 10.1017/JSL.2020.46 / rank @@
+Normal rank