Categoricity of computable infinitary theories (Q1005932): Difference between revisions

@@ 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.1007/s00153-008-0117-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2031595317
@@ Property / OpenAlex ID: W2031595317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295697
@@ Property / cites work: Q5295697 / 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 @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>1</sup> relations and paths through
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+An example concerning Scott heights
@@ Property / cites work: An example concerning Scott heights / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic models higher up
@@ Property / cites work: Atomic models higher up / 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 @@
+Intrinsically Hyperarithmetical Sets
@@ Property / cites work: Intrinsically Hyperarithmetical Sets / rank @@
+Normal rank