The complexity of countable categoricity in finite languages (Q3117785): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1002/malq.201110035
@@ Property / DOI: 10.1002/malq.201110035 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1969902453
@@ Property / OpenAlex ID: W1969902453 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3792
@@ Property / arXiv ID: 1101.3792 / rank @@
+Normal rank
@@ Property / cites work @@
+GALOIS GROUPS OF FIRST ORDER THEORIES
@@ Property / cites work: GALOIS GROUPS OF FIRST ORDER THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+On many-sorted ω-categorical theories
@@ Property / cites work: On many-sorted ω-categorical theories / rank @@
+Normal rank
@@ Property / cites work @@
+A countably categorical theory which is not \(G\)-compact
+Normal rank
@@ Property / cites work @@
+On generic structures
@@ Property / cites work: On generic structures / rank @@
+Normal rank
@@ Property / cites work @@
+The diameter of a Lascar strong type
@@ Property / cites work: The diameter of a Lascar strong type / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
+Normal rank
@@ Property / cites work @@
+A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function
+Normal rank
@@ Property / DOI @@
+.1002/MALQ.201110035
@@ Property / DOI: 10.1002/MALQ.201110035 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3434485
@@ Property / Recommended article: Q3434485 / rank @@
+Normal rank
@@ Property / Recommended article: Q3434485 / qualifier @@
+Similarity Score: 0.81794155Amount 0.81794155
Unit 1
-Amount
+.81794155
 Unit
@@ Property / Recommended article: Q3434485 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5295696
@@ Property / Recommended article: Q5295696 / rank @@
+Normal rank
@@ Property / Recommended article: Q5295696 / qualifier @@
+Similarity Score: 0.81317556Amount 0.81317556
Unit 1
-Amount
+.81317556
 Unit
@@ Property / Recommended article: Q5295696 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The index set of uncountably categorical theories
+Normal rank
+Similarity Score: 0.7923747Amount 0.7923747
Unit 1
-Amount
+.7923747
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Computability and Definability
@@ Property / Recommended article: Computability and Definability / rank @@
+Normal rank
@@ Property / Recommended article: Computability and Definability / qualifier @@
+Similarity Score: 0.7726619Amount 0.7726619
Unit 1
-Amount
+.7726619
 Unit
@@ Property / Recommended article: Computability and Definability / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3544794
@@ Property / Recommended article: Q3544794 / rank @@
+Normal rank
@@ Property / Recommended article: Q3544794 / qualifier @@
+Similarity Score: 0.77136415Amount 0.77136415
Unit 1
-Amount
+.77136415
 Unit
@@ Property / Recommended article: Q3544794 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The complexity of computable categoricity
+Normal rank
+Similarity Score: 0.7684694Amount 0.7684694
Unit 1
-Amount
+.7684694
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The degrees of categorical theories with recursive models
+Normal rank
+Similarity Score: 0.7555788Amount 0.7555788
Unit 1
-Amount
+.7555788
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Index sets of computable structures
@@ Property / Recommended article: Index sets of computable structures / rank @@
+Normal rank
@@ Property / Recommended article: Index sets of computable structures / qualifier @@
+Similarity Score: 0.7476243Amount 0.7476243
Unit 1
-Amount
+.7476243
 Unit
@@ Property / Recommended article: Index sets of computable structures / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Index Sets of Computable Structures with Decidable Theories
+Normal rank
+Similarity Score: 0.74591774Amount 0.74591774
Unit 1
-Amount
+.74591774
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2885248
@@ Property / Recommended article: Q2885248 / rank @@
+Normal rank
@@ Property / Recommended article: Q2885248 / qualifier @@
+Similarity Score: 0.7428945Amount 0.7428945
Unit 1
-Amount
+.7428945
 Unit
@@ Property / Recommended article: Q2885248 / qualifier @@
+Recommender Run: Recommender Run 2